Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Extensions and foundations of object-oriented programming
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Presentations for Abstract Context Institutions
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Combining Logics: Parchments Revisited
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Category localization semantics for specification refinements
Annals of Mathematics and Artificial Intelligence
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Intermodeling, queries, and kleisli categories
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |