Extensions and foundations of object-oriented programming

Authors:
Joseph A. Goguen;José Meseguer
Affiliations:
SRI International, Menlo Park, CA and Center for the Study of Language and Information, Stanford University;SRI International, Menlo Park, CA and Center for the Study of Language and Information, Stanford University
Venue:
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Year:
1986

Logic for problem-solving

Logic for problem-solving
A study in the foundations of programming methodology: specifications, institutions, charters and parchments

Proceedings of a tutorial and workshop on Category theory and computer programming
Reusing and Interconnecting Software Components

Computer
Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Introducing Institutions

Proceedings of the Carnegie Mellon Workshop on Logic of Programs

Efficient implementation of lattice operations

ACM Transactions on Programming Languages and Systems (TOPLAS)
A model for a reflective object-oriented language

OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Specifying concurrent objects

OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming

Hi-index	0.00