Ali Habibi and Sofiene Tahar Department of Electrical and Computer...  Home/Search
Context
Related
| univparis12.fr/lacl/...habibi05AsmL.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: univparis12.fr/...asm05contents (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: AsmL is a novel executable specification language based on the theory of Abstract State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs. In this paper, we present a proven complete small-step trace-based operational semantics of the main parts of AsmL. Such a semantics provides precise and non ambiguous definitions of AsmL. It is very useful to guarantee a unique implementation of the language and interpretation of its behavior. (Update)
Active bibliography (related documents): More All
0.5: Embedding and Verification of PSL using AsmL - Amjad Gawanmeh Ali (Correct)
0.1: Automatically Proving the Correctness of Compiler.. - Lerner, Millstein.. (2002) (Correct)
0.1: Modular Static Program Analysis - Cousot, Cousot (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-asml,
author = "Ali Habibi And",
title = "AsmL Semantics in Fixpoint",
url = "citeseer.ist.psu.edu/739579.html" }
Citations (may not include all citations):312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
20 Two semantic models of object-oriented languages (context) - Kamin, Reddy - 1994
17 Constructive design of a hierarchy of semantics of a transit.. - Cousot - 2002
8 Systematic design of program transformation frameworks by ab.. - Cousot, Cousot - 2002
2 the transformation of SystemC to AsmL using abstract interpr.. (context) - Habibi, Tahar - 2005
1 Microsoft Research Tech (context) - Gurevich, Rossman et al. - 2004
1 Design for verification of SystemC transaction level models (context) - Habibi, Tahar - 2005
1 Accellera property specification language reference manual (context) - Organization - 2004
1 Design for verification of a PCI bus in SystemC (context) - Oumalou, Habibi et al. - 2004
1 Anhalyse Statique Modulaire de Langages a Objets (context) - Logozzo - 2004
Documents on the same site (http://www.univ-paris12.fr/lacl/dima/asm05/asm05-contents.html): More
A Modular Design for the Common Language Runtime (CLR) Architecture - Fruja (2005) (Correct)
On Implementations of Instantaneous Actions Real-Time ASM by .. - Cohen, Slissenko (2005) (Correct)
20 Years after A New Thesis: The Diversification of.. - Danièle.. (2005) (Correct)
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