Hoffmann CO`Donnell MKennedy KVan Deusen MLandweber L(1984)Implementation of an interpreter for abstract equationsProceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/800017.800522(111-121)Online publication date: 15-Jan-1984
https://dl.acm.org/doi/10.1145/800017.800522
Barstow DDuffey RSmoliar SVestal SOhno YBasili VEnomoto HKobayashi KYeh R(1982)An automatic programming system to support an experimental scienceProceedings of the 6th international conference on Software engineering10.5555/800254.807778(360-366)Online publication date: 13-Sep-1982
https://dl.acm.org/doi/10.5555/800254.807778
Smoliar SBranstad MZelkowitz MSquires S(1982)Approaches to executable specificationsProceedings of the workshop on Rapid prototyping10.1145/1006259.1006285(155-159)Online publication date: 19-Apr-1982
https://dl.acm.org/doi/10.1145/1006259.1006285
Show More Cited By

Recommendations

Program specification and development in standard ML
POPL '85: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

An 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 wide spectrum language to support program specification and program development
Informality in Program Specifications

This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the ...

Comments

Information & Contributors

Information

Published In

Program Construction, International Summer Schoo

July 1978

645 pages

ISBN:354009251X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 26 July 1978

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hoffmann CO`Donnell MKennedy KVan Deusen MLandweber L(1984)Implementation of an interpreter for abstract equationsProceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/800017.800522(111-121)Online publication date: 15-Jan-1984
https://dl.acm.org/doi/10.1145/800017.800522
Barstow DDuffey RSmoliar SVestal SOhno YBasili VEnomoto HKobayashi KYeh R(1982)An automatic programming system to support an experimental scienceProceedings of the 6th international conference on Software engineering10.5555/800254.807778(360-366)Online publication date: 13-Sep-1982
https://dl.acm.org/doi/10.5555/800254.807778
Smoliar SBranstad MZelkowitz MSquires S(1982)Approaches to executable specificationsProceedings of the workshop on Rapid prototyping10.1145/1006259.1006285(155-159)Online publication date: 19-Apr-1982
https://dl.acm.org/doi/10.1145/1006259.1006285
Smoliar S(1982)Approaches to executable specificationsACM SIGSOFT Software Engineering Notes10.1145/1006258.10062857:5(155-159)Online publication date: 19-Apr-1982
https://dl.acm.org/doi/10.1145/1006258.1006285

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

Program specification and development in standard ML

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

Informality in Program Specifications

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations