Philipp W. Kutter  Home/Search
Context Related
| tik.ee.ethz.ch/pub/p...TIKReport136.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: tik.ee.ethz.ch/...submitIt=search (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: State Machines Philipp W. Kutter Applied Formal Methods Institute AG and Institute TIK, ETH Zurich June 5, 2002 1 (Update)
Context of citations to this paper: More
...use the Montages formalism [14] for modeling mpC expressions semantics. The formal semantics of the visual Montages formalism is based on Xasm [4,13], a programming language, based on Gurevich s Abstract State Machines [8] and Tree Finite State Machines, a concept recently...
Cited by: More
Coverage-driven Automated Compiler Test Suite Generation - Kalinov, Kossatchev.. (2003) (Correct)
Similar documents (at the sentence level):
5.3%: Generating an Action Notation Environment from.. - Anlauff.. (2001) (Correct)
Active bibliography (related documents): More All
0.7: Composition and Refinement of Evolving Specifications - Anlauff, Pavlovic, Smith (Correct)
0.7: Montages: Unified Static and Dynamic Semantics of.. - Kutter, Pierantonio (1996) (Correct)
0.6: An Abstract State Machine Primer - Huggins, Wallace (2002) (Correct)
Similar documents based on text: More All
0.7: Xasm - An Extensible, Component-Based Abstract State Machines.. - Anlauff (Correct)
0.6: Enhanced Control Flow Graphs in Montages - Anlauff, Kutter, Pierantonio (1999) (Correct)
0.6: Dynamic Semantics for Language-Based Programming.. - Anlauff.. (1999) (Correct)
BibTeX entry: (Update)
P. Kutter. The Formal Definition of Anlauff's extensible Abstract State Machines. TIK-Report 136, Swiss Federal Institute of Technology (ETH) Zurich, June 2002. A formal denotational semantics for XASM [4]. http://citeseer.ist.psu.edu/kutter02formal.html More
@misc{ kutter02formal,
author = "P. Kutter",
title = "The Formal Definition of Anlauff's extensible Abstract State Machines",
text = "P. Kutter. The Formal Definition of Anlauff's extensible Abstract State
Machines. TIK-Report 136, Swiss Federal Institute of Technology (ETH) Zurich,
June 2002. A formal denotational semantics for XASM [4].",
year = "2002",
url = "citeseer.ist.psu.edu/kutter02formal.html" }
Citations (may not include all citations):1074 The Definition of StandardML (context) - Milner, Tofte et al. - 1990
177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
149 Logic and the Challenge of Computer Science (context) - Gurevich - 1988
84 Evolving Algebras (context) - Gurevich - 1993
23 Sequential abstract state machines capture sequential algori.. (context) - Gurevich - 2000
23 Der wahrheitsbegriff in den formalisierten sprachen (context) - Tarski - 1936
19 Bulletin of European Association for Theoretical Computer Sc.. (context) - Gurevich, Thesis - 1999
15 Component-Based Abstract State Machines Language (context) - Anlauff, Extensible
14 Abstract state machines (context) - Borger, Huggins - 1988
13 with an application to the Entscheidungs problem (context) - Turing, numbers - 1936
12 Multi-Paradigm Design for C (context) - Coplien - 1999
10 Abstract state machines capture parallel algorithms (context) - Blass, Gurevich - 2001
9 Programming with variable functions - Odersky - 1998
8 Composition and submachine concepts for sequential ASMs - Borger, Schmid - 2000
6 Composition and refinement of behavioral specifications - Pavlovic, Smith - 2001
5 Series in Computer Science and Artificial Intelligence (context) - Borger, Rosenzweig et al. - 1995
5 Towards comprehensive tool support for abstract state machin.. (context) - Castillo - 1999
4 Guarded transitions in evolving specifications - Pavlovic, Smith - 2002
3 State transitions modeled as refinements - Kutter - 1996
3 Specifying complex and structured systems with evolving alge.. - May - 1997
3 American Mathematical Society (context) - Gurevich, thesis - 1985
2 An ASM dynamic semantics for standard ML - Cater, Huggins
2 Abstract State Machines: Theory and Applications (context) - Gurevich, Kutter et al. - 1912
2 Integration of the Statecharts in Specware and Aspects of Co.. (context) - Kutter - 1996
1 The xasm open source project (context) - Anlauff, Kutter - 2002
1 Presentation at the Second Cannes ASM Workshop (context) - Anlauff, Kutter et al. - 1998
1 Delft University of Technology (context) - Visser, Master's - 1996
ftp://ftp.first.gmd.de/pub/gemmex/Aslan
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