Skip header Section
Skip Bibliometrics Section
Programming Methodology: A Collection of Articles by Members of IFIP WG 2.3December 1978
- Author:
- David Gries
Abstract
No abstract available.
Cited By
- Haigh T (2019). Assembling a prehistory for formal methods: a personal view, Formal Aspects of Computing, 31:6, (663-674), Online publication date: 1-Dec-2019.
- Kiselyov O Typed tagless final interpreters Proceedings of the 2010 international spring school conference on Generic and Indexed Programming, (130-174)
- Lehman M and Ramil J (2019). Software Evolution and Software Evolution Processes, Annals of Software Engineering, 14:1-4, (275-309), Online publication date: 10-Dec-2002.
Lehman M and Ramil J Evolution in software and related areas Proceedings of the 4th International Workshop on Principles of Software Evolution, (1-16)- Liskov B and Wing J Behavioural subtyping using invariants and constraints Formal methods for distributed processing, (254-280)
- Tennent R and Ghica D (2000). Abstract Models of Storage, Higher-Order and Symbolic Computation, 13:1-2, (119-129), Online publication date: 1-Apr-2000.
- Wing J and Ockerbloom J (2000). Respectful Type Converters, IEEE Transactions on Software Engineering, 26:7, (579-593), Online publication date: 1-Jul-2000.
- Sitaraman M, Weide B and Ogden W (1997). On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations, IEEE Transactions on Software Engineering, 23:3, (157-170), Online publication date: 1-Mar-1997.
- Hansen P Monitors and Concurrent Pascal History of programming languages---II, (121-172)
- Vandevoorde M and Guttag J Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, (121-127)
- Vandevoorde M and Guttag J (2019). Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity, ACM SIGSOFT Software Engineering Notes, 19:5, (121-127), Online publication date: 1-Dec-1994.
- Hansen P Monitors and concurrent Pascal The second ACM SIGPLAN conference on History of programming languages, (1-35)
- Hansen P (2019). Monitors and concurrent Pascal, ACM SIGPLAN Notices, 28:3, (1-35), Online publication date: 1-Mar-1993.
- Tech Correspondence C (1990). Technical correspondence, Communications of the ACM, 33:5, (584-586), Online publication date: 1-May-1990.
- Wing J (2019). A Specifier's Introduction to Formal Methods, Computer, 23:9, (8-23), Online publication date: 1-Sep-1990.
- Bentley J and Gries D (1987). Programming pearls, Communications of the ACM, 30:4, (284-290), Online publication date: 1-Apr-1987.
- Herlihy M and Wing J Axioms for concurrent objects Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (13-26)
- Bergstra J and Tucker J (1979). On the adequacy of finite equational methods for data type specification, ACM SIGPLAN Notices, 14:11, (13-18), Online publication date: 1-Nov-1979.