- {Bauer 73} F. L. Bauer: A Philosophy of Programming. A Course of three Lectures given at the University of London, October 1973 Also in: Proc. Intern. Summer School on Language Hierarchies and Interfaces, Maktoberdorf 1975 Lecture Notes in Computer Science 46. Berlin, Heidelberg, New York: Springer 1976 Google ScholarDigital Library
- {Bauer 76} F. L. Bauer: Programming as an Evolutionary Process. Technische Universität München, Institut für Informatik, Rep. No. 7617, 1976 Also: Proc. 2nd Int. Conf. on Software Engineering, Oct. 1976, San Francisco, Ca., 223--234 Google ScholarDigital Library
- {Bauer et al. 76} F. L. Bauer, H. Partsch, P. Pepper, H. Wössner: Techniques for Program Development. Technische Universität München, Institut für Informatik, Interner Bericht, Sept. 1976 Also in: Software Engineering Techniques. Infotech State of the Art Report 34, 1977Google Scholar
- {Bauer et al. 77a} F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universität München, Institut für Informatik, TUM-INFO-7722, 1977Google Scholar
- {Bauer et al. 77b} F. L. Bauer, H. Partsch, P. Pepper, H. Wössner: Notes on the Project CIP: Outline of a Transformation System. Technische Universität München, Institut für Informatik, TUM-INFO-7729, 1977Google Scholar
- {Broy 77} M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universität München, Institut für Informatik, Rep. No. 7701, 1977Google Scholar
- {Burstall, Darlington 75} R. M. Burstall, J. Darlington: Some Transformations for Developing Recursive Programs. Proc. of the Int. Conf. on Reliable Software, Los Angeles 1975, 465--472 Also (revised version): J. ACM 24, 44--67 (1977) Google ScholarDigital Library
- {Dijkstra 75} E. W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 453--457 (1975) Google ScholarDigital Library
- {Geiselbrechtinger et al. 74} F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig: Language Layers, Portability and Program Structuring. In: W. L. van der Poel, L. Maarsen (eds.): Machine Oriented Higher Level Languages. Amsterdam: North-Holland 1974Google Scholar
- {Gerhart 75} S. L. Gerhart: Correctness-Preserving Program Transformations. Conf. Rec. Second ACM Symp. on Principles of Programming Languages, Jan. 1975, 54--66 Google ScholarDigital Library
- {Gnatz 77} R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universität Mänchen, Institut für Informatik, TUM-INFO-7741, 1977Google Scholar
- {Gnatz, Pepper 77} R. Gnatz, P. Pepper: fusc: An Example in Program Development. Technische Universität München, Institut für Informatik, TUM-INFO-7711, 1977Google Scholar
- {Hoare 73} C. A. R. Hoare: Recursive Data Structures. Stanford University A. I. Lab., STAN-CS-73-400, Oct. 1973 Also: Internat. J. Comput. Information Sci. 4:2, 105--132 (1975)Google Scholar
- {Knuth 74} D. E. Knuth: Structured Programming with go to Statements. Computing Surveys 6:4, 261--301 (1974) Google ScholarDigital Library
- {Krieg-Brückner 78} B. Krieg-Brückner: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation, Technische Universität München, Institut für Informatik, TUM-INFO-7805, 1978Google Scholar
- {Lampson et al. 77} B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, G. J. Popek: Report on the Programming Language Euclid. SIGPLAN Notices 12:2, Feb. 1977 Google ScholarDigital Library
- {Liskov, Zilles 75} B. Liskov, S. Zilles: Specification Techniques for Data Abstraction. IEEE Trans. on Software Eng. 1:1, 7--18 (1975)Google ScholarDigital Library
- {McCarthy 62} J. McCarthy: Towards a Mathematical Science of Computation. Proc. IFIP Congress 62, München. Amsterdam: North-Holland 1962Google Scholar
- {McCarthy 63} J. McCarthy: A Basis for a Mathematical Theory of Computation. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963Google Scholar
- {Partsch, Pepper 77} H. Partsch, P. Pepper: Program Transformation on Different Levels of Programming. Technische Universität München, Institut für Informatik, TUM-INFO-7715, 1977Google Scholar
- {Pepper et al. 77} P. Pepper, F. L. Bauer, B. Krieg-Brückner: Development of Data-Structures. Technische Universität München, Institut für Informatik, Internal Report 1977Google Scholar
- {Scott 76} D. Scott: Data Types as Lattices. SIAM J. on Computing 5, 522--587 (1976)Google ScholarCross Ref
- {Standish et al. 76} T. A. Standish, D. C. Harriman, D. F. Kibler, J. M. Neighbors: Improving and Refining Programs by Program Manipulation. Proc. 1976 ACM Annual Conf., Oct. 1976, 509--516 Google ScholarDigital Library
- {Steinbrüggen 77} R. Steinbrüggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universität München, Institut für Informatik, TUM-INFO-7714, 1977Google Scholar
Index Terms
- Towards a wide spectrum language to support program specification and program development
Recommendations
Software Environment Support for Integrated Formal Program Specification and Development
APSEC '95: Proceedings of the Second Asia Pacific Software Engineering ConferenceFormal program development has gained widespread academic interest as a rigorous software engineering technique. One of the main hurdles for the wider IT industry in adopting these formal techniques is a lack of tools to support their use in combination ...
Program specification and development in standard ML
POPL '85: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languagesAn attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with modules is extended by allowing axioms in module interface specifications and in place of code. The resulting specification ...
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
Special issue on computer security and privacyIn carrying out SDC's Formal Development Method, one writes a specification of a system under design in the Ina Jo™ specification language and proves that the specification meets the requirements of the system. This paper develops an abstract machine ...
Comments