๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Safe programming

โœ Scribed by T. Anderson; R. W. Witty

Book ID
105408087
Publisher
Springer Netherlands
Year
1978
Tongue
English
Weight
478 KB
Volume
18
Category
Article
ISSN
0006-3835

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Safe injection practice (Safe-1 program)
Safe injection practice (Safe-1 program)
โœ T. U. Sukumaran ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Indian Academy of Pediatrics ๐ŸŒ English โš– 222 KB
Designing environmentally safe refrigera
Designing environmentally safe refrigerants using mathematical programming
โœ Amit P. Duvedi; Luke E.K. Achenie ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 1020 KB

Abstraet--Computer-aided molecular design is a strategy in which a set of structural groups are systematically combined to form molecules with desired properties. In this paper, a mathematical programmingbased approach to computer-aided molecular design is presented. Using a set of structural groups

Statically safe program generation with
Statically safe program generation with SafeGen
โœ Shan Shan Huang; David Zook; Yannis Smaragdakis ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 541 KB

SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen compiler, then the generator will only generate well-formed Java programs, for any generator input. In other words, statically ch