Abstract
The benefits of formal approaches to program development are widely recognized. However, most programming environments have taken little advantage of them. The problem of incorporating formalism into programming environments is discussed in light of two often-competing concerns: maintaining mathematical rigor and alleviating complication in the programming of large systems. The PegaSys system [1,2] represents a practical balance between the two. It deals with an interesting class of program properties that are easy to describe formally and to reason about mechanically. Systems such as PegaSys offer the possibility of increased use of formal methods in programming environments.
This research was supported by the Office of Naval Research under Contract N00014-83-C-0300.
Preview
Unable to display preview. Download preview PDF.
References
M. Moriconi and D.F. Hare. The PegaSys system: Pictures as formal documentation of large programs. To appear in ACM Transactions on Programming Languages and Systems.
M. Moriconi and D.F. Hare. Visualizing program designs through PegaSys. IEEE Computer, 18(8):72–85, August 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moriconi, M. (1987). PegaSys and the role of logic in programming environments. In: Conradi, R., Didriksen, T.M., Wanvik, D.H. (eds) Advanced Programming Environments. Lecture Notes in Computer Science, vol 244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17189-4_88
Download citation
DOI: https://doi.org/10.1007/3-540-17189-4_88
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17189-8
Online ISBN: 978-3-540-47347-3
eBook Packages: Springer Book Archive