A. Verdejo and N. Mart-Oliet. Executable structural operational semantics in Maude. Manuscript, Dto. Sistemas Informaticos y Programacion, Universidad Complutense, Madrid, August 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) (Correct)
No context found.
A. Verdejo and N. Mart-Oliet. Executable structural operational semantics in Maude. Manuscript, Dto. Sistemas Informaticos y Programacion, Universidad Complutense, Madrid, August 2003.
Formal JVM Code Analysis in JavaFAN - Azadeh Farzan Jose (2004) (1 citation) (Correct)
No context found.
A. Verdejo and N. Mart-Oliet. Executable structural operational semantics in Maude. Manuscript, Dto. Sistemas Informaticos y Programacion, Universidad Complutense, Madrid, August 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC