David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Foundational Proof Checkers with Small Witnesses - Wu, Appel, Stump (2003) (3 citations) (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston, 1986.
Construction of a Semantic Model for a Typed Assembly Language - Tan, Appel, Swadi, Wu (2003) (1 citation) (Correct)
No context found.
Schmidt, D.A.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston (1986)
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston, 1986.
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1 edition, 1986.
Proof Methods for Corecursive Programs - Gibbons, Hutton (2005) (1 citation) (Correct)
No context found.
Schmidt, D. A.: Denotational Semantics: A Methodology for Language Development, Allyn and Bacon, Inc., 1986.
Program Calculation Properties of Continuous Algebras - Fokkinga, Meijer (1991) (11 citations) (Correct)
No context found.
D.A. Schmidt. Denotational Semantics --- A Methodology for Language Development. Allyn and Bacon, 1986.
A Layered Calculus for Encapsulated Object Modification -.. - Mens, De Volder, Mens (1996) (Correct)
No context found.
Schmidt, D. A. - 1986. Denotational Semantics: A Methodology for Language Development; Allyn and Bacon, Inc.
A Formalisation of Encapsulated Modification of Objects - Mens, De Volder, Mens (1996) (Correct)
No context found.
Schmidt, D. A. - 1986. Denotational Semantics: A Methodology for Language Development; Allyn and Bacon, Inc.
A Layered Calculus for Encapsulated Object.. - Mens, De Volder.. (1996) (Correct)
No context found.
Schmidt, D. A. - 1986. Denotational Semantics: A Methodology for Language Development; Allyn and Bacon, Inc.
Polytypic Data Conversion Programs - Jeuring (2002) (5 citations) (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Wm. C. Brown Publishers, 1988.
Transformation by Interpreter Specialisation - Jones (2004) (1 citation) (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. McGraw-Hill Professional, 1987.
Foundational Proof Checkers with Small Witnesses - Wu, Appel, Stump (2003) (3 citations) (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston, 1986.
Programming Languages for Mobile Code - Thorn (1999) (74 citations) (Correct)
No context found.
D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986.
Understanding Expression Simplification - Carette (2004) (Correct)
No context found.
D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. W. C. Brown, Dubuque, Iowa, 1986.
Construction of a Semantic Model for a Typed Assembly Language - Tan, Appel, Swadi, Wu (2004) (1 citation) (Correct)
No context found.
Schmidt, D.A.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston (1986)
Object-Oriented Software Specification in Programming.. - Bryant, Vaidyanathan (Correct)
No context found.
D. A. Schmidt. Denotational Semantics - A Methodology for Language Development. Allyn and Bacon, Inc., 1986.
Controlling Effects - Filinski (1996) (2 citations) (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986.
Free Theorems in the Presence of seq - Johann, Voigtländer (2004) (2 citations) (Correct)
No context found.
D. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1986.
On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986.
Compiling Exceptions Correctly (Extended Version) - Hutton, Wright (2004) (Correct)
No context found.
D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc., 1986.
Search Heuristics for Box Decomposition Methods - Ratschan (2003) (Correct)
No context found.
D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. W.C. Brown, 1988.
LISP AND SYMBOLIC COMPUTATION: An International Journal.. - Results And Conclusions (Correct)
No context found.
David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Wm. C. Brown, Dubuque, IA, 1986.
Categorical Structure of Continuation Passing Style - Thielecke (1997) (18 citations) (Correct)
No context found.
David A. Schmidt. Denotational Semantics - A Methodology for Language Development. Allyn and Bacon, 1986.
Building the Tower of Babel: - Converting Xml Documents (Correct)
No context found.
D. Schmidt. Denotational Semantics: a Methodology for Language Development. W.C. Brown Publishers, 1986.
Logic Programming and Domain Specific Languages: A.. - Pontelli, Ranjan.. (Correct)
No context found.
D. Schmidt. Denotational Semantics: a Methodology for Language Development. W.C. Brown, 1986.
First 50 documents Next 50
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