Automatic code generation

Auer, A. A., G. Baumgartner, D. E. Bemholdt, A. Bibireata, V. Choppella, D. Cociorva, X. Gao, R. Harrison, S. Krishnamoorthy, S. Krishnan, C.-C. Lam, Q. Lu, M. Nooijen, R. Pitzer, J. Ramanujam, P. Sadayappan, and A. Sibiiyakov. Automatic code generation for many-body electronic structure methods The Tensor Contraction Engine. Mol. Phys. 104 211-228,2006. 

The above examples show that the adoption of formal methods, in a variety of forms, is highly cost-effective and can deliver a better quality product at a lower cost (and probably to the greater satisfaction of its creators). Why then has industry not adopted such rigour with the same enthusiasm that it shows for objects, UML and automatic code generation Despite the positive evidence we are constantly told that no one is using formal methods now. 

While it is certainly possible to use Verified Design-by-Contract during the specification and design phases only, productivity can be increased by using automatic or semi-automatic code generation. Also, we have already mentioned that the correct design of loop invariants is a difficult task. This burden on the developer can be reduced if most loops can be generated automatically from specifications. 

EMSO makes intensive use of automatic code generators and the object-oriented paradigm whenever is possible, aiming to enhance analyst and productivity. 

A. Wittkopf, Automatic Code Generation and Optimization in Maple, JNAIAM J. Numer. Anal. Indust. Appl. Math, 2008, 3, 167-180. 

Areva Teleperm XS has strictly cychc operation, with no process-controlled interrupts. There is no dynamic memory allocation, so each variable in the application software has a permanent dedicated location in the memory. It uses a standardized, simple software structure, and automatic code generation from... 

In contrast to other environments, there are no tools available for automatic code generation from high level control system abstractions. 

Automatic code generation with built in traceability between the source code and the models ... 

PROGRES as well as its modeling environment, which offers a graphical editor, an analyzer, an interpreter and a code generator [414], Both the process meta model and process model definitions are specified in PROGRES. The former was created once by the tool builders of AHEAD the latter ones are generated automatically by the modeling environment (cf. Subsect. 3.4.3). 

Model translation feature to provide automatic computer code generation using either program generators or data-driven simulators and thus eliminating the need to teach users a simulation language. 

Many of these concerns are of little or no importance when complete code is generated automatically fi om specifications expressed in a rigorous notation. Uie primary requirement is to ensure that the compiler implements the semantics assumed by the code generator. This can be achieved by generating code in a language subset carefully chosen to avoid areas of undefined behaviour and complex constructs that might be troublesome for the compiler. We adopted this... 

In any case, what Paul Barton has done to source code generation is to go in and just automatically fix these things in the codes, so that we don t have to go in... 

Erkkinen, T., Conrad, M. Safety-critical software development using automatic production code generation (technical paper). In SAE World Congress 2007 (2007)... 

Search results are displayed in a table that can be adjusted to one s needs, both regarding items to be displayed as well as the order of the entries. The display of individual entries also contains derived data such as unit cell volume, density, Pearson code, and Wyckoff sequence. Additional programs allow further analysis of structures, i.e., calculation of interatomic distances and angles, and quick generation of simple drawings of crystal structures (CVIS, CD-ROM version). CVIS has an automatic molecule generator that draws pictures of molecules or parts of a structure, e.g., phosphate chains. Interactive calculations of distances and angles in the plot are possible. 

Our future work will be on the elicitation of conflict resolution policies and associated non-interference requirements. We envision a wizard tool aiding operators to enter scheduling directives and expected properties, before resolver code generation proceeds automatically. We will provide support for this, with an interfacing to the instrumentation solution already existing. 

---