Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Steffen, Bernhard
1991.
Theoretical Aspects of Computer Software.
Vol. 526,
Issue. ,
p.
346.
Moura, Hermano
1992.
Programming Language Implementation and Logic Programming.
Vol. 631,
Issue. ,
p.
477.
Brown, Deryck F.
Moura, Hermano
and
Watt, David A.
1992.
Compiler Construction.
Vol. 641,
Issue. ,
p.
95.
Palsberg, J.
1992.
An automatically generated and provably correct compiler for a subset of Ada.
p.
117.
Poetzsch-Heffter, Arnd
1993.
Progamming Language Implementation and Logic Programming.
Vol. 714,
Issue. ,
p.
137.
Mosses, Peter D.
1993.
Recent Trends in Data Type Specification.
Vol. 655,
Issue. ,
p.
66.
Moura, Hermano
and
Watt, David A.
1994.
Compiler Construction.
Vol. 786,
Issue. ,
p.
16.
Poetzsch-Heffter, Arnd
1994.
Compiler Construction.
Vol. 786,
Issue. ,
p.
233.
Ørbæk, Peter
1994.
Compiler Construction.
Vol. 786,
Issue. ,
p.
1.
Meira
and
Moura
1994.
A scripting language for multimedia presentations.
p.
484.
Börger, Egon
1995.
SOFSEM '95: Theory and Practice of Informatics.
Vol. 1012,
Issue. ,
p.
236.
Bondorf, Anders
and
Palsberg, Jens
1996.
Generating action compilers by partial evaluation.
Journal of Functional Programming,
Vol. 6,
Issue. 2,
p.
269.
Bundgaard, Jørgen
1996.
Ada in Europe.
Vol. 1031,
Issue. ,
p.
81.
Harrison, W.L.
and
Kamin, S.N.
1998.
Modular compilers based on monad transformers.
p.
122.
Sellink, A.
and
Verhoef, C.
1998.
Development, assessment, and reengineering of language descriptions.
p.
314.
Duarte, E.P.
and
Musicante, M.A.
1999.
Formal specification of SNMP MIB's using action semantics: the routing proxy case study.
p.
417.
Börger, Egon
and
Schulte, Wolfram
1999.
Formal Syntax and Semantics of Java.
Vol. 1523,
Issue. ,
p.
353.
Meseguer, José
1999.
Computational Logic.
p.
347.
Goos, Gerhard
and
Znnmerrnaun, Wolf
1999.
Correct System Design.
Vol. 1710,
Issue. ,
p.
201.
Clavel, M.
Durán, F.
Eker, S.
Meseguer, J.
and
Stehr, M. O.
1999.
FM’99 — Formal Methods.
Vol. 1709,
Issue. ,
p.
1684.