Algebraic methods for specification and formal development of programs

Authors:
Donald Sannella;Andrzei Tarlecki
Affiliations:
Laboratory for Foundations of Computer Science, University of Edinburgh;Institute of Informatics, Warsaw University and, Institute of Computer Science, Polish Academy of Sciences, Warsaw
Venue:
ACM Computing Surveys (CSUR)
Year:
1999

Extended ML: an institution-independent framework for formal program development

Proceedings of a tutorial and workshop on Category theory and computer programming
Toward formal development of programs from algebraic specifications: parameterisation revisited

Acta Informatica
Manifest types, modules, and separate compilation

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The definition of extended ML: a gentle introduction

Theoretical Computer Science - Special issue: algebraic development techniques
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?

MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science

Hi-index	0.00