Andersen C program specialization Master's thesisWeise Compiling scientific code using partial evaluation [Centaur90] Centaur group The Centaur 1.1 documentationMandrioli Software specialization via symbolic execution lF.k'l, ANSI78] Programming language Fortran ANSI standard X3.9ErshovOstrovski87] A.P.Ershov, B.N.Ostrovski Controlled mixed computation and its application to systematic development of language-oriented parsers Program Specification and Transformation, pp.25-37, 1978. ,
Coanexite Reference manual of the Foresys line of software products 1993Lyle Using program slicing in software maintenance Transactions on Software Engineering, pp.751-761, 1991. ,
Blazy Software maintenance: an analysis of industrial needs and constrahits lb-~, Conference on Software Maintenance, 1992. ,
Jones Systematic software development using VDM Prentice-Hall, 2nd eels ILSoudergaard MIX: a self-applicable partial evaluator for experiments in compiler generation Lisp and Symbolic Computation 2, pp.9-50, 1989. ,
[Kasyanov91] V.Kasyanov Transformational approach to program concretization Theoretical computer science, Natural semantics Proceedings of STACS'87KemmererEckmann85] R.Kemmerer, S.Eckmann UNISEX: a UNIX-based Symbolic Executor for Pascal Software Practice and Experience, pp.37-46, 1985. ,
Techniques for evaluation of imperative languages ACM SIGSOFL, pp.94-105, 1991. ,
Briere A finite volume approach for 3D two phase flows in tube bundles: the THYC code Kernforschungscenlxum, pp.1247-1253, 1989. ,