A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Free constructions in algebraic institutionsPublished by Springer Nature ,2006
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical Computer Science, 1984
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Building specifications in an arbitrary institutionPublished by Springer Nature ,1984
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- A Categorical Approach to General SystemsPublished by Springer Nature ,1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Semantics of computationPublished by Springer Nature ,1975
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974