-
2
-
-
0347737748
-
An imperative object calculus: Basic typing and soundness
-
Technical Report UIUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign
-
Abadi, M. and Cardelli, L. (1995b) An imperative object calculus: Basic typing and soundness. Proceedings SIPL'95. Technical Report UIUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign.
-
(1995)
Proceedings SIPL'95
-
-
Abadi, M.1
Cardelli, L.2
-
5
-
-
0031530396
-
A foundation for actor computation
-
Agha, G., Mason, I., Smith, S. and Talcott, C. (1997) A foundation for actor computation. J. Functional Programming, 7(1), 1-72.
-
(1997)
J. Functional Programming
, vol.7
, Issue.1
, pp. 1-72
-
-
Agha, G.1
Mason, I.2
Smith, S.3
Talcott, C.4
-
6
-
-
0029631979
-
A language with distributed scope
-
Cardelli, L. (1995) A language with distributed scope. Computing systems, 8(1), 27-59.
-
(1995)
Computing Systems
, vol.8
, Issue.1
, pp. 27-59
-
-
Cardelli, L.1
-
8
-
-
0345846168
-
Analysis for concurrent objects
-
Bowman, H. and Derrick, J. (eds.) Chapman & Hall
-
di Blasio, P., Fisher, K. and Talcott, C. (1997) Analysis for concurrent objects. In: Bowman, H. and Derrick, J. (eds.), Proceedings FMOODS'97. Chapman & Hall.
-
(1997)
Proceedings FMOODS'97
-
-
Di Blasio, P.1
Fisher, K.2
Talcott, C.3
-
9
-
-
0002193891
-
Control operators, the SECD-machine, and the γ-calculus
-
North-Holland
-
Felleisen, M. and Friedman, D. (1986) Control operators, the SECD-machine, and the γ-calculus. Formal Description of Programming Concepts III, pp. 193-217. North-Holland.
-
(1986)
Formal Description of Programming Concepts III
, pp. 193-217
-
-
Felleisen, M.1
Friedman, D.2
-
12
-
-
33846512236
-
Operational equivalences for untyped and polymorphic object calculi
-
Gordon, A. D. and Pitts, A. M. (eds.) Cambridge University Press
-
Gordon, A. D. (1998) Operational equivalences for untyped and polymorphic object calculi. In: Gordon, A. D. and Pitts, A. M. (eds.), Higher Order Operational Techniques in Semantics. Cambridge University Press.
-
(1998)
Higher Order Operational Techniques in Semantics
-
-
Gordon, A.D.1
-
13
-
-
0003299191
-
A concurrent object calculus: Reduction and typing
-
Elsevier
-
Gordon, A. D. and Hankin, P. D. (1998) A concurrent object calculus: Reduction and typing. Proceedings HLCL'98. Elsevier.
-
(1998)
Proceedings HLCL'98
-
-
Gordon, A.D.1
Hankin, P.D.2
-
15
-
-
0029709488
-
Bisimilarity for a first-order calculus of objects with subtyping
-
ACM
-
Gordon, A. D. and Rees, G. D. (1996) Bisimilarity for a first-order calculus of objects with subtyping. Proceedings POPL'96, pp. 386-395. ACM.
-
(1996)
Proceedings POPL'96
, pp. 386-395
-
-
Gordon, A.D.1
Rees, G.D.2
-
16
-
-
85034534944
-
Compilation and equivalence of imperative objects (revised report)
-
BRICS Report RS-98-55, BRICS, Department of Computer Science, University of Aarhus. A shorter version was presented at Kharagpur, India, December 1997
-
Gordon, A. D., Lassen, S. B. and Hankin, P. D. (1998) Compilation and equivalence of imperative objects (revised report). BRICS Report RS-98-55, BRICS, Department of Computer Science, University of Aarhus. A shorter version was presented at Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 1997. Lecture Notes of Computer Science 1346, pp. 74-87. Springer-Verlag.
-
(1998)
Foundations of Software Technology and Theoretical Computer Science, 17th Conference
-
-
Gordon, A.D.1
Lassen, S.B.2
Hankin, P.D.3
-
17
-
-
0347107253
-
-
Springer-Verlag
-
Gordon, A. D., Lassen, S. B. and Hankin, P. D. (1998) Compilation and equivalence of imperative objects (revised report). BRICS Report RS-98-55, BRICS, Department of Computer Science, University of Aarhus. A shorter version was presented at Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 1997. Lecture Notes of Computer Science 1346, pp. 74-87. Springer-Verlag.
-
Lecture Notes of Computer Science 1346
, pp. 74-87
-
-
-
18
-
-
34249754179
-
The VLISP verified scheme system
-
Guttman, J. D., Swarup, V. and Ramsdell, J. (1995) The VLISP verified scheme system. Lisp and Symbolic Computation, 8(1/2), 33-110.
-
(1995)
Lisp and Symbolic Computation
, vol.8
, Issue.1-2
, pp. 33-110
-
-
Guttman, J.D.1
Swarup, V.2
Ramsdell, J.3
-
20
-
-
0032396220
-
Functional runtime systems within the lambda-sigma calculus
-
Hardin, T., Maranget, L. and Pagano, B. (1998) Functional runtime systems within the lambda-sigma calculus. J. Functional Programming, 8(2), 131-176.
-
(1998)
J. Functional Programming
, vol.8
, Issue.2
, pp. 131-176
-
-
Hardin, T.1
Maranget, L.2
Pagano, B.3
-
21
-
-
58149326013
-
A variable typed logic of effects
-
Honsell, F., Mason, I., Smith, S. and Talcott, C. (1993) A variable typed logic of effects. Information & Computation, 119(1), 55-90.
-
(1993)
Information & Computation
, vol.119
, Issue.1
, pp. 55-90
-
-
Honsell, F.1
Mason, I.2
Smith, S.3
Talcott, C.4
-
22
-
-
0000627561
-
Proving congruence of bisimulation in functional programming languages
-
Howe, D. J. (1996) Proving congruence of bisimulation in functional programming languages. Information & Computation, 124(2), 103-112.
-
(1996)
Information & Computation
, vol.124
, Issue.2
, pp. 103-112
-
-
Howe, D.J.1
-
23
-
-
0030110629
-
Accommodating interference in the formal design of concurrent object-based programs
-
Jones, C. B. (1996) Accommodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design, 8(2), 105-122.
-
(1996)
Formal Methods in System Design
, vol.8
, Issue.2
, pp. 105-122
-
-
Jones, C.B.1
-
26
-
-
0001097061
-
The mechanical evaluation of expressions
-
Landin, P. J. (1964) The mechanical evaluation of expressions. Computer J. 6, 308-320.
-
(1964)
Computer J.
, vol.6
, pp. 308-320
-
-
Landin, P.J.1
-
27
-
-
0004114806
-
The ZINC experiment: An economical implementation of the ML language
-
INRIA, Rocquencourt, France
-
Leroy, X. (1990) The ZINC experiment: an economical implementation of the ML language. Technical Report 117, INRIA, Rocquencourt, France.
-
(1990)
Technical Report 117
-
-
Leroy, X.1
-
29
-
-
84974295344
-
Equivalence in functional languages with effects
-
Mason, I. and Talcott, C. (1991) Equivalence in functional languages with effects. J. Functional Programming, 1(3), 287-327.
-
(1991)
J. Functional Programming
, vol.1
, Issue.3
, pp. 287-327
-
-
Mason, I.1
Talcott, C.2
-
30
-
-
0026883141
-
References, local variables and operational reasoning
-
Mason, I. and Talcott, C. (1992) References, local variables and operational reasoning. Proceedings LICS'92.
-
(1992)
Proceedings LICS'92
-
-
Mason, I.1
Talcott, C.2
-
32
-
-
0024131319
-
Semantical paradigms: Notes for an invited lecture
-
Meyer, A. and Cosmadakis, S. (1988) Semantical paradigms: Notes for an invited lecture. Proceedings LICS'88, pp. 236-253.
-
(1988)
Proceedings LICS'88
, pp. 236-253
-
-
Meyer, A.1
Cosmadakis, S.2
-
33
-
-
0001207273
-
Towards fully abstract semantics for local variables
-
Meyer, A. and Sieber, K. (1988) Towards fully abstract semantics for local variables. Proceedings POPL'88, pp. 236-253.
-
(1988)
Proceedings POPL'88
, pp. 236-253
-
-
Meyer, A.1
Sieber, K.2
-
35
-
-
0026188821
-
Notions of computations and monads
-
Moggi, E. (1989) Notions of computations and monads. Information & Computation, 93, 55-92.
-
(1989)
Information & Computation
, vol.93
, pp. 55-92
-
-
Moggi, E.1
-
39
-
-
0026977485
-
A compilation method for ML-style polymorphic record calculi
-
ACM
-
Ohori, A. (1992) A compilation method for ML-style polymorphic record calculi. Proceedings POPL'92, pp. 154-165. ACM.
-
(1992)
Proceedings POPL'92
, pp. 154-165
-
-
Ohori, A.1
-
40
-
-
0003685579
-
Operational reasoning for functions with local state
-
Gordon, A. D. and Pitts, A. M. (eds.) Cambridge University Press
-
Pitts, A. M. and Stark, I. D. B. (1998) Operational reasoning for functions with local state. In: Gordon, A. D. and Pitts, A. M. (eds.), Higher Order Operational Techniques in Semantics. Cambridge University Press.
-
(1998)
Higher Order Operational Techniques in Semantics
-
-
Pitts, A.M.1
Stark, I.D.B.2
-
41
-
-
18944377121
-
Call-by-name, call-by-value and the lambda calculus
-
Plotkin, G. D. (1975) Call-by-name, call-by-value and the lambda calculus. Theoretical Comput. Sci. 1, 125-159.
-
(1975)
Theoretical Comput. Sci.
, vol.1
, pp. 125-159
-
-
Plotkin, G.D.1
-
42
-
-
0000230630
-
LCF considered as a programming language
-
Plotkin, G. D. (1977) LCF considered as a programming language. Theoretical Comput. Sci., 5, 223-255.
-
(1977)
Theoretical Comput. Sci.
, vol.5
, pp. 223-255
-
-
Plotkin, G.D.1
-
43
-
-
0003931061
-
A structural approach to operational semantics
-
DAIMI, Aarhus University
-
Plotkin, G. D. (1981) A structural approach to operational semantics. Technical Report FN-19, DAIMI, Aarhus University.
-
(1981)
Technical Report FN-19
-
-
Plotkin, G.D.1
-
44
-
-
0003262677
-
Objects and classes in Algol-like languages
-
Reddy, U. S. (1998) Objects and classes in Algol-like languages. Proceedings FOOL'98.
-
(1998)
Proceedings FOOL'98
-
-
Reddy, U.S.1
-
45
-
-
0012627019
-
Idealized Algol and its specification logic
-
Néel, D. (ed.) Cambridge University Press
-
Reynolds, J. C. (1982) Idealized Algol and its specification logic. In: Néel, D. (ed.), Tools and Notions for Program Construction, pp. 121-161. Cambridge University Press.
-
(1982)
Tools and Notions for Program Construction
, pp. 121-161
-
-
Reynolds, J.C.1
-
47
-
-
84866805045
-
Typed π-calculus at work: A proof of Jones' parallelisation transformation on concurrent objects
-
Sangiorgi, D. (1997) Typed π-calculus at work: a proof of Jones' parallelisation transformation on concurrent objects. Proceedings FOOL'97.
-
(1997)
Proceedings FOOL'97
-
-
Sangiorgi, D.1
-
48
-
-
0031536592
-
Deriving a lazy abstract machine
-
Sestoft, P. (1997) Deriving a lazy abstract machine. J. Functional Programming, 3(7), 231-264.
-
(1997)
J. Functional Programming
, vol.3
, Issue.7
, pp. 231-264
-
-
Sestoft, P.1
-
49
-
-
84949215228
-
Names, equations, relations: Practical ways to reason about new
-
Springer-Verlag
-
Stark, I. (1997) Names, equations, relations: Practical ways to reason about new. Proceedings TLCA'97: Lecture Notes in Computer Science 1210, pp. 336-353. Springer-Verlag.
-
(1997)
Proceedings TLCA'97: Lecture Notes in Computer Science 1210
, pp. 336-353
-
-
Stark, I.1
-
50
-
-
0011231422
-
Reasoning about functions with effects
-
Gordon, A. D. and Pitts, A. M. (eds.) Cambridge University Press
-
Talcott, C. (1998) Reasoning about functions with effects. In: Gordon, A. D. and Pitts, A. M. (eds.), Higher Order Operational Techniques in Semantics. Cambridge University Press.
-
(1998)
Higher Order Operational Techniques in Semantics
-
-
Talcott, C.1
-
51
-
-
0001216410
-
Objects in the pi-calculus
-
Walker, D. (1995) Objects in the pi-calculus. Information & Computation, 116(2), 253-271.
-
(1995)
Information & Computation
, vol.116
, Issue.2
, pp. 253-271
-
-
Walker, D.1
-
52
-
-
0029193620
-
Compiler correctness for parallel languages
-
ACM
-
Wand, M. (1995) Compiler correctness for parallel languages. Proceedings FPCA'95, pp. 120-134. ACM.
-
(1995)
Proceedings FPCA'95
, pp. 120-134
-
-
Wand, M.1
|