Representations, Hierarchies, and Graphs of Institutions (1996)

View PDF

Download Links

by Till Mossakowski
Citations:6 - 4 self

Documents Related by Co-Citation

515 Institutions: Abstract model theory for specification and programming – J Goguen, R Burstall - 1992
214 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
9 Pushouts of order-sorted algebraic specifications – Anne Haxthausen, Friederike Nickl - 1996
179 General Logics – J Meseguer - 1989
282 An initial algebra approach to the specification, correctness, and implementation of abstract data types – J Goguen, J Thatcher, E Wagner - 1978
94 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988