Inter-Deriving Semantic Artifacts for Object-Oriented Programming

Inter-Deriving Semantic Artifacts for Object-Oriented Programming (2008)

Cached

Download Links

by Olivier Danvy , Jacob Johannsen

Citations:

BibTeX

@MISC{Danvy08inter-derivingsemantic,
    author = {Olivier Danvy and Jacob Johannsen},
    title = { Inter-Deriving Semantic Artifacts for Object-Oriented Programming},
    year = {2008}
}

Bookmark

OpenURL

Abstract

Citations

830	A Theory of Objects - Abadi, Cardelli - 1996
359	Explicit Substitutions - Abadi, Cardelli, et al. - 1992
290	The calculi of lambda-conversion - Church - 1941
266	The Lambda Calculus: its syntax and semantics, volume 103 of Studies in logic and the foundations of mathematics - Barendregt - 1985
121	The categorical abstract machine - Cousineau, Curien, et al. - 1985
114	Confluence properties of weak and strong calculi of explicit substitutions - Hardin - 1996
59	Defunctionalization at work - Danvy, Nielsen - 2001
58	Compiling a functional language - Cardelli - 1984
55	An abstract framework for environment machines - Curien - 1991
52	A functional correspondence between evaluators and abstract machines - Ager, Biernacki, et al. - 2003
34	A functional correspondence between monadic evaluators and abstract machines for languages with computational effects - Ager, Danvy, et al. - 2005
32	A functional correspondence between callby-need evaluators and lazy abstract machines - Ager, Danvy, et al. - 2004
17	An operational foundation for delimited continuations in the CPS hierarchy - Biernacka, Biernacki, et al. - 2005
17	A syntactic correspondence between context-sensitive calculi and abstract machines - Biernacka, Danvy - 2007
14	An Analytical Approach to Program as Data Objects. DSc thesis - Danvy - 2006
12	A concrete framework for environment machines - Biernacka, Danvy - 2007
12	Refocusing in reduction semantics. Research Report BRICS - Danvy, Nielsen - 2004
11	to direct style. Science of Computer Programming - Back - 1994
10	From reduction-based to reduction-free normalization, in - Danvy - 2008
9	The Theory and Practice of Programming Languages with Delimited Continuations - Biernacki - 2005
8	Partial Evaluation of String Matchers & Constructions of Abstract Machines - Ager - 2006
7	A Derivational Approach to the Operational Semantics of Functional Languages - Biernacka
5	On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion - Danvy, Millikin - 2008
4	Refunctionalization at work, Science of Computer Programming 74 (8) (2009) 534–549, extended version available as the research report BRICS - Danvy, Millikin