J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1981. 4.3 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Gaussian Elimination: a case study in efficient genericity with.. - Carette (2005) (Correct)
No context found.
J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1981. 4.3
Trace-based Program Analysis - Christopher Colby Peter (1996) (4 citations) (Correct)
No context found.
Joseph E. Stoy. Denotational Semantics : The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.
Honesty in Partial Logic - van der Hoek, Jaspars, Thijsse (1996) (Correct)
No context found.
Stoy, J., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, The M.I.T. Series in Computer Science, M.I.T. Press, Cambridge MA, 1977.
Local Variable Scoping and - Kleene Algebra With (Correct)
No context found.
Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA, USA (1981)
Relational Semantics for Higher-Order - Functional Programs Kamal (Correct)
No context found.
Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA, USA (1981)
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
No context found.
#53# J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977. #p 102#
Basic Research in Computer Science - On The Recursive (Correct)
No context found.
Joseph E. Stoy. Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory. The MIT Press Series in Computer Science. MIT Press, 1977.
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) (Correct)
No context found.
Joseph E. Stoy, Denotational semantics: the Scott-Strachey approach to programming language theory, MIT Press series in computer systems, no. 1, MIT Press, 1981.
Formal Models for Aspect-Oriented Software Development - Skipper (2004) (Correct)
No context found.
J. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.
Samsara - Crossley (2005) (Correct)
No context found.
Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.
The Origins of Structural Operational Semantics - Plotkin (2003) (1 citation) (Correct)
No context found.
Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, Cambridge: MIT Press, 1977.
Program Calculation Properties of Continuous Algebras - Fokkinga, Meijer (1991) (11 citations) (Correct)
No context found.
J.E. Stoy. Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory. The MIT Press, Cambridge, Mass., 1977.
A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (2 citations) (Correct)
No context found.
J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.
Subtyping and Polymorphism in Object-Role Modelling - Halpin, Proper (2004) (5 citations) (Correct)
No context found.
J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.
Formal Definition of a Conceptual Language for the.. - Hofstede, Proper.. (1993) (14 citations) (Correct)
No context found.
J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.
ConQuer-92: Revised report on the conceptual query language LISA-D - Proper (2000) (Correct)
No context found.
J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977. 87
Conceptual Schema Optimisation - Database Optimisation before .. - Proper, Halpin (2004) (1 citation) (Correct)
No context found.
J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.
Formalizing Executable Dynamic and Forward Slicing - Binkley, Danicic, Gyimothy, .. (Correct)
No context found.
J. E. Stoy. Denotational semantics: The Scott--Strachey approach to programming language theory. MIT Press, 1985. Third edition.
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