Programming with Invariants

The use of a restricted class of invariants as part of a language supports both the accurate synthesis of high-level programs and their translation into efficient implementations.

[1]  Robert E. Tarjan,et al.  A Unified Approach to Path Problems , 1981, JACM.

[2]  Robert Paige,et al.  Transformational programming: applications to algorithms and systems , 1983, POPL '83.

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

[4]  Allen Goldberg,et al.  Stream processing , 1984, LFP '84.

[5]  Alfred V. Aho,et al.  The design and analysis of algorithms , 1974 .

[6]  David Gries,et al.  A new notion of encapsulation , 1985, ACM SIGPLAN Notices.

[7]  Ken Kennedy,et al.  An algorithm for reduction of operator strength , 1977, Commun. ACM.

[8]  Robert Paige,et al.  A Transformational Framework for the Automatic Control of Derived Data , 1981, VLDB.

[9]  Friedrich L. Bauer,et al.  Sequential formula translation , 1960, CACM.

[10]  Robert Paige,et al.  Finite Differencing of Computable Expressions , 1982, TOPL.

[11]  James C. King,et al.  JANUS: An interactive system for document composition , 1981 .

[12]  James C. King,et al.  JANUS: An interactive system for document composition , 1981, SIGPLAN SIGOA Symposium on Text Manipulation.

[13]  Amelia C. Fong.  Inductively computable constructs in very high level languages , 1979, POPL.

[14]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[15]  Jay Earley,et al.  High Level Iterators and a Method for Automatically Designing Data Structure Representation , 1976, Comput. Lang..

[16]  Robert Paige,et al.  Supercompilers - Extended Abstract , 1984 .

[17]  Jay Earley.  High level operations in automatic programming , 1974 .

[18]  M. Sintzoff,et al.  Understanding and Expressing Software Construction , 1984 .

[19]  Jeffrey D. Ullman,et al.  Induction variables in very high level languages , 1976, POPL.

[20]  Edmond Schonberg,et al.  Programming by Refinement, as Exemplified by the SETL Representation Sublanguage , 1979, TOPL.

[21]  R. Bellman.  Dynamic programming. , 1957, Science.