Richard Waldinger and Michael Lowry. AMPHION: Towards kinder, gentler formal methods. In Proceedings of the 1994 Monterey Workshop on Formal Methods. U.S. Naval Postgraduate School, September 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Multi-Stage Programming: Axiomatization and Type Safety.. - Taha, Benaissa, Sheard (1998) (15 citations) (Correct)
....we present a proof of the soundness of this type system with respect to the reduction semantics, and show how to extend this result to the natural semantics. 1 Introduction Recently, there has been significant interest in various forms of multi stage computation, including program generation [3, 26], multi level partial evaluation [11, 12] and run time code generation [1, 5, 4, 8, 9, 13, 15, 16, 22] Such techniques combine both the software engineering advantages of general purpose systems and the efficiency of specialized ones. Because such systems execute generated code never inspected ....
Richard Waldinger and Michael Lowry. AMPHION: Towards kinder, gentler formal methods. In Proceedings of the 1994 Monterey Workshop on Formal Methods. U.S. Naval Postgraduate School, September 1994.
A Software Engineering Experiment in Software.. - Kieburtz, McKinney, .. (1996) (25 citations) (Correct)
....guided by the architecture, that builds an application from existing, synthesized or customized components. The inegration framework provides the interface seen by the appllication engineer and may use sophisticated inference tools to select and adapt components for inclusion in an application [11]. Both the MTV Generator and the MTV Templates fit into the framework of domain specific reuse kits. With MTV G, the emphasis is on synthesis and the integration framework provides a language based interface, while the prototype templates are for code generation and are hidden from view of the ....
Richard Waldinger and Michael Lowry. AMPHION: Towards kinder, gentler formal methods. In Proceedings of the 1994 Monterey Workshop on Formal Methods. U.S. Naval Postgraduate School, September 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC