MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Institutions Abstract Model Theory for Specification and Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Categorial Programming with Functorial Strength
by Dwight L. Spencer — 171
… model theory for specification and programming. J. A. C. M., 39(1):95--146, January 1992. [14] J. W…
Add To MetaCart

Object-Oriented Design of Information Systems: Theoretical Foundations
by Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amilcar Sernadas, Sprachvorschlage Habilitationsschrift, Tu Braunschweig — 1994
…-138 [GB92] Goguen,J.A.;Burstall,R.: Institutions: Abstract Model Theory for Specification and Programming…
Cited by 8 (4 self) – Add To MetaCart

Specification with Multi-Modal Logics Language Summary
by Cofi Tentative, Document Modalcasl Summary, Till Mossakowski — 2004
…. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal…
Add To MetaCart

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
…: Abstract model theory for specification and programming, Journal of the ACM 39, 1 (1992) 95-146. [Gel88] A…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB