Towards a wide spectrum language to support program specification and program development-Reference-Cited by-同舟云学术

Towards a wide spectrum language to support program specification and program development

Published:1978-12 Issue:12 Volume:13 Page:15-24
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Bauer F. L.¹,Broy M.¹,Gnatz R.¹,Hesse W.¹,Krieg-Brückner B.¹,Partsch H.¹,Pepper P.¹,Wössner H.¹

Affiliation:

1. Institut für Informatik, der Technischen Universität München, München, Germany

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Reference22 articles.

1. {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 {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

2. {Bauer etal 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 1977 {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 1977

3. {Bauer etal 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 1977 {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 1977

4. {Broy 77} M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universität München Institut für Informatik Rep. No. 7701 1977 {Broy 77} M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universität München Institut für Informatik Rep. No. 7701 1977

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using cylindric algebra to support local variables in rely/guarantee concurrency;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

2. Engineering a Theory of Concurrent Programming;Formal Methods and Software Engineering;2018

3. Contracts and Specifications for Functional Logic Programming;Practical Aspects of Declarative Languages;2012

4. Automatic Program Synthesis and Reuse;Software Engineering and Environment;1997

5. Pebble, a kernel language for modules and abstract data types;Information and Computation;1988-02