An Implementation-Oriented Semantics for Module Composition (1997)

by Joseph Goguen , Will Tracz
Citations:32 - 14 self

Documents Related by Co-Citation

474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
43 LILEANNA: A Parameterized Programming Language,” ICSR – W Tracz - 1993
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
119 Parameterized Programming – J A Goguen - 1984
168 General logics – José Meseguer - 1989
81 Initiality, Induction and Computability – J Meseguer, J A Goguen - 1985
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990
5 SpecWare language manual, version 2.0 – Y V Srinivas, Richard Jullig - 1996
70 The logic of inexact concepts – J A Goguen - 1969
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
930 Categories for the Working Mathematician – S Mac Lane - 1971
20 Grothendieck institutions. Applied Categorical Structures, 10(4):383–402, 2002. Preliminary version appeared as – Răzvan Diaconescu - 2000
26 Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages – Razvan Diaconescu - 1996
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
21 An introduction to OBJ: A language for writing and testing software – J A Goguen, J Tardo - 1979
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980