Search CORE

48 research outputs found

Analogy categories, virtual machines, and structured programming

Author: A.W. Holt
B. Elspas
C.L. Chang
D. Scott
G.J. Popek
J.A. Goguen
J.A. Goguen
J.M. Foster
L.S. Bobrow
M.A. Arbib
O.J. Dahl
R. Milner
R.P. Goldberg
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Distributed transactions for reliable systems

Author: Alfred Z. Spector
Anonymous
Banatre J.P.
Dahl O.J.
Daniel Duchamp
Daniels Dean S.
Date C.J.
Dean Daniels
Gray James N.
Gray James N.
Jeffrey L. Eppinger
Jensen E.D.
Joy William
Lampson Butler W.
Liskov B.
Liskov Barbara
Liskov Barbara
Moss J. Eliot B.
Nelson Bruce Jay
Overview March Perq System
Randy Pausch
Reed David P.
Reference
Schwarz Peter M.
Spector Alfred Z.
Watson R.W.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Service Oriented Programming: A New Paradigm of Software Reuse

Author: K.J. Sullivan
O.J. Dahl
W. Emmerich
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Visualization '91 workshop report

Author: Brodlie K.W.
Charles Hansen
Dahl O.J.
David M. Butler
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

ACM forum

Author: Blanc
Cotton
Dahl O.J.
McBee W.C.
Robert L. Ashenhurst
Smoliar S.W.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Managing the development of reliable software

Author: Brown J.R.
Brown J.R.
Dahl O.J.
Liskov B.H.
R. D. Williams
Vick C.R.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

On the logical structure of census and survey questionnaires

Author: A. Hunt
C. Picard
Ioana Schiopu Kratina
J. Bethlehem
M. Sirkin
O.J. Dahl
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Open Systems Dependability

Author: Autonomic Computing
Dahl O.J.
Huebscher M.C.
Humphrey W.
Kano T.
Leveson N.G.
Tokoro M.
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Overview of the syntax processor generator SYNPROC

Author: A. Fernandez
DAHL O.J.
J. C. Heliard
J. D. Ichbiah
LALONDE W.R.
ROSSIENSKY J.P.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Experiences with a simple structured programming language

Author: Albert J. Turner
Basili V.R.
Basili V.R. SIMPL-X.
Dahl O.J.
Hoare C.A.R.
Victor R. Basili
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

core

core