-
2
-
-
0019598045
-
On correct refinement of programs
-
Back, R. J. R. (1981) On correct refinement of programs. J. Comput. & Syst. Sci. 23(1), 49-68.
-
(1981)
J. Comput. & Syst. Sci.
, vol.23
, Issue.1
, pp. 49-68
-
-
Back, R.J.R.1
-
5
-
-
0023965424
-
The calculus of constructions
-
Coquand, T. and Huet, G. (1988) The Calculus of Constructions. Infor. & Computation, 76(2/3), 95-120.
-
(1988)
Infor. & Computation
, vol.76
, Issue.2-3
, pp. 95-120
-
-
Coquand, T.1
Huet, G.2
-
11
-
-
84876615102
-
Formal proof of a program: Find
-
To appear
-
Filliâtre, J.-C. (2001) Formal Proof of a program: Find. Sci. Comput. Program. To appear.
-
(2001)
Sci. Comput. Program
-
-
Filliâtre, J.-C.1
-
13
-
-
0002780749
-
Assigning meanings to programs
-
Schwartz, J. T. (ed.). AMS
-
Floyd, R. W. (1967) Assigning meanings to programs. In: Schwartz, J. T. (ed.), Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics 19, pp. 19-32. AMS.
-
(1967)
Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics
, vol.19
, pp. 19-32
-
-
Floyd, R.W.1
-
16
-
-
0037699884
-
-
INRIA, BP 105 - 78153 Le Chesnay Cedex, France
-
Guzmán, J. and Suárez, A. (1994) An extended type system for exceptions. Record of the 5th ACM SIGPLAN workshop on ML and its applications. (Also appears as Research Report 2265, INRIA, BP 105 - 78153 Le Chesnay Cedex, France.)
-
Research Report
, vol.2265
-
-
-
17
-
-
84945708698
-
An axiomatic basis for computer programming
-
Hoare, C. A. R. (1969) An axiomatic basis for computer programming. Commun. ACM, 12(10), 576-580, 583.
-
(1969)
Commun. ACM
, vol.12
, Issue.10
, pp. 576-580
-
-
Hoare, C.A.R.1
-
18
-
-
0014973676
-
Proof of a program: Find
-
Hoare, C. A. R. (1971) Proof of a program: Find. Commun. ACM, 14(1), 39-45.
-
(1971)
Commun. ACM
, vol.14
, Issue.1
, pp. 39-45
-
-
Hoare, C.A.R.1
-
20
-
-
85026998632
-
A theory of classes for a functional language with effects
-
1992 Annual Conference European Association for Computer Science Logic CSL92. San Miniato. Springer-Verlag
-
Honsell, F., Mason, I. A., Smith, S. F. and Talcott, C. L. (1992) A theory of classes for a functional language with effects. 1992 Annual Conference European Association for Computer Science Logic CSL92, pp. 309-326. San Miniato Lecture Notes in Computer Science 702. Springer-Verlag.
-
(1992)
Lecture Notes in Computer Science
, vol.702
, pp. 309-326
-
-
Honsell, F.1
Mason, I.A.2
Smith, S.F.3
Talcott, C.L.4
-
26
-
-
0026188821
-
Notions of computations and monads
-
Moggi, E. (1991) Notions of computations and monads. Infor. & Computation, 93(1).
-
(1991)
Infor. & Computation
, vol.93
, Issue.1
-
-
Moggi, E.1
-
30
-
-
84876628080
-
-
May
-
Parent, C. (1993) Developing certified programs in the system Coq - The Program tactic. Technical report 93-29, École Normale Supérieure de Lyon. (Also in Proceedings BRA Workshop Types for Proofs and Programs, May 1993.)
-
(1993)
Proceedings BRA Workshop Types for Proofs and Programs
-
-
-
35
-
-
0004031959
-
The KIV-approach to software verification
-
Broy, M. and Jähnichen, S. (eds.). Springer-Verlag
-
Reif, W. (1995) The KIV-approach to software verification. In: Broy, M. and Jähnichen, S. (eds.), KORSO; Methods, Languages, and Tools for the Construction of Correct Software - Final Report: Lecture Notes in Computer Science 1009. Springer-Verlag.
-
(1995)
KORSO; Methods, Languages, and Tools for the Construction of Correct Software - Final Report: Lecture Notes in Computer Science
, vol.1009
-
-
Reif, W.1
-
37
-
-
0000549632
-
The type and effect discipline
-
Talpin, J.-P. and Jouvelot, P. (1994) The type and effect discipline. Infor. & Computation, 111(2), 245-296.
-
(1994)
Infor. & Computation
, vol.111
, Issue.2
, pp. 245-296
-
-
Talpin, J.-P.1
Jouvelot, P.2
-
39
-
-
3042812934
-
Monads for functional programming
-
Broy, M. (ed.), Program Design Calculi. Springer-Verlag
-
Wadler, P. (1993) Monads for functional programming. In: Broy, M. (ed.), Program Design Calculi. NATO ASI Series. Springer-Verlag.
-
(1993)
NATO ASI Series
-
-
Wadler, P.1
-
42
-
-
0003025818
-
A syntactic approach to type soundness
-
Wright, A. K. and Felleisen, M. (1994) A syntactic approach to type soundness. Infor. & Computation, 115, 38-94.
-
(1994)
Infor. & Computation
, vol.115
, pp. 38-94
-
-
Wright, A.K.1
Felleisen, M.2
|