-
1
-
-
0029454080
-
An imperative object calculus
-
Abadi, M., and Cardelli, L. (1996), An imperative object calculus, Theory Practice Object Systems 1 (3), 151-166.
-
(1996)
Theory Practice Object Systems
, vol.1
, Issue.3
, pp. 151-166
-
-
Abadi, M.1
Cardelli, L.2
-
3
-
-
84957031289
-
A logic of object-oriented programs
-
"TAPSOFT '97 and CAAP/FASE," Springer-Verlag, Berlin
-
Abadi, M., and Leino, R. M. (1997), A logic of object-oriented programs, in "TAPSOFT '97 and CAAP/FASE," Lecture Notes in Computer Science, Vol. 1214, pp. 682-696, Springer-Verlag, Berlin.
-
(1997)
Lecture Notes in Computer Science
, vol.1214
, pp. 682-696
-
-
Abadi, M.1
Leino, R.M.2
-
4
-
-
0003527514
-
-
MIT Press, Cambridge, MA
-
Abelson, H., Sussman, G. J., and Sussman, J. (1985), "Structure and Interpretation of Computer Programs," MIT Press, Cambridge, MA.
-
(1985)
Structure and Interpretation of Computer Programs
-
-
Abelson, H.1
Sussman, G.J.2
Sussman, J.3
-
5
-
-
0000954750
-
Linearity, sharing and state
-
(P. W. O'Hearn and R. D. Tennent, Eds.), Chap. 20, Birkhäuser, Boston
-
Abramsky, S., and McCusker, G. (1997), Linearity, sharing and state, in "Algol-like Languages" (P. W. O'Hearn and R. D. Tennent, Eds.), Vol. 2, Chap. 20, Birkhäuser, Boston.
-
(1997)
Algol-like Languages
, vol.2
-
-
Abramsky, S.1
McCusker, G.2
-
6
-
-
84974720115
-
Designing an object-oriented programming language with behavioural subtyping
-
"Foundations of Object-Oriented Languages" (J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds.), Springer-Verlag, Berlin
-
America, P. (1990), Designing an object-oriented programming language with behavioural subtyping, in "Foundations of Object-Oriented Languages" (J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 489, pp. 60-90, Springer-Verlag, Berlin.
-
(1990)
Lecture Notes in Computer Science
, vol.489
, pp. 60-90
-
-
America, P.1
-
7
-
-
84875382465
-
Objects, types and modal logics
-
electronic proceedings
-
Andersen, D. S., Pedersen, L. H., Hüttel, H., and Kleist, J. (1997), Objects, types and modal logics, in "FOOL 4," available at http://www.cs.indiana.edu/hyplan/pierce/fool/, electronic proceedings.
-
(1997)
FOOL 4
-
-
Andersen, D.S.1
Pedersen, L.H.2
Hüttel, H.3
Kleist, J.4
-
9
-
-
85031242967
-
Refinement of concurrent object-oriented programs
-
(S. Goldsack and S. Kent, Eds.), Chap. 11, Springer-Verlag, Brelin
-
Borba, P., and Goguen, J. (1996), Refinement of concurrent object-oriented programs, in "Formal Methods and Object Technology" (S. Goldsack and S. Kent, Eds.), Chap. 11, Springer-Verlag, Brelin.
-
(1996)
Formal Methods and Object Technology
-
-
Borba, P.1
Goguen, J.2
-
10
-
-
19144362257
-
Mathematical Foundations of Programming Semantics: Eleventh Annual Conference
-
Elsevier, Amsterdam
-
Brookes, S., Main, M., Melton, A., and Mislove, M. (Eds.) (1995), "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference," Electronic Notes in Theor. Comput. Sci., Vol. 1, Elsevier, Amsterdam.
-
(1995)
Electronic Notes in Theor. Comput. Sci.
, vol.1
-
-
Brookes, S.1
Main, M.2
Melton, A.3
Mislove, M.4
-
11
-
-
17244371685
-
PolyTOIL: A type-safe polymorphic object-oriented language
-
"ECOOP'95," Springer-Verlag, Berlin
-
Bruce, K. B. (1995), PolyTOIL: A type-safe polymorphic object-oriented language, in "ECOOP'95," Lecture Notes in Computer Science, Vol. 952, pp. 27-51, Springer-Verlag, Berlin.
-
(1995)
Lecture Notes in Computer Science
, vol.952
, pp. 27-51
-
-
Bruce, K.B.1
-
12
-
-
84957635439
-
Comparing object encodings
-
"Theoretical Aspects of Computer Software," Springer-Verlag, Berlin
-
Bruce, K. C., Cardelli, L., and Pierce, B. C. (1997), Comparing object encodings, in "Theoretical Aspects of Computer Software," Lecture Notes in Computer Science, Vol. 1281, pp. 415-438, Springer-Verlag, Berlin.
-
(1997)
Lecture Notes in Computer Science
, vol.1281
, pp. 415-438
-
-
Bruce, K.C.1
Cardelli, L.2
Pierce, B.C.3
-
13
-
-
84976664186
-
A semantics of multiple inheritance
-
"Semantics of Data Types" (G. Kahn, D. B. MacQueen, and G. Plotkin, Eds.), Springer-Verlag, Berlin
-
Cardelli, L. (1984), A semantics of multiple inheritance, in "Semantics of Data Types" (G. Kahn, D. B. MacQueen, and G. Plotkin, Eds.), Lecture Notes in Computer Science, Vol. 173, pp. 51-67, Springer-Verlag, Berlin.
-
(1984)
Lecture Notes in Computer Science
, vol.173
, pp. 51-67
-
-
Cardelli, L.1
-
14
-
-
0022333721
-
On understanding types, data abstraction, and polymorphism
-
Cardelli, L., and Wegner, P. (1986), On understanding types, data abstraction, and polymorphism, Comput. Surv. 17 (4), 471-522.
-
(1986)
Comput. Surv.
, vol.17
, Issue.4
, pp. 471-522
-
-
Cardelli, L.1
Wegner, P.2
-
15
-
-
0004239334
-
-
Ph.D. thesis, Dep. of Computer Science, Brown Univ. (Tech. Report CS-89-33)
-
Cook, W. R. (1989), "A Denotational Semantics of Inheritance," Ph.D. thesis, Dep. of Computer Science, Brown Univ. (Tech. Report CS-89-33).
-
(1989)
A Denotational Semantics of Inheritance
-
-
Cook, W.R.1
-
16
-
-
0025229172
-
Inheritance is not subtyping
-
Assoc. Comput. Mach., New York; reprinted as Chap. 14 of [25]
-
Cook, W. R., Hill, W. L., and Canning, P. S. (1990), Inheritance is not subtyping, in "ACM Symp. on Princ. of Program. Lang.," pp. 125-135, Assoc. Comput. Mach., New York; reprinted as Chap. 14 of [25].
-
(1990)
ACM Symp. on Princ. of Program. Lang.
, pp. 125-135
-
-
Cook, W.R.1
Hill, W.L.2
Canning, P.S.3
-
17
-
-
84943347349
-
An Algol-based simulation language
-
Dahl, O.-J., and Nygaard, K. (1966), An Algol-based simulation language, Comm. ACM 9 (9), 671-678.
-
(1966)
Comm. ACM
, vol.9
, Issue.9
, pp. 671-678
-
-
Dahl, O.-J.1
Nygaard, K.2
-
18
-
-
84955617486
-
A calculus for concurrent objects
-
"CONCUR '96," Springer-Verlag, Berlin
-
DiBlasio, P., and Fisher, K. (1996), A calculus for concurrent objects, in "CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 655-670, Springer-Verlag, Berlin.
-
(1996)
Lecture Notes in Computer Science
, vol.1119
, pp. 655-670
-
-
Diblasio, P.1
Fisher, K.2
-
19
-
-
0029520856
-
An interpretation of typed OOP in a language with state
-
Eifrig, J., Smith, S., Trifonov, V., and Zwarico, A. (1995), An interpretation of typed OOP in a language with state, J. Lisp Symbol. Comput. 8 (4), 357-397.
-
(1995)
J. Lisp Symbol. Comput.
, vol.8
, Issue.4
, pp. 357-397
-
-
Eifrig, J.1
Smith, S.2
Trifonov, V.3
Zwarico, A.4
-
20
-
-
0031683759
-
On the relationship between classes, objects and data abstraction
-
Fisher, K., and Mitchell, J. C. (1995), On the relationship between classes, objects and data abstraction, Theory Practice Object-Oriented Systems 4 (1), 3-25.
-
(1995)
Theory Practice Object-Oriented Systems
, vol.4
, Issue.1
, pp. 3-25
-
-
Fisher, K.1
Mitchell, J.C.2
-
22
-
-
0004189634
-
-
Addison-Wesley, Reading, MA
-
Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1995), "Design Patterns," Addison-Wesley, Reading, MA.
-
(1995)
Design Patterns
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
23
-
-
0012734968
-
-
Master's thesis, Queen's University, Kingston, Canada
-
Ghica, D. R. (1997), "Semantics of Dynamic Variables in Algol-like Languages," Master's thesis, Queen's University, Kingston, Canada, available at ftp://ftp.qucis.queensu.ca/pub/rdt.
-
(1997)
Semantics of Dynamic Variables in Algol-like Languages
-
-
Ghica, D.R.1
-
24
-
-
0003432047
-
-
Cambridge Univ. Press, Cambridge, UK
-
Girard, J.-Y., Lafont, Y, and Taylor, P. (1989), "Proofs and Types," Cambridge Univ. Press, Cambridge, UK.
-
(1989)
Proofs and Types
-
-
Girard, J.-Y.1
Lafont, Y.2
Taylor, P.3
-
25
-
-
0004180902
-
-
MIT Press, Cambridge, MA
-
Gunter, C. A., and Mitchell, J. C. (Eds.) (1994), "Theoretical Aspects of Object-Oriented Programming," MIT Press, Cambridge, MA.
-
(1994)
Theoretical Aspects of Object-Oriented Programming
-
-
Gunter, C.A.1
Mitchell, J.C.2
-
26
-
-
0022847269
-
Data refinement Refined
-
Springer-Verlag, Berlin
-
He, J. F., Hoare, C. A. R., and Sanders, J. W. (1986), "Data Refinement Refined," Lecture Notes in Computer Science, Vol. 213, pp. 187-196, Springer-Verlag, Berlin.
-
(1986)
Lecture Notes in Computer Science
, vol.213
, pp. 187-196
-
-
He, J.F.1
Hoare, C.A.R.2
Sanders, J.W.3
-
27
-
-
0012715703
-
Record handling
-
(F. Genuys, Ed.), Academic Press, London
-
Hoare, C. A. R. (1968), Record handling, in "Programming Languages: NATO Advanced Study Institute" (F. Genuys, Ed.), pp. 291-347, Academic Press, London.
-
(1968)
Programming Languages: NATO Advanced Study Institute
, pp. 291-347
-
-
Hoare, C.A.R.1
-
28
-
-
0015482118
-
Proof of correctness of data representations
-
Hoare, C. A. R. (1972), Proof of correctness of data representations, Acta Informat. 1, 271-281.
-
(1972)
Acta Informat.
, vol.1
, pp. 271-281
-
-
Hoare, C.A.R.1
-
30
-
-
0012673474
-
Positive subtyping
-
Hoffman, M., and Pierce, B. C. (1996), Positive subtyping, Information and Computation 126, 11-33.
-
(1996)
Information and Computation
, vol.126
, pp. 11-33
-
-
Hoffman, M.1
Pierce, B.C.2
-
31
-
-
85026747787
-
Inheritance in SMALLTALK-80: A denotational definition
-
Kamin, S. (1988), Inheritance in SMALLTALK-80: A denotational definition, in "ACM Symp. on Princ. of Program. Lang."
-
(1988)
ACM Symp. on Princ. of Program. Lang
-
-
Kamin, S.1
-
32
-
-
0005099440
-
Two semantic models of object-oriented languages
-
(C. A. Gunter and J. C. Mitchell, Eds.), MIT Press, Cambridge, MA
-
Kamin, S. N., and Reddy, U. S. (1994), Two semantic models of object-oriented languages, in "Theoretical Aspects of Object Oriented Programming" (C. A. Gunter and J. C. Mitchell, Eds.), MIT Press, Cambridge, MA.
-
(1994)
Theoretical Aspects of Object Oriented Programming
-
-
Kamin, S.N.1
Reddy, U.S.2
-
33
-
-
0012627015
-
-
manuscript, Queen Mary and Westfield, London
-
Kinoshita, Y., O'Hearn, P. W., Power, A. J., Takeyama, M., and Tennent, R. D. (1997), An axiomatic approach to binary logical relations with applications to data refinement, manuscript, Queen Mary and Westfield, London.
-
(1997)
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement
-
-
Kinoshita, Y.1
O'Hearn, P.W.2
Power, A.J.3
Takeyama, M.4
Tennent, R.D.5
-
34
-
-
84957566774
-
Reasoning and refinement in object-oriented specification languages
-
"ECOOP '97" (O. L. Madsen, Ed.), Springer-Verlag, Berlin
-
Lano, K., and Haughton, H. (1992), Reasoning and refinement in object-oriented specification languages, in "ECOOP '97" (O. L. Madsen, Ed.), Lecture Notes in Computer Science, Vol. 615, pp. 78-97, Springer-Verlag, Berlin.
-
(1992)
Lecture Notes in Computer Science
, vol.615
, pp. 78-97
-
-
Lano, K.1
Haughton, H.2
-
35
-
-
0026186463
-
Modular specification and verification of object-oriented programs
-
Leavens, G. T. (1991), Modular specification and verification of object-oriented programs, IEEE Software, 72-80.
-
(1991)
IEEE Software
, pp. 72-80
-
-
Leavens, G.T.1
-
36
-
-
0028548263
-
A behavioral notion of subtyping
-
Liskov, B., and Wing, J. M. (1994), A behavioral notion of subtyping, ACM Trans. Program. Lang. Syst. 16 (6), 1811-1841.
-
(1994)
ACM Trans. Program. Lang. Syst.
, vol.16
, Issue.6
, pp. 1811-1841
-
-
Liskov, B.1
Wing, J.M.2
-
38
-
-
0024926911
-
Axiomatizing operational equivalence in the presence of side effects
-
IEEE Comput. Soc. Press, Los Alamitos, CA
-
Mason, I. A., and Talcott, C. L. (1989), Axiomatizing operational equivalence in the presence of side effects, in "Proceedings, Fourth Annual Symposium on Logic in Computer Science," pp. 284-293, IEEE Comput. Soc. Press, Los Alamitos, CA.
-
(1989)
Proceedings, Fourth Annual Symposium on Logic in Computer Science
, pp. 284-293
-
-
Mason, I.A.1
Talcott, C.L.2
-
39
-
-
33846545518
-
Towards fully abstract semantics for local variables
-
Assoc. Comput. Mach., New York; reprinted as Chap. 7 of [52]
-
Meyer, A. R., and Sieber, K. (1988), Towards fully abstract semantics for local variables, in "Fifteenth Annual ACM Symposium on Principles of Programming Lang.," pp. 191-203, Assoc. Comput. Mach., New York; reprinted as Chap. 7 of [52].
-
(1988)
Fifteenth Annual ACM Symposium on Principles of Programming Lang.
, pp. 191-203
-
-
Meyer, A.R.1
Sieber, K.2
-
40
-
-
84988613226
-
An algebraic definition of simulation between programs
-
The British Computer Society, London
-
Milner, R. (1971), An algebraic definition of simulation between programs, in "Proc. Second Intern. Joint Conf. on Artificial Intelligence," pp. 481-489, The British Computer Society, London.
-
(1971)
Proc. Second Intern. Joint Conf. on Artificial Intelligence
, pp. 481-489
-
-
Milner, R.1
-
43
-
-
0024038082
-
Abstract types have existential types
-
Mitchell, J. C., and Plotkin, G. D. (1988), Abstract types have existential types, ACM Trans. Program. Lang. Syst. 10 (3), 470-502.
-
(1988)
ACM Trans. Program. Lang. Syst.
, vol.10
, Issue.3
, pp. 470-502
-
-
Mitchell, J.C.1
Plotkin, G.D.2
-
45
-
-
0027271332
-
Call by name, assignment and the lambda calculus
-
Assoc. Comput. Mach., New York
-
Odersky, M., Rabin, D., and Hudak, P. (1993), Call by name, assignment and the lambda calculus, in "Twentieth Annual ACM Symposium on Principles of Programming Language," Assoc. Comput. Mach., New York.
-
(1993)
Twentieth Annual ACM Symposium on Principles of Programming Language
-
-
Odersky, M.1
Rabin, D.2
Hudak, P.3
-
46
-
-
84971180013
-
A model for syntactic control of interference
-
O'Hearn, P. W. (1993), A model for syntactic control of interference, Math. Struct. Comput. Sci. 3, 435-465.
-
(1993)
Math. Struct. Comput. Sci.
, vol.3
, pp. 435-465
-
-
O'Hearn, P.W.1
-
47
-
-
0006965311
-
Syntactic control of interference revisited
-
"Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Elsevier, Amsterdam; reprinted as Chap. 18 of [52]
-
O'Hearn, P. W., Power, A. J., Takeyama, M., and Tennent, R. D. (1995), Syntactic control of interference revisited, in "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Electronic Notes in Theor. Comput. Sci., Vol. 1, Elsevier, Amsterdam; reprinted as Chap. 18 of [52].
-
(1995)
Electronic Notes in Theor. Comput. Sci.
, vol.1
-
-
O'Hearn, P.W.1
Power, A.J.2
Takeyama, M.3
Tennent, R.D.4
-
48
-
-
15344342873
-
Objects, interference and Yoneda embedding
-
"Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Elsevier, Amsterdam.
-
O'Hearn, P. W., and Reddy, U. S. (1995), Objects, interference and Yoneda embedding, in "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Electronic Notes in Theor. Comput. Sci., Vol. 1, Elsevier, Amsterdam.
-
(1995)
Electronic Notes in Theor. Comput. Sci.
, vol.1
-
-
O'Hearn, P.W.1
Reddy, U.S.2
-
49
-
-
0012199348
-
-
electronic manuscript, Queen Mary and Westfield, London
-
O'Hearn, P. W., and Reynolds, J. C. (1997), From Algol to polymorphic linear lambda-calculus, electronic manuscript, Queen Mary and Westfield, London, available at http://www.qmw.ac.uk/ohearn.
-
(1997)
From Algol to Polymorphic Linear Lambda-Calculus
-
-
O'Hearn, P.W.1
Reynolds, J.C.2
-
50
-
-
0002982095
-
Semantics of local variables
-
(M. P. Fourman, P. T. Johnstone, and A. M. Pitts, Eds.) Cambridge Univ. Press, Cambridge, UK
-
O'Hearn, P. W., and Tennent, R. D. (1992), Semantics of local variables, in "Applications of Categories in Computer Science" (M. P. Fourman, P. T. Johnstone, and A. M. Pitts, Eds.), pp. 217-238, Cambridge Univ. Press, Cambridge, UK.
-
(1992)
Applications of Categories in Computer Science
, pp. 217-238
-
-
O'Hearn, P.W.1
Tennent, R.D.2
-
51
-
-
84976718744
-
Parametricity and local variables
-
reprinted as Chap. 16 of [52]
-
O'Hearn, P. W., and Tennent, R. D. (1995), Parametricity and local variables, J. Assoc. Comput. Mach. 42 (3), 658-709; reprinted as Chap. 16 of [52].
-
(1995)
J. Assoc. Comput. Mach.
, vol.42
, Issue.3
, pp. 658-709
-
-
O'Hearn, P.W.1
Tennent, R.D.2
-
54
-
-
84972274325
-
Simple type-theoretic foundations for object-oriented programming
-
Pierce, B. C., and Turner, D. N. (1994), Simple type-theoretic foundations for object-oriented programming, J. Funct. Programming 4 (2), 207-247.
-
(1994)
J. Funct. Programming
, vol.4
, Issue.2
, pp. 207-247
-
-
Pierce, B.C.1
Turner, D.N.2
-
55
-
-
85028748723
-
A logic for parametric polymorphism
-
"Typed Lambda Calculi and Applications-TLCA '93," Springer-Verlag, Berlin
-
Plotkin, G., and Abadi, M. (1993), A logic for parametric polymorphism, in "Typed Lambda Calculi and Applications-TLCA '93," Lecture Notes in Computer Science, Vol. 664, pp. 361-375, Springer-Verlag, Berlin.
-
(1993)
Lecture Notes in Computer Science
, vol.664
, pp. 361-375
-
-
Plotkin, G.1
Abadi, M.2
-
56
-
-
84891611206
-
Objects as closures: Abstract semantics of object-oriented languages
-
Assoc. Comput. Mach., New York
-
Reddy, U. S. (1988), Objects as closures: Abstract semantics of object-oriented languages, in "ACM Symposium on LISP and Functional Programming," pp. 289-297, Assoc. Comput. Mach., New York.
-
(1988)
ACM Symposium on LISP and Functional Programming
, pp. 289-297
-
-
Reddy, U.S.1
-
57
-
-
0028094297
-
Passivity and independence
-
IEEE Comput. Soc. Press, Los Alamitos, CA
-
Reddy, U. S. (1994), Passivity and independence, in "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science," pp. 342-352, IEEE Comput. Soc. Press, Los Alamitos, CA.
-
(1994)
Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science
, pp. 342-352
-
-
Reddy, U.S.1
-
58
-
-
0030084648
-
Global state considered unnecessary: An introduction to object-based semantics
-
reprinted as Chap. 19 of [52]
-
Reddy, U.S. (1996), Global state considered unnecessary: An introduction to object-based semantics,J. Lisp Symbol. Comput. 9, 7-76; reprinted as Chap. 19 of [52].
-
(1996)
J. Lisp Symbol. Comput.
, vol.9
, pp. 7-76
-
-
Reddy, U.S.1
-
59
-
-
0018053595
-
Syntactic control of interference
-
Assoc. Comput. Mach., New York; reprinted as Chap. 10 of [52]
-
Reynolds, J. C. (1978), Syntactic control of interference, in "ACM Symposium on Principles of Programming Languages," pp. 39-46, Assoc. Comput. Mach., New York; reprinted as Chap. 10 of [52].
-
(1978)
ACM Symposium on Principles of Programming Languages
, pp. 39-46
-
-
Reynolds, J.C.1
-
60
-
-
0019705872
-
The essence of Algol
-
(J. W. de Bakker and J. C. van Vliet, Eds.) North-Holland, Amsterdam; reprinted as Chap. 3 of [52]
-
Reynolds, J. C. (1981), The essence of Algol, in "Algorithmic Languages" (J. W. de Bakker and J. C. van Vliet, Eds.), pp. 345-372, North-Holland, Amsterdam; reprinted as Chap. 3 of [52].
-
(1981)
Algorithmic Languages
, pp. 345-372
-
-
Reynolds, J.C.1
-
61
-
-
0012627019
-
Idealized algol and its specification logic
-
(D. Neel, Ed.) Cambridge Univ. Press, Cambridge, UK, reprinted as Chap. 6 of [52]
-
Reynolds, J. C. (1982), Idealized Algol and its specification logic, in "Tools and Notions for Program Construction" (D. Neel, Ed.), pp. 121-161, Cambridge Univ. Press, Cambridge, UK, reprinted as Chap. 6 of [52].
-
(1982)
Tools and Notions for Program Construction
, pp. 121-161
-
-
Reynolds, J.C.1
-
62
-
-
0020919435
-
Types, abstraction and parametric polymorphism
-
(R. E. A. Mason, Ed.) North-Holland, Amsterdam
-
Reynolds, J. C. (1983), Types, abstraction and parametric polymorphism, in "Information Processing '83" (R. E. A. Mason, Ed.), pp. 513-523, North-Holland, Amsterdam.
-
(1983)
Information Processing '83
, pp. 513-523
-
-
Reynolds, J.C.1
-
63
-
-
0025444459
-
Behavioral correctness of data representations
-
Schoett, O. (1990), Behavioral correctness of data representations, Sci. Comput. Program. 14, 43-57.
-
(1990)
Sci. Comput. Program.
, vol.14
, pp. 43-57
-
-
Schoett, O.1
-
64
-
-
0003072080
-
Categorical models for local names
-
Stark, I. (1996), Categorical models for local names, Lisp Symbol. Comput. 9 (1), 77-107.
-
(1996)
Lisp Symbol. Comput.
, vol.9
, Issue.1
, pp. 77-107
-
-
Stark, I.1
-
65
-
-
0012712963
-
Assignments for applicative languages
-
(P. W. O'Hearn and R. D. Tennent, Eds.), Chap. 9 Birkhäuser, Boston
-
Swarup, V., Reddy, U. S., and Ireland, E. (1997), Assignments for applicative languages, in "Algol-like Languages" (P. W. O'Hearn and R. D. Tennent, Eds.), Chap. 9, pp. 235-272, Birkhäuser, Boston.
-
(1997)
Algol-like Languages
, pp. 235-272
-
-
Swarup, V.1
Reddy, U.S.2
Ireland, E.3
-
66
-
-
0025418448
-
Semantical analysis of specification logic
-
reprinted as Chap. 13 of [52]
-
Tennent, R. D. (1990), Semantical analysis of specification logic, Inform and Comput. 85 (2), 135-162; reprinted as Chap. 13 of [52].
-
(1990)
Inform and Comput.
, vol.85
, Issue.2
, pp. 135-162
-
-
Tennent, R.D.1
-
67
-
-
0012720413
-
Denotational semantics
-
(S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, Eds.) Oxford Univ. Press, London
-
Tennent, R. D. (1994), Denotational semantics, in "Handbook of Logic in Computer Science" (S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, Eds.), Vol. 3, pp. 169-322, Oxford Univ. Press, London.
-
(1994)
Handbook of Logic in Computer Science
, vol.3
, pp. 169-322
-
-
Tennent, R.D.1
-
68
-
-
85022794780
-
Event structures
-
"Petri Nets: Applications and Relationships to Other Models of Concurrency" (W. Brauer, W. Reisig, and G. Rozenberg, Eds.), Springer-Verlag, Berlin
-
Winskel, G. (1987), Event structures, in "Petri Nets: Applications and Relationships to Other Models of Concurrency" (W. Brauer, W. Reisig, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 255, pp. 325-392, Springer-Verlag, Berlin.
-
(1987)
Lecture Notes in Computer Science
, vol.255
, pp. 325-392
-
-
Winskel, G.1
-
69
-
-
85029715012
-
An introduction to event structures
-
"Linear Time, Branching Time and Partial Order in Logics and Models of Concurrency" (J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds.) Springer-Verlag, Berlin
-
Winskel, G. (1989), An introduction to event structures, in "Linear Time, Branching Time and Partial Order in Logics and Models of Concurrency" (J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 354, pp. 364-397, Springer-Verlag, Berlin.
-
(1989)
Lecture Notes in Computer Science
, vol.354
, pp. 364-397
-
-
Winskel, G.1
-
70
-
-
85031240428
-
-
Ph.D. thesis (to appear), Department of Mathematics, University of Illinois at Urbana-Champaign
-
Dunphy, B. P. (2001), Uniform families, Ph.D. thesis (to appear), Department of Mathematics, University of Illinois at Urbana-Champaign.
-
(2001)
Uniform Families
-
-
Dunphy, B.P.1
|