Formal Interoperability (1998)

View PDF

Download Links

by José Meseguer
Citations:13 - 3 self

Active Bibliography

A Reflective Framework for Formal Interoperability – SRI, Computer Systems Laboratory, Department of Computer Science, Stanford University - 1998
37 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
194 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
1727 Aspect-oriented programming – Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, John Irwin - 1997
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1230 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990