-
1
-
-
0016437462
-
Proving theorems about LISP functions
-
January
-
Boyer, R.S., and Moore, J.S. Proving theorems about LISP functions. J. ACM 22, 1 (January 1975), 129-144.
-
(1975)
J. ACM
, vol.22
, Issue.1
, pp. 129-144
-
-
Boyer, R.S.1
Moore, J.S.2
-
3
-
-
0016667740
-
Abstract data-types as initial algebras and correctness of data representations
-
May
-
Goguen, J.A., Thatcher, J.W., Wagner, E.G., and Wright, J.B. Abstract data-types as initial algebras and correctness of data representations. Proc. Conf. on Comptr. Graphics, Pattern Recognition and Data Structure, May 1975.
-
(1975)
Proc. Conf. on Comptr. Graphics, Pattern Recognition and Data Structure
-
-
Goguen, J.A.1
Thatcher, J.W.2
Wagner, E.G.3
Wright, J.B.4
-
4
-
-
0016486626
-
An interactive program verification system
-
March
-
Good, D.I., London, R.L., and Bledsoe, W.W. An interactive program verification system. IEEE Trans. Software Eng. SE-1, 1 (March 1975), 56-67.
-
(1975)
IEEE Trans. Software Eng
, vol.SE-1
, Issue.1
, pp. 56-67
-
-
Good, D.I.1
London, R.L.2
Bledsoe, W.W.3
-
5
-
-
3242834667
-
The design of data type specifications
-
R.T. Yeh, Ed., Prentice-Hall, Englewood Cliffs, N.J.
-
Guttag, J.V., Horowitz, E., and Musser, D. The design of data type specifications. In Current Trends in Programming Methodology, R.T. Yeh, Ed., Prentice-Hall, Englewood Cliffs, N.J., 1978, pp. 60-79.
-
(1978)
Current Trends in Programming Methodology
, pp. 60-79
-
-
Guttag, J.V.1
Horowitz, E.2
Musser, D.3
-
7
-
-
0017504316
-
Abstract data types and the development of data structures
-
June
-
Guttag, J.V. Abstract data types and the development of data structures. Comm. ACM 20, 6 (June 1977), 396-404.
-
(1977)
Comm. ACM
, vol.20
, Issue.6
, pp. 396-404
-
-
Guttag, J.V.1
-
8
-
-
0004988782
-
The algebraic specification of abstract data types
-
Guttag, J.V., and Homing, J.J. The algebraic specification of abstract data types. Acta Informatica 10, 1 (1978), 27-52.
-
(1978)
Acta Informatica
, vol.10
, Issue.1
, pp. 27-52
-
-
Guttag, J.V.1
Homing, J.J.2
-
9
-
-
0015482118
-
Proof of correctness of data representations
-
Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 4 (1972), 271-281.
-
(1972)
Acta Informatica
, vol.4
, pp. 271-281
-
-
Hoare, C.1
-
10
-
-
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 Informatica 2 (1973), 335-355.
-
(1973)
Acta Informatica
, vol.2
, pp. 335-355
-
-
Hoare, C.1
Wirth, N.2
-
11
-
-
0001580561
-
Recursive data structures
-
June
-
Hoare, C.A.R. Recursive data structures. Int. J. Comptr. and Inform. Sci. 4, 2 (June 1975), 105-132.
-
(1975)
Int. J. Comptr. and Inform. Sci
, vol.4
, Issue.2
, pp. 105-132
-
-
Hoare, C.1
-
13
-
-
84976737650
-
The SCRATCHPAD language
-
Proc. of ACM SIGPLAN Symp. on Very High Level Languages April
-
Jenks, R.D. The SCRATCHPAD language. Proc. of ACM SIGPLAN Symp. on Very High Level Languages. SIGPLAN Notices 9, 4 (April 1974), 101-111.
-
(1974)
SIGPLAN Notices
, vol.4
, Issue.9
, pp. 101-111
-
-
Jenks, R.D.1
-
14
-
-
0017526283
-
Abstraction mechanisms in CLU
-
Aug
-
Liskov, B.H., Snyder, A., Atkinson, R., and Shaffert, C. Abstraction mechanisms in CLU. Comm. ACM 20, 8 (Aug. 1977), 564-576.
-
(1977)
Comm. ACM
, vol.20
, Issue.8
, pp. 564-576
-
-
Liskov, B.H.1
Snyder, A.2
Atkinson, R.3
Shaffert, C.4
-
16
-
-
77956967645
-
Basis for a mathematical theory of computation
-
P. Braffort and D. Hirchberg, Eds., North-Holland Publ. Co., Amsterdam
-
McCarthy, J. Basis for a mathematical theory of computation. In Computer Programming and Formal Systems, P. Braffort and D. Hirchberg, Eds., North-Holland Publ. Co., Amsterdam, 1963, pp. 33-70.
-
(1963)
Computer Programming and Formal Systems
, pp. 33-70
-
-
McCarthy, J.1
-
17
-
-
0017788945
-
data type verification system based on rewrite rules
-
Austin, Tex., Nov
-
Musser, D.R. A data type verification system based on rewrite rules. Proc. of Sixth Texas Conf. of Comput. Syst., Austin, Tex., Nov. 1977.
-
(1977)
Proc. of Sixth Texas Conf. of Comput. Syst
-
-
Musser, D.1
-
18
-
-
84910293335
-
Protected program modules in SIMULA 67
-
FOAP Rep. No. C8372-M3(E5), Research Inst, of National Defense, Stockholm
-
Palme, J. Protected program modules in SIMULA 67. FOAP Rep. No. C8372-M3(E5), Research Inst, of National Defense, Stockholm, 1973.
-
(1973)
-
-
Palme, J.1
-
19
-
-
0039232724
-
Information distribution aspects of design methodology
-
North-Holland Pub. Co., Amsterdam
-
Parnas, D. L. Information distribution aspects of design methodology. Information Processing 71, 1 (1972), North-Holland Pub. Co., Amsterdam, 339-344.
-
(1972)
Information Processing
, vol.71
, Issue.1
, pp. 339-344
-
-
Parnas, D.L.1
-
20
-
-
0016459487
-
The verification and synthesis of data structures
-
Spitzen, J., and Wegbreit, B. The verification and synthesis of data structures. Acta Informatica 4 (1975), 127-144.
-
(1975)
Acta Informatica
, vol.4
, pp. 127-144
-
-
Spitzen, J.1
Wegbreit, B.2
-
21
-
-
84914865167
-
Data structures: an axiomatic approach
-
BBN Rep. No. 2639, Bolt Beranek and Newmann, Cambridge, Mass
-
Standish, T.A. Data structures: an axiomatic approach. BBN Rep. No. 2639, Bolt Beranek and Newmann, Cambridge, Mass., 1973.
-
(1973)
-
-
Standish, T.A.1
-
22
-
-
20144379476
-
Automatic verification of programs with complex data structures
-
Ph.D. Th., Comptr. Sci. Dept., Stanford, U., Rep. No. STAN-CS-76-552, Feb
-
Suzuki, N. Automatic verification of programs with complex data structures. Ph.D. Th., Comptr. Sci. Dept., Stanford, U., Rep. No. STAN-CS-76-552, Feb. 1976.
-
(1976)
-
-
Suzuki, N.1
-
23
-
-
0016942875
-
Proving properties of complex data structures
-
April
-
Wegbreit, B., and Spitzen, J. Proving properties of complex data structures. J. ACM 23, 2 (April 1976), 389-396.
-
(1976)
J. ACM
, vol.23
, Issue.2
, pp. 389-396
-
-
Wegbreit, B.1
Spitzen, J.2
-
24
-
-
0017268457
-
An introduction to the construction and verification of Alphard programs
-
December
-
Wulf, W.A., London, R.L., and Shaw, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Software Eng. SE-2, 4 (December 1976), 253-265.
-
(1976)
IEEE Trans. Software Eng
, vol.SE-2
, Issue.4
, pp. 253-265
-
-
Wulf, W.A.1
London, R.L.2
Shaw, M.3
-
25
-
-
33745432591
-
Abstract specifications for data types
-
IBM Res. Lab., San Jose, Calif
-
Zilles, S. N. Abstract specifications for data types. IBM Res. Lab., San Jose, Calif., 1975.
-
(1975)
-
-
Zilles, S.N.1
|