loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03)
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
Mont Saint-Michel, France
June 24-June 26
ISBN: 0-7695-1923-7
ASCII Text
x 
 
Jose Meseguer, "Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design," Formal Methods and Models for Co-Design, ACM/IEEE International Conference on, pp. 3, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/MEMCOD.2003.1210081,
author = {Jose Meseguer},
title = {Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design},
journal ={Formal Methods and Models for Co-Design, ACM/IEEE International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1923-7},
pages = {3},
doi = {http://doi.ieeecomputersociety.org/10.1109/MEMCOD.2003.1210081},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Formal Methods and Models for Co-Design, ACM/IEEE International Conference on
TI - Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
SN - 0-7695-1923-7
SP
EP
A1 - Jose Meseguer,
PY - 2003
KW - null
VL - 0
JA - Formal Methods and Models for Co-Design, ACM/IEEE International Conference on
ER -
 
Jose Meseguer, University of Illinois at Urbana-Champaign
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of system designs based on programming languages on the other. However, not all such logics are equally well suited for the task. This paper gives some requirements that seem important for a computational logic to be suitable in practice, and discusses the experience with rewriting logic, its Maude language implementation, and its formal tool environment, concluding that they seem to meet well those requirements.
Citation:
Jose Meseguer, "Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design," memocode, pp.3, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE?03), 2003
Usage of this product signifies your acceptance of the Terms of Use.