Program Transformation via
نویسنده
چکیده
In this paper we describe progress towards a theory of tran-formational program development. The transformation rules are based on a theory of contextual equivalence for functional languages with imperative features. Such notions of equivalence are fundamental for the process of program speciication, derivation, transformation, reenement and other forms of code generation and optimization. This paper is dedicated to Professor Satoru Takasu.
منابع مشابه
Numerical Solution of the Lane-Emden Equation Based on DE Transformation via Sinc Collocation Method
In this paper, numerical solution of general Lane-Emden equation via collocation method based on Double Exponential DE transformation is considered. The method converts equation to the nonlinear Volterra integral equation. Numerical examples show the accuracy of the method. Also, some remarks with respect to run-time, computational cost and implementation are discussed.
متن کاملDesign, implementation and evaluation of faculty empowerment program in the field of virtual education the document the transformation and innovation of Medical education an application of the Harden curriculum planning model
This article has no abstract.
متن کاملFactors affecting delivery of DREB1A gene in maize B73 split-seeds via biolistic system
Immature embryos as a choice tissue for genetic transformation of maize have a few limitations, such as genotype dependence, time-consuming and requiring a well-equipped greenhouse for access, at any time. In the present study, the split-seed explants were used for genetic transformation of maize, B73 line. The transformation of maize split-seed explants from the inbred line B73, for resistance...
متن کاملCharacterization and Phase Transformation of Spherical YSZ Powders Fabricated Via air Plasma Spray Method
Air plasma spray (APS) process is used to produce high density and flowability spherical powders. Phase transformation that occurred in this process isn’t well known. In this paper, the YSZ powders have been sprayed in water to investigate the morphology changes and phase transformations via air plasma spray (APS) method. Phase analysis of powders was examined by XRD and the crystallite size an...
متن کاملVerifying Programs via Intermediate Interpretation
We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin’s supercompilation is used to specialize some interpreters with respect to the program models. We show that several safety properties of functional programs modeling a class of cache coherence protocols can be proved by a ...
متن کاملVerification of Programs via Intermediate Interpretation
We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin’s supercompilation is used to specialize some interpreters with respect to the program models. We show that several safety properties of functional programs modeling a class of cache coherence protocols can be proved by a ...
متن کامل