-
1
-
-
0027910847
-
Formal parametric polymorphism
-
Elsevier
-
Abadi, M., Cardelli, L., Curien, P.-L., Formal Parametric Polymorphism, TCS 121, 1-2, (Dec), 9-58. Elsevier, 1993.
-
(1993)
TCS
, vol.121
, Issue.1-2 DEC
, pp. 9-58
-
-
Abadi, M.1
Cardelli, L.2
Curien, P.-L.3
-
2
-
-
84957031289
-
A logic for object-oriented programs
-
LNCS
-
Abadi, M, Leino, R. A logic for object-oriented programs, pages 682-696, TAPSOFT'97, LNCS, 1997.
-
(1997)
TAPSOFT'97
, pp. 682-696
-
-
Abadi, M.1
Leino, R.2
-
3
-
-
0034672933
-
Full abstraction for PCF
-
Abramsky, S., Jagadeesan, R. and Malacaria, P., Full Abstraction for PCF. Info. & Comp. 163 (2000), 409-470.
-
(2000)
Info. & Comp.
, vol.163
, pp. 409-470
-
-
Abramsky, S.1
Jagadeesan, R.2
Malacaria, P.3
-
4
-
-
84976766710
-
Ten years of hoare logic: A survey
-
Apt, K.R. Ten Years of Hoare Logic: a survey. TOPLAS. 3:431-483, 1981.
-
(1981)
TOPLAS
, vol.3
, pp. 431-483
-
-
Apt, K.R.1
-
6
-
-
84888883433
-
Sequentially and the π-calculus
-
LNCS 2044
-
Berger, M., Honda, K. and Yoshida, N., Sequentially and the π-Calculus, TLCA01, LNCS 2044, 29-45, 2001.
-
(2001)
TLCA01
, pp. 29-45
-
-
Berger, M.1
Honda, K.2
Yoshida, N.3
-
7
-
-
35248866941
-
Genericity and the π-calculus
-
LNCS 2620
-
Berger, M., Honda, K. and Yoshida, N., Genericity and the π-Calculus, FoSSaCs'03, LNCS 2620, 103-119, 2003.
-
(2003)
FoSSaCs'03
, pp. 103-119
-
-
Berger, M.1
Honda, K.2
Yoshida, N.3
-
8
-
-
0008539659
-
Asynchrony and the pi-calculus
-
Boudol, G., Asynchrony and the pi-calculus, INRIA Research Report 1702, 1992.
-
(1992)
INRIA Research Report
, vol.1702
-
-
Boudol, G.1
-
9
-
-
0142121530
-
A spatial logic for concurrency (Part I)
-
Caires, L. and Cardelli, L., A Spatial Logic for Concurrency (Part I). Info. & Comp., 2003.
-
(2003)
Info. & Comp.
-
-
Caires, L.1
Cardelli, L.2
-
10
-
-
0015489646
-
Program proving: Jumps and functions
-
Clint, M. and Hoare C.A.R. Program proving: jumps and functions. Acta Inf. 1:214-224, 1971.
-
(1971)
Acta Inf.
, vol.1
, pp. 214-224
-
-
Clint, M.1
Hoare, C.A.R.2
-
11
-
-
0001972404
-
Methods and logics for proving programs
-
Elsevier
-
Cousot, P. Methods and logics for proving programs. Handbook of Theoretical Computer Science, volume B, 843-993. Elsevier, 1999.
-
(1999)
Handbook of Theoretical Computer Science
, vol.B
, pp. 843-993
-
-
Cousot, P.1
-
13
-
-
9744273691
-
Proof systems for π-calculus logics
-
Studies in Logic and Computing, Oxford University Press
-
Dam, M. Proof Systems for π-Calculus Logics. Logic for Concurrency and Synchronization. Studies in Logic and Computing, Oxford University Press, 2003.
-
(2003)
Logic for Concurrency and Synchronization
-
-
Dam, M.1
-
14
-
-
0003630848
-
-
Edinburgh LCF
-
Gordon, M., Milner, A. and Wadsworth, C., Edinburgh LCF, LNCS 78, 1979.
-
(1979)
LNCS
, vol.78
-
-
Gordon, M.1
Milner, A.2
Wadsworth, C.3
-
17
-
-
0037643799
-
A proof method for cyclic programs
-
Francez N. and Pnueli, A. A proof method for cyclic programs. Acta Inf. 9, pp. 133-157, 1978.
-
(1978)
Acta Inf.
, vol.9
, pp. 133-157
-
-
Francez, N.1
Pnueli, A.2
-
18
-
-
0023171371
-
Linear Logic
-
Girard, J.-Y., Linear Logic, TCS, 50:1-102, 1987.
-
(1987)
TCS
, vol.50
, pp. 1-102
-
-
Girard, J.-Y.1
-
19
-
-
9744274994
-
Proving the correctness of regular deterministic programs
-
Harel, D. Proving the correctness of regular deterministic programs. TCS, 12:61-81, 1980.
-
(1980)
TCS
, vol.12
, pp. 61-81
-
-
Harel, D.1
-
20
-
-
0021974161
-
Algebraic laws for nondeterminism and concurrency
-
Hennessy, M. and Milner, R. Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, 32:1, pp.137-161, 1985.
-
(1985)
Journal of ACM
, vol.32
, Issue.1
, pp. 137-161
-
-
Hennessy, M.1
Milner, R.2
-
21
-
-
84945708698
-
An axiomatic basis of computer programming
-
Hoare, C.A.R. An axiomatic basis of computer programming. CACM, 12:576-580, 1969.
-
(1969)
CACM
, vol.12
, pp. 576-580
-
-
Hoare, C.A.R.1
-
22
-
-
0037710413
-
Procedures and Parameters: An axiomatic approach
-
Semantics of Algorithmic Languages, Springer
-
Hoare, C.A.R. Procedures and Parameters: an axiomatic approach. Lecture Notes in Mathematics 188, 102-116, Semantics of Algorithmic Languages, Springer, 1971.
-
(1971)
Lecture Notes in Mathematics
, vol.188
, pp. 102-116
-
-
Hoare, C.A.R.1
-
24
-
-
0000972249
-
An axiomatic definition of the programming language PASCAL
-
Hoare, C.A.R. and Wirth, N., An axiomatic definition of the programming language PASCAL. Acta Inf. 2:335-355, 1973.
-
(1973)
Acta Inf.
, vol.2
, pp. 335-355
-
-
Hoare, C.A.R.1
Wirth, N.2
-
25
-
-
0029719979
-
Composing processes
-
ACM
-
Honda, K., Composing Processes, POPL'96, 344-357, ACM, 1996.
-
(1996)
POPL'96
, pp. 344-357
-
-
Honda, K.1
-
28
-
-
11244317202
-
A compositional logic for polymorphic higher-order functions
-
ACM
-
Honda, K. and Yoshida, N., A Compositional Logic for Polymorphic Higher-Order Functions. PPDP'04, ACM, 2004.
-
(2004)
PPDP'04
-
-
Honda, K.1
Yoshida, N.2
-
29
-
-
84983016110
-
An object calculus for asynchronous communication
-
Honda, K. and Tokoro, M. An object calculus for asynchronous communication. ECOOP'91, LNCS 512, 133-147, 1991.
-
(1991)
ECOOP'91, LNCS
, vol.512
, pp. 133-147
-
-
Honda, K.1
Tokoro, M.2
-
30
-
-
0000423953
-
Game-theoretic analysis of call-by-value computation
-
Honda, K. and Yoshida, N. Game-theoretic analysis of call-by-value computation. TCS, 221:393-456, 1999.
-
(1999)
TCS
, vol.221
, pp. 393-456
-
-
Honda, K.1
Yoshida, N.2
-
31
-
-
0036040303
-
A uniform type structure for secure information flow
-
ACM
-
Honda, K. and Yoshida, N., A Uniform Type Structure for Secure Information Flow, POPL'02, 81-92, ACM, 2002.
-
(2002)
POPL'02
, pp. 81-92
-
-
Honda, K.1
Yoshida, N.2
-
33
-
-
2942619729
-
Control in the π-calculus
-
ACM
-
Honda, K., Yoshida, N. and Berger, M., Control in the π-Calculus, Proc. CW'04, ACM, 2004.
-
(2004)
Proc. CW'04
-
-
Honda, K.1
Yoshida, N.2
Berger, M.3
-
34
-
-
0034672932
-
"On full abstraction for PCF":I, II and III
-
Hyland, M. and Ong, L., "On Full Abstraction for PCF":I, II and III. Info. & Comp. 163 (2000), 285-408.
-
(2000)
Info. & Comp.
, vol.163
, pp. 285-408
-
-
Hyland, M.1
Ong, L.2
-
35
-
-
0000031714
-
Reasoning about java classes (preliminary report)
-
ACM
-
Jacobs, B. et al. Reasoning about Java Classes (Preliminary Report). OOPSLA'98, ACM, 1998.
-
(1998)
OOPSLA'98
-
-
Jacobs, B.1
-
36
-
-
0020929268
-
Specification and design of (parallel) programs
-
North Holland
-
Jones, C.B. Specification and Design of (Parallel) Programs. Proc. IFIP 9th World Computer Congress. North Holland, 321-332, 1983.
-
(1983)
Proc. IFIP 9th World Computer Congress
, pp. 321-332
-
-
Jones, C.B.1
-
37
-
-
0001065208
-
Linear types and the π-calculus
-
Kobayashi, N., Pierce, B., and Turner, D., Linear types and the π-calculus, TOPLAS, 21(5):914-947, 1999.
-
(1999)
TOPLAS
, vol.21
, Issue.5
, pp. 914-947
-
-
Kobayashi, N.1
Pierce, B.2
Turner, D.3
-
38
-
-
0006660104
-
Axiomatic approach to side effects and general jumps
-
Kowaltowsky, T. Axiomatic approach to side effects and general jumps. Acta Informatica 7, 357-360.
-
Acta Informatica
, vol.7
, pp. 357-360
-
-
Kowaltowsky, T.1
-
39
-
-
0036044792
-
Polarized games
-
IEEE
-
Laurent, O., Polarized games, LICS 2002, 265-274, IEEE, 2002.
-
(2002)
LICS
, vol.2002
, pp. 265-274
-
-
Laurent, O.1
-
40
-
-
9744228448
-
Enhancing the pre- And postcondition technique for more expressive specifications
-
Springer
-
Leavens, G. and Baker, A. Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. FM'99: World Congress on Formal Methods, Springer, 1999.
-
(1999)
FM'99: World Congress on Formal Methods
-
-
Leavens, G.1
Baker, A.2
-
41
-
-
0006133752
-
Logical full abstraction and PCF
-
Stanford, CSLI
-
Longley, J. and Plotkin, G. Logical Full Abstraction and PCF. Tbilisi Symposium on Logic, Language and Information, 333-352, Stanford, CSLI, 1998.
-
(1998)
Tbilisi Symposium on Logic, Language and Information
, pp. 333-352
-
-
Longley, J.1
Plotkin, G.2
-
44
-
-
84976193394
-
Functions as Processes
-
Milner, R., Functions as Processes, MSCS. 2(2):119-141, 1992,
-
(1992)
MSCS
, vol.2
, Issue.2
, pp. 119-141
-
-
Milner, R.1
-
45
-
-
84862469712
-
Speech by Robin milner on receiving an honorary degree from the University of Bologna
-
Milner, R., Speech by Robin Milner on receiving an Honorary Degree from the University of Bologna, ICALP'97, http://www.cs.unibo.it/icalp/Lauree_milner. html.
-
ICALP'97
-
-
Milner, R.1
-
46
-
-
44049113210
-
A calculus of mobile processes
-
Milner, R., Parrow, J. and Walker, D., A Calculus of Mobile Processes, Info. & Comp. 100(1):1-77, 1992.
-
(1992)
Info. & Comp.
, vol.100
, Issue.1
, pp. 1-77
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
47
-
-
0027607364
-
Modal logics for mobile processes
-
Milner, R., Parrow, J.G. and Walker, D.J., Modal logics for mobile processes, TCS, 114:149-171, 1993.
-
(1993)
TCS
, vol.114
, pp. 149-171
-
-
Milner, R.1
Parrow, J.G.2
Walker, D.J.3
-
49
-
-
0008849263
-
Proof of algorithms by general snapshots
-
Naur, P. Proof of algorithms by general snapshots. BIT 6, 310-316, 1966.
-
(1966)
BIT
, vol.6
, pp. 310-316
-
-
Naur, P.1
-
50
-
-
1442263137
-
Separation and information hiding
-
O'Hearn, P., Yang, H. and Reynolds, J., Separation and Information Hiding, POPL'04, 268-280, 2004.
-
(2004)
POPL'04
, pp. 268-280
-
-
O'Hearn, P.1
Yang, H.2
Reynolds, J.3
-
53
-
-
0001518312
-
Typing and subtyping for mobile processes
-
Pierce, B.C. and Sangiorgi. D, Typing and subtyping for mobile processes. MSCS, 6(5):409-454, 1996.
-
(1996)
MSCS
, vol.6
, Issue.5
, pp. 409-454
-
-
Pierce, B.C.1
Sangiorgi, D.2
-
54
-
-
9744226183
-
A logic for parametric polymorphism
-
IEEE Press
-
Plotkin, G. and Abadi, M., A Logic for Parametric Polymorphism, LICS'98, 42-53, IEEE Press, 1998.
-
(1998)
LICS'98
, pp. 42-53
-
-
Plotkin, G.1
Abadi, M.2
-
55
-
-
84957884995
-
A programming logic for sequential Java
-
Poetzsh-Heffter, A. and Muller, P. A programming logic for sequential Java. ESOP'99, LNCS 1576, 162-176, 1999,
-
(1999)
ESOP'99, LNCS
, vol.1576
, pp. 162-176
-
-
Poetzsh-Heffter, A.1
Muller, P.2
-
57
-
-
0030260547
-
π-calculus, internal mobility, and agent-passing calculi
-
Sangiorgi, D., π-calculus, internal mobility, and agent-passing calculi. TCS, 167(2):235-271, 1996.
-
(1996)
TCS
, vol.167
, Issue.2
, pp. 235-271
-
-
Sangiorgi, D.1
-
58
-
-
0001216410
-
Objects in the π-calculus
-
Walker, D., Objects in the π-calculus. Info. Comp., 116(2):253-271, 1995.
-
(1995)
Info. Comp.
, vol.116
, Issue.2
, pp. 253-271
-
-
Walker, D.1
-
59
-
-
0034871529
-
Strong normalisation in the π-calculus
-
IEEE
-
Yoshida, N., Berger, M. and Honda, K., Strong Normalisation in the π-Calculus, LICS'01, 311-322, IEEE, 2001. Full version in: Info. & Comp., 191:145-202, 2004.
-
(2001)
LICS'01
, pp. 311-322
-
-
Yoshida, N.1
Berger, M.2
Honda, K.3
-
60
-
-
2942538012
-
-
Yoshida, N., Berger, M. and Honda, K., Strong Normalisation in the π-Calculus, LICS'01, 311-322, IEEE, 2001. Full version in: Info. & Comp., 191:145-202, 2004.
-
(2004)
Info. & Comp.
, vol.191
, pp. 145-202
-
-
-
61
-
-
19044369934
-
Linearity and bisimulation
-
Yoshida, N., Honda, K. and Berger, M. Linearity and Bisimulation, FoSSaCs 2002, LNCS 2303, 417-433, 2002.
-
(2002)
FoSSaCs 2002, LNCS
, vol.2303
, pp. 417-433
-
-
Yoshida, N.1
Honda, K.2
Berger, M.3
|