Gregor Snelting. Experiences with the PSG --- Programming System Generator. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Formal Methods and Software Development (TAPSOFT'85. Vol. 2), volume 186 of Lect. Notes in Comp. Sci., pages 148--162. Springer-Verlag, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
μJava: Embedding a Programming Language in a Theorem.. - Nipkow, von Oheimb, Pusch (2000) (Correct)
....[ m m(a#as[7 ]b#bs) m(a7 b) as[7 ]bs) 4 The basics of programming language embeddings Historically, this work has its roots in research on generating programming environments, especially compilers and interpreters, from formal language descriptions. Prominent systems of this kind are PSG [Sne85] based on denotational semantics) ASF SDF [Kli93] based on algebraic specifications) and Centaur [BCD 88] Centaur is quite close to our framework because it is based on operational semantics expressed by inference rules, a connection that has already been exploited by Bertot and Fraer ....
Gregor Snelting. Experiences with the PSG --- Programming System Generator. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Formal Methods and Software Development (TAPSOFT '85, Vol. 2), volume 186 of Lect. Notes in Comp. Sci., pages 148--162. Springer-Verlag, 1985.
μJava: Embedding a Programming Language in a Theorem.. - Nipkow, von Oheimb, Pusch (2000) (Correct)
No context found.
Gregor Snelting. Experiences with the PSG --- Programming System Generator. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Formal Methods and Software Development (TAPSOFT'85. Vol. 2), volume 186 of Lect. Notes in Comp. Sci., pages 148--162. Springer-Verlag, 1985.
The VDM Bibliography - Larsen (1996) (1 citation) (Correct)
No context found.
G. Snelting. Experiences with PSG { Programming System Generator. In Vol. 186 of Lecture Notes in Computer Science: Proc. Joint Conf. on Theory and Practice of Software Development, Berlin 1985, pages 148-162, Springer-Verlag, 1985.
Systematic Software Development Using VDM - Teaching Notes - Jones (1995) (662 citations) (Correct)
No context found.
G. Snelting. Experiences with psg -- programming system generator. In Vol. 186 of Lecture Notes in Computer Science: Proc. Joint Conf. on Theory and Practice of Software Development, Berlin 1985, pages 148--162. Springer-Verlag, 1985.
Software Tools for the Specification Language LOTOS - van Eijk (1988) (4 citations) (Correct)
No context found.
G. Snelting, "Experiences with the PSG - Programming System Generator," Lecture Notes in Computer Science, vol. 186, pp. 148-162, Springer-Verlag, Berlin, 1985.
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