-
1
-
-
0023500461
-
Algebraic specifications of computable and semicomputable data types
-
J. Bergstra and J. Tucker. Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science 50:137-181 (1987).
-
(1987)
Theoretical Computer Science
, vol.50
, pp. 137-181
-
-
Bergstra, J.1
Tucker, J.2
-
3
-
-
0001849324
-
Logical support for modularisation
-
G. Huet and G. Plotkin, eds, Cambridge Univ. Press
-
R. Diaconescu, J.A. Goguen and P. Stefaneas. Logical support for modularisation. In: Logical frameworks (G. Huet and G. Plotkin, eds.), 83-130. Cambridge Univ. Press (1993).
-
(1993)
Logical frameworks
, pp. 83-130
-
-
Diaconescu, R.1
Goguen, J.A.2
Stefaneas, P.3
-
5
-
-
0026444654
-
Institutions: Abstract model theory for specification and programming
-
J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM 39:95-146 (1992).
-
(1992)
Journal of the ACM
, vol.39
, pp. 95-146
-
-
Goguen, J.1
Burstall, R.2
-
6
-
-
0015482118
-
Proofs of correctness of data representations
-
C.A.R. Hoare. Proofs of correctness of data representations. Acta Informatica 1:271-281 (1972).
-
(1972)
Acta Informatica
, vol.1
, pp. 271-281
-
-
Hoare, C.A.R.1
-
8
-
-
0347500538
-
The definition of Extended ML: A gentle introduction
-
Univ. of Edinburgh, Theoretical Computer Science, to appear (1996)
-
S. Kahrs, D. Sannella and A. Tarlecki. The definition of Extended ML: a gentle introduction. Report ECS-LFCS-95-322, Univ. of Edinburgh (1995). Theoretical Computer Science, to appear (1996).
-
(1995)
Report ECS-LFCS-95-322
-
-
Kahrs, S.1
Sannella, D.2
Tarlecki, A.3
-
10
-
-
0002743030
-
Constructive algebras I
-
Also in: The Metamathematics of Algebraic Systems. Collected papers 1936-1967 (B. Wells ed.), 148-212. North-Holland (1971)
-
A.I. Mal’cev. Constructive algebras I. Russian Mathematical Surveys 16:77-129 (1961). Also in: The Metamathematics of Algebraic Systems. Collected papers 1936-1967 (B. Wells ed.), 148-212. North-Holland (1971).
-
(1961)
Russian Mathematical Surveys
, vol.16
, pp. 77-129
-
-
Mal’cev, A.I.1
-
11
-
-
0001515002
-
General logic
-
H.-D, Ebbinghaus et al., eds, North-Holland
-
J. Meseguer. General logic. Logic Colloquium’87 (H.-D, Ebbinghaus et al., eds.), 279-329. North-Holland (1989).
-
(1989)
Logic Colloquium’87
, pp. 279-329
-
-
Meseguer, J.1
-
14
-
-
84968513637
-
Computable algebra, general theory and theory of computable fields
-
M. Rabin. Computable algebra, general theory and theory of computable fields. Trans, of the AMS 95:341-360 (1960).
-
(1960)
Trans, of the AMS
, vol.95
, pp. 341-360
-
-
Rabin, M.1
-
17
-
-
0348197295
-
Formal program development in Extended ML for the working programmer
-
Hursley Park. Springer Workshops in Computing
-
D. Sannella. Formal program development in Extended ML for the working programmer. Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park. Springer Workshops in Computing, 99-130 (1991).
-
(1991)
Proc. 3rd BCS/FACS Workshop on Refinement
, pp. 99-130
-
-
Sannella, D.1
-
18
-
-
21144464397
-
Toward formal development of programs from algebraic specifications: Parameterisation revisited
-
D. Sannella, S. Sokołowski and A. Tarlecki. Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica 29:689-736 (1992).
-
(1992)
Acta Informatica
, vol.29
, pp. 689-736
-
-
Sannella, D.1
Sokołowski, S.2
Tarlecki, A.3
-
20
-
-
51649156686
-
Toward formal development of programs from algebraic specifications: Implementations revisited
-
D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica 25:233-281 (1988).
-
(1988)
Acta Informatica
, vol.25
, pp. 233-281
-
-
Sannella, D.1
Tarlecki, A.2
-
22
-
-
84947973909
-
Model-theoretic foundations for formal program development: Basic concepts and motivation
-
Institute of Computer Science PAS, Warsaw
-
D. Sannella and A. Tarlecki. Model-theoretic foundations for formal program development: basic concepts and motivation. ICS PAS Report 791, Institute of Computer Science PAS, Warsaw (1995).
-
(1995)
ICS PAS Report 791
-
-
Sannella, D.1
Tarlecki, A.2
-
25
-
-
0003954902
-
Data Abstraction and the Correctness of Modular Programming
-
Report CST-42-87, Univ. of Edinburgh
-
O. Schoett. Data Abstraction and the Correctness of Modular Programming. Ph.D. thesis; Report CST-42-87, Univ. of Edinburgh (1987).
-
(1987)
Ph.D. thesis
-
-
Schoett, O.1
-
26
-
-
0000931855
-
Effective algebras
-
S. Abramsky, D. Gabbay and T. Maibaum, eds, Oxford Univ. Press
-
V. Stoltenberg-Hansen and J. Tucker. Effective algebras. In: Handbook of Logic in Computer Science, Vol. 4 (S. Abramsky, D. Gabbay and T. Maibaum, eds.), 357-526. Oxford Univ. Press (1995).
-
(1995)
Handbook of Logic in Computer Science
, vol.4
, pp. 357-526
-
-
Stoltenberg-Hansen, V.1
Tucker, J.2
-
28
-
-
0000382802
-
Algebraic specification
-
J. van Leeuwen, ed, North-Holland
-
M. Wirsing. Algebraic specification. In: Handbook of Theoretical Computer Science, Vol. B (J. van Leeuwen, ed.), 675-788. North-Holland (1990).
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 675-788
-
-
Wirsing, M.1
|