Programming Methodology

[1]  Ellis Horowitz,et al.  Abstract data types and software validation , 1978, CACM.

[2]  Ellis Horowitz,et al.  Some extensions to algebraic specifications , 1977, Language Design for Reliable Software.

[3]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[4]  John Darlington,et al.  A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[5]  David Lorge Parnas,et al.  Response to undesired events in software systems , 1976, ICSE '76.

[6]  S. Owicki,et al.  Verifying properties of parallel programs: an axiomatic approach , 1976, CACM.

[7]  GriesDavid,et al.  Some ideas on data types in high-level languages , 1977 .

[8]  David Lorge Parnas,et al.  Abstract types defined as classes of variables , 1976, Conference on Data: Abstraction, Definition and Structure.

[9]  John Darlington,et al.  A system which automatically improves programs , 1973, Acta Informatica.

[10]  Mary Shaw,et al.  Abstraction and verification in alphard , 1976 .

[11]  David Lorge Parnas,et al.  Use of the concept of transparency in the design of hierarchically structured systems , 1975, CACM.

[12]  John E. Shore,et al.  On the need for fewer restrictions in changing compile-time environments , 1975, SIGP.

[13]  James J. Horning,et al.  Language design for programming reliability , 1975, IEEE Transactions on Software Engineering.

[14]  Robert S. Boyer,et al.  Proving Theorems about LISP Functions , 1973, JACM.

[15]  Stephen N. Zilles,et al.  Programming with abstract data types , 1974, SIGPLAN Symposium on Very High Level Languages.

[16]  Robert Balzer,et al.  Domain-Independent Automatic Programming , 1974, IFIP Congress.

[17]  Rod M. Burstall,et al.  The algebraic theory of recursive program schemes , 1974, Category Theory Applied to Computation and Control.

[18]  Jean-Jacques Lévy,et al.  Mechanizable Proofs about Parallel Processes , 1973, SWAT.

[19]  D. L. Parnas,et al.  The design of the virtual memory aspects of a virtual machine , 1973, Workshop on Virtual Computer Systems.

[20]  David Gries,et al.  An introduction to programming: A structured approach using PL/1 and PL/C , 1973 .

[21]  Cliff B. Jones,et al.  The formal development of an algorithm , 1973 .

[22]  Marvin Minsky,et al.  Form and Content in Computer Science , 1972 .

[23]  Jeffrey S. Rohl,et al.  A note on compiling arithmetic expressions , 1972, Comput. J..

[24]  O. H. Lowry.  Academic press. , 1972, Analytical chemistry.

[25]  Ole-Johan Dahl,et al.  Coroutine sequencing in a block structured environment , 1971 .

[26]  Cliff B. Jones,et al.  A Run-Time Mechanism for Referencing Variables , 1971, Inf. Process. Lett..

[27]  Cliff B. Jones,et al.  Proving correctness of implementation techniques , 1971, Symposium on Semantics of Algorithmic Languages.

[28]  Cliff B. Jones,et al.  The block concept and some possible implementations, with proofs of equivalence , 1970 .

[29]  R. J. Ord-Smith.  Introduction to Algol , 1968, Nature.

[30]  Malcolm C. Harrison,et al.  SHARER, a time sharing system for the CDC 6600 , 1967, Commun. ACM.

[31]  David Lorge Parnas,et al.  SODAS and a methodology for system design , 1967, AFIPS '67 (Fall).

[32]  Allen Newell,et al.  GENERALITY AND GPS , 1967 .

[33]  C. A. R. Hoare,et al.  A contribution to the development of ALGOL , 1966, CACM.