[an error occurred while processing this directive]
[an error occurred while processing this directive]
"menubutton">WWW/FTP Sites
e">Phillipp W. Kutter,
and Alfonso Pierantonio,
"Enhanced Control Flow Graphs in Montages"
Matthias Anlauff,
Phillipp W. Kutter,
and Alfonso Pierantonio,
"Formal Aspects of and Development Environments for Montages"
Matthias Anlauff,
Phillipp W. Kutter,
and Alfonso Pierantonio,
"Tool Support for Language Design and Prototyping with Montages"
Matthias Anlauff,
Phillipp W. Kutter,
Alfonso Pierantonio,
and Lothar Thiele,
"Generating an Action Notation Environment from Montages Descriptions"
Lourdes Araujo,
"Correctness proof of a Distributed Implementation of Prolog
by means of Abstract State Machines"
Egon Börger,
"The ASM Refinement Method"
Michael Barnett,
Egon Börger,
Yuri Gurevich,
Wolfram Schulte,
and Margus Veanes,
"Using Abstract State Machines at Microsoft: A Case Study"
Michael Barnett,
Colin Campbell,
Wolfram Schulte,
and Margus Veanes,
"Specification, Simulation and Testing of COM Components using
Abstract State Machines"
Michael Barnett
and Wolfram Schulte,
"The ABCs of Specification: AsmL, Behavior, and Components"
Michael Barnett
and Wolfram Schulte,
"Contracts, Components, and their Runtime
Verification on the .NET Platform"
Michael Barnett
and Wolfram Schulte,
"Spying on Components: A Runtime Verification Technique"
Danièle Beauquier
and Anatol Slissenko,
"The Railroad Crossing Problem: Towards Semantics of Timed Algorithms
and their Model-Checking in High-Level Languages"
Danièle Beauquier
and Anatol Slissenko,
"On Semantics of Algorithms with Continuous Time"
Danièle Beauquier
and Anatol Slissenko,
"Verification of Timed Algorithms: Gurevich Abstract
State Machines versus First Order Timed Logic"
Bernhard Beckert
and Joachim Posegga,
"leanEA: A Lean Evolving Algebra Compiler"
Christoph Beierle,
"Formal design of an abstract machine for constraint logic programming"
Christoph Beierle
and Egon Börger,
"Correctness proof for the WAM with types"
Christoph Beierle
and Egon Börger,
"Refinement of a typed WAM
extension by polymorphic order-sorted types"
Christoph Beierle
and Egon Börger,
"Specification and correctness proof of a WAM
extension with abstract type constraints"
Christoph Beierle,
Egon Börger,
Igor Durdanovic,
Uwe Glässer,
and Elvinia Riccobene,
"Refining Abstract Machine Specifications of the Steam
Boiler Control to Well Documented Executable Code."
Giampaolo Bella
and Elvinia Riccobene,
"Formal Analysis of the Kerberos Authentication System"
Giampaolo Bella
and Elvinia Riccobene,
"A Realistic Environment for Crypto-Protocol Analyses by ASMs"
Andreas Blass,
"Abstract State Machines and Pure Mathematics"
Andreas Blass
and Yuri Gurevich,
"Abstract State Machines Capture Parallel Algorithms"
Andreas Blass
and Yuri Gurevich,
"Abstract State Machines Capture Parallel Algorithms: Correction and Extension"
Andreas Blass
and Yuri Gurevich,
"Algorithms vs. Machines"
Andreas Blass
and Yuri Gurevich,
"Background, Reserve, and Gandy Machines"
Andreas Blass
and Yuri Gurevich,
"The Linear Time Hierarchy Theorems for
Abstract State Machines and RAMs"
Andreas Blass
and Yuri Gurevich,
"The Logic of Choice"
Andreas Blass
and Yuri Gurevich,
"New Zero-One Law and Strong Extension Axioms"
Andreas Blass
and Yuri Gurevich,
"Strong Extension Axioms and Shelah's Zero-One Law
for Choiceless Polynomial Time"
Andreas Blass,
Yuri Gurevich,
and Saharon Shelah,
"Choiceless Polynomial Time"
Andreas Blass,
Yuri Gurevich,
and Saharon Shelah,
"On Polynomial Time Computation Over Unordered Structures"
Andreas Blass,
Yuri Gurevich,
and Jan Van den Bussche,
"Abstract state machines and computationally complete query languages"
Egon Börger,
"Abstract State Machines: A Unifying View of
Models of Computation and of System Design Frameworks"
Egon Börger,
"The ASM Ground Model Method as a Foundation of
Requirements Engineering"
Egon Börger,
"The ASM Refinement Method"
Egon Börger,
"Computation and Specification Models: A Comparative Study"
Egon Börger,
"Design for Reuse via Structuring Techniques for ASMs."
Egon Börger,
"High Level System Design and Analysis using Abstract State Machines"
Egon Börger,
"Logic Programming: The Evolving Algebra Approach"
Egon Börger,
"The Origins and the Development of the ASM Method for High
Level System Design and Analysis"
Egon Börger,
"Why Use Evolving Algebras for Hardware and Software Engineering?"
Egon Börger
and Tommaso Bolognesi,
"Remarks on Turbo ASMs for Functional Equations and Recursion Schemes"
Egon Börger,
A. Cavarra,
and Elvinia Riccobene,
"An ASM Semantics for UML Activity Diagrams"
Egon Börger
and Giuseppe Del Castillo,
"A formal method for provably correct
composition of a real-life processor out of basic components (The
APE100 Reverse Engineering Study)"
Egon Börger
and Giuseppe Del Castillo,
"A formal method for provably correct
composition of a real-life processor out of basic components (The
APE100 Reverse Engineering Study)" (Extended Abstract)
Egon Börger,
Giuseppe Del Castillo,
Paola Glavan,
and Dean Rosenzweig,
"Towards a mathematical specification of the APE100
architecture: the APESE model"
Egon Börger
and Igor Durdanovic,
"Correctness of compiling Occam to Transputer code"
Egon Börger,
Igor Durdanovic,
and Dean Rosenzweig,
"Occam: Specification and
compiler correctness. Part I: Simple mathematical interpreters."
Egon Börger
and Uwe Glässer,
"A formal specification of the PVM architecture"
Egon Börger
and Uwe Glässer,
"Modelling and Analysis of Distributed and Reactive Systems using
Evolving Algebras."
Egon Börger,
Uwe Glässer,
and Wolfgang Muller,
"Formal Definition of an Abstract VHDL'93 Simulator By EA-Machines"
Egon Börger,
Uwe Glässer,
and Wolfgang Muller,
"The Semantics of Behavioral VHDL'93 Descriptions"
Egon Börger,
Yuri Gurevich,
and Dean Rosenzweig,
"The Bakery Algorithm: Yet Another Specification And Verification"
Egon Börger
and James K. Huggins,
"Abstract State Machines 1988-1998: Commented ASM Bibliography"
Egon Börger,
F.J. López-Fraguas,
and M. Rodríguez-Artalejo,
"A model for mathematical analysis of functional logic programs and their
implementations"
Egon Börger,
F.J. López-Fraguas,
and M. Rodríguez-Artalejo,
"Towards a Mathematical Specification of a Graph-Narrowing Machine"
Egon Börger
and S. Mazzanti,
"A correctness proof for pipelining in RISC architectures"
Egon Börger
and S. Mazzanti,
"A Practical Method for Rigourously Controllable Hardware Design"
Egon Börger
and Luca Mearelli,
"Integrating ASMs into the Software Development Life Cycle"
Egon Börger,
Peter Päppinghaus,
and Joachim Schmid,
"Report on a Practical Application of ASMs in Software Design"
Egon Börger
and Elvinia Riccobene,
"A formal specification of Parlog"
Egon Börger
and Elvinia Riccobene,
"Logic + control revisited: an
abstract interpreter for Gödel programs."
Egon Börger,
Elvinia Riccobene,
and Joachim Schmid,
"Capturing Requirements by Abstract State Machines: The Light Control
Case Study"
Egon Börger
and Dean Rosenzweig,
"A mathematical definition of full Prolog."
Egon Börger
and Dean Rosenzweig,
"The mathematics of set predicates in Prolog"
Egon Börger
and Dean Rosenzweig,
"The WAM - definition and compiler correctness"
Egon Börger
and R. Salamone,
"CLAM specification for provably correct compilation of CLP(R)
programs."
Egon Börger
and Joachim Schmid,
"Composition and Submachine Concepts for Sequential ASMs"
Egon Börger
and Peter H. Schmitt,
"A Description of the Tableau Method Using Abstract State Machines"
Egon Börger
and Wolfram Schulte,
"Defining the Java Virtual Machine as Platform for Provably
Correct Java Compilation"
Egon Börger
and Wolfram Schulte,
"Initialization Problems for Java"
Egon Börger
and Wolfram Schulte,
"Modular Design for the Java Virtual Machine Architecture"
Egon Börger
and Wolfram Schulte,
"A Practical Method for Specification and Analysis of Exception
Handling: A Java/JVM Case Study"
Egon Börger
and Wolfram Schulte,
"A Programmer Friendly Modular Definition of the Semantics of Java"
Egon Börger
and Robert Stärk,
"Abstract State Machines: A Method for High-Level System Design and
Analysis"
Colin Campbell
and Yuri Gurevich,
"Table ASMs"
Steven C. Cater
and James K. Huggins,
"An ASM Dynamic Semantics for Standard ML"
Steven C. Cater
and James K. Huggins,
"An ASM Dynamic Semantics for Standard ML"(Extended Abstract)
J. Cohen
and A. Slissenko,
"On Verification of Refinements of Asynchronous Timed Distributed Algorithms"
Kevin Compton,
Yuri Gurevich,
James K. Huggins,
and Wuwei Shen,
"An Automatic Verification Tool for UML"
Kevin Compton,
James K. Huggins,
and Wuwei Shen,
"A Semantic Model for the State Machine in the Unified Modeling
Language"
Kevin Compton,
James K. Huggins,
and Wuwei Shen,
"A Toolset for Supporting UML Static and Dynamic Model Check"
Kevin Compton,
James K. Huggins,
and Wuwei Shen,
"A Validation Method for a UML Model Based on Abstract State Machines"
Giuseppe Del Castillo,
"Towards Comprehensive Tool Support for Abstract State Machines: The
ASM Workbench Tool Environment and Architecture"
Giuseppe Del Castillo,
Igor Durdanovic,
and Uwe Glässer,
"An Evolving Algebra Abstract Machine"
Giuseppe Del Castillo
and Uwe Glässer,
"Computer-Aided Analysis and Validation of Heterogeneous System
Specifications"
Giuseppe Del Castillo
and Wolfram Hardt,
"Towards a Unified Analysis Methodology of HW/SW Systems based on
Abstract State Machines: Modelling of Instruction Sets"
Giuseppe Del Castillo
and Wolfram Hardt,
"Fast Dynamic Analysis of Complex HW/SW-Systems based on Abstract
State Machine Models"
Giuseppe Del Castillo
and Kirsten Winter,
"Model Checking Support for the ASM High-Level Language"
Scott Dexter,
Patrick Doyle,
and Yuri Gurevich,
"Gurevich Abstract State Machines and Schönhage Storage
Modification Machines"
Stephan Diehl,
"Transformations of Evolving Algebras"
Dag Diesen,
"Specifying Algorithms Using Evolving Algebra.
Implementation of Functional Programming Languages."
Vladimir O. Di Iorio
and Roberto S. Bigonha,
"An ASM Implementation
of a Self-Applicable Partial Evaluator"
Vladimir O. Di Iorio,
Roberto S. Bigonha,
and Marcelo A. Maia,
"A Self-Applicable Partial Evaluator for ASM".
Axel Dold,
"A Formal Representation of Abstract State Machines
Using PVS"
Axel Dold,
Thilo Gaul,
Vincent Vialard,
and Wolf Zimmerman,
"ASM-Based Mechanized Verification of Compiler Back-Ends"
Arnaud Durand,
"Modeling Cache Coherence Protocol -- A Case Study with FLASH"
Robert Eschbach,
"A Termination Detection Algorithm: Specification and Verification"
Robert Eschbach,
Uwe Glässer,
Reinhard Gotzhein,
and Andreas Prinz,
"On the Formal Semantics of Design Languages: A compilation approach
using Abstract State Machines"
Bradley Fordham,
Serge Abiteboul,
and Yelena Yesha,
"Evolving Databases: An Application to Electronic Commerce"
Nico Fruja
and Robert Stärk,
"The Hidden Computation Steps of Turbo Abstract State Machines"
Angelo Gargantini
and Elvinia Riccobene,
"Encoding Abstract State Machines in PVS"
Thilo Gaul,
"An Abstract State Machine specification of the
DEC-Alpha Processor Family"
Thilo Gaul,
Andreas Heberle, and
Wolf Zimmerman,
"An ASM Specification of the Operational Semantics of MIS"
Amjad Gawanmeh,
"Interfacing Abstract State Machines with Multiway Decision Graphs"
Amjad Gawanmeh,
Sofiène Tahar,
and Kirsten Winter,
"Formal Verification of ASM Designs using the MDG Tool"
Amjad Gawanmeh,
Sofiène Tahar,
and Kirsten Winter,
"Formal Verification of ASM Designs using the MDG Tool"
Amjad Gawanmeh,
Sofiène Tahar,
and Kirsten Winter,
"Interfacing ASM with the MDG Tool"
Vincenzo Gervasi,
"Synthesizing ASMs from Natural Language Requirements"
Uwe Glässer,
"Combining Abstract State Machines with Predicate Transition Nets"
Uwe Glässer,
"Systems Level Specification and Modelling of Reactive Systems:
Concepts, Methods, and Tools"
Uwe Glässer,
Yuri Gurevich,
and Margus Veanes,
"An Abstract Communication Model"
Uwe Glässer,
Yuri Gurevich,
and Margus Veanes,
"Universal Plug and Play Machine Models"
Uwe Glässer
and René Karges,
"Abstract State Machine Semantics of SDL"
Paula Glavan
and Dean Rosenzweig,
"Communicating evolving algebras"
Sabine Glesner
and Wolf Zimmermann,
"Structural Simulation Proofs based on ASMs even for Non-Terminating
Programs"
Gerhard Goos,
Andreas Heberle,
Welf Loewe,
and Wolf Zimmermann,
"On Modular Definitions and Implementations of Programming Languages"
Georg Gottlob,
Gerti Kappel,
and Michael Schrefl,
"Semantics of Object-Oriented Data Models -- The Evolving Algebra Approach"
Erich Grädel
and Antje Nowack,
"Quantum Computing and Abstract State Machines"
Erich Grädel
and Yuri Gurevich,
"Metafinite Model Theory"
Erich Grädel
and Marc Spielmann,
"Logspace Reducibility via Abstract State Machines"
Wolfgang Grieskamp,
Yuri Gurevich,
Wolfram Schulte,
and Margus Veanes,
"Generating Finite State Machines from Abstract State Machines"
Wolfgang Grieskamp,
Yuri Gurevich,
Wolfram Schulte,
and Margus Veanes,
"Testing with Abstract State Machines"
Rix Groenboom
and Gerard Renardel del Lavalette,
"A Formalization of Evolving Algebras"
Yuri Gurevich,
"Evolving Algebras"
Yuri Gurevich,
"Evolving Algebras: An Attempt to Discover Semantics"
Yuri Gurevich,
"Evolving Algebras 1993: Lipari Guide"
Yuri Gurevich,
"Logician in the Land of OS: Abstract State Machines at Microsoft"
Yuri Gurevich,
"May 1997 Draft of the ASM Guide"
Yuri Gurevich,
"Sequential Abstract State Machines Capture
Sequential Algorithms"
Yuri Gurevich
and James K. Huggins,
"Equivalence Is In The Eye Of The Beholder"
Yuri Gurevich
and James K. Huggins,
"Evolving Algebras and Partial Evaluation"
Yuri Gurevich
and James K. Huggins,
"The Railroad Crossing Problem:
An Experiment with Instantaneous Actions and Immediate Reactions"
Yuri Gurevich
and James K. Huggins,
"The Semantics of the C Programming Language"
Yuri Gurevich
and Raghu Mani,
"Group Membership Protocol: Specification and Verification"
Yuri Gurevich
and Lawrence S. Moss,
"Algebraic Operational Semantics and Occam"
Yuri Gurevich
and Dean Rosenzweig,
"Partially Ordered Runs: A Case Study"
Yuri Gurevich,
Wolfram Schulte,
and Margus Veanes,
"Rich Sequential-Time ASMs"
Yuri Gurevich,
Wolfram Schulte,
and Margus Veanes,
"Toward Industrial Strength Abstract State Machines"
Yuri Gurevich,
Wolfram Schulte,
and Charles Wallace,
"Investigating Java Concurrency using Abstract State Machines"
Yuri Gurevich,
Nandit Soparkar,
and Charles Wallace,
"Formalizing Database Recovery"
Yuri Gurevich
and Marc Spielmann,
"Recursive Abstract State Machines"
Yuri Gurevich
and Nikolai Tillmann,
"Partial Updates: Exploration"
Yuri Gurevich
and Charles Wallace,
"Specification and verification of the Windows Card runtime environment using
Abstract State Machines"
Andreas Heberle
and Welf Löwe,
"On ASM-Based Specification of Programming Language Semantics and
Reusable Correct Compilations"
James K. Huggins,
"Kermit: Specification and Verification"
James K. Huggins,
"An Offline Partial Evaluator for Evolving
Algebras"
James K. Huggins
and Wuwei Shen,
"The Static and Dynamic Semantics of C: Preliminary Version"
James K. Huggins
and David Van Campenhout,
"Specification and Verification of Pipelining in the ARM2 RISC
Microprocessor"
James K. Huggins
and David Van Campenhout,
"Specification and Verification of Pipelining in the ARM2 RISC
Microprocessor (Extended Abstract)"
James K. Huggins
and Charles Wallace,
"An Abstract State Machine Primer"
Jörn W. Janneck
and Philipp W. Kutter,
"Mapping Automata: Simple Abstract State Machines"
Jörn W. Janneck
and Philipp W. Kutter,
"Object-based Abstract State Machines"
David Johnson
and Lawrence S. Moss,
"Grammar Formalisms Viewed As Evolving Algebras"
A. Kalinov,
A. Kossatchev,
A. Petrenko,
M. Posypkin,
and V. Shishkov,
"Coverage-driven Automated Compiler Test Suite Generation"
A. Kalinov,
A. Kossatchev,
M. Posypkin,
and V. Shishkov,
"Using ASM specification for automatic test suite generation for mpC
parallel programming language compiler"
Alan Kaplan
and J.C. Wileden,
"Formalization and Application of a Unifying Model for Name Management"
A. M. Kappel,
"Executable Specifications based on Dynamic Algebras"
A. M. Kappel,
"Implementation of Dynamic Algebras with an Application
to Prolog"
Philipp W. Kutter,
"An ASM Macro Language for Sets"
Philipp W. Kutter,
"The Formal Definition of Anlauff's eXtensible
Abstract State Machines"
Philipp W. Kutter,
"Integration of the Statecharts in Specware and
Aspects of Correct Oberon Code Generation"
Philipp W. Kutter
and Alfonso Pierantonio,
"The Formal Specification of Oberon"
Philipp W. Kutter
and Alfonso Pierantonio,
"Montages: Specifications of Realistic Programming Languages"
Philipp W. Kutter,
Daniel Schweizer,
and Lothar Thiele,
"Integrating Domain Specific Language Design in the Software
Life Cycle"
Keehang Kwon,
"A Structured Presentation of a Closure-Based Compilation
Method for a Scoping Notion in Logic Programming"
Alexei Lisitsa
and Gennady Osipov,
"Evolving algebras and labelled deductive systems for the semantic
network based reasoning"
Marcelo de Almeida Maia
and Roberto da Silva Bigonha,
"The Formal Specification of the Interactive
Abstract State Machine Language"
Marcelo de Almeida Maia,
Vladimir Oliveira Di Iorio,
and Roberto da Silva Bigonha,
"Interacting Abstract State Machines"
Marcelo de Almeida Maia
and Roberto da Silva Bigonha,
"An ASM-Based Approach for Mobile Systems"
Petr Matousek,
"Semantics of the Process Description Language"
Wolfgang May,
"Complex Transitions in Evolving Algebras"
Wolfgang May,
"Modeling Rule-Based and Structured Systems with Evolving Algebras"
Wolfgang May,
"Specifying Complex and Structured Systems with Evolving Algebras"
Luca Mearelli,
"Refining an ASM Specification of the Production Cell to C++ Code"
Marcin Mlotkowski,
"Specification and Optimization of the Smalltalk programs"
Markus Mohnen,
"A Compiler Correctness Proof for the Static Link Technique
by means of Evolving Algebras"
Yassine Mokhtari,
Meral Shirazipour,
and Sofiène Tahar,
"A Case Study on Model Checking and Refinement of Abstract State
Machines"
Lawrence S. Moss
and David E. Johnson, "Dynamic
Interpretations of Constraint-Based Grammar Formalisms"
Lawrence S. Moss
and David E. Johnson,
"Evolving Algebras and Mathematical Models of Language"
Zsolt Németh,
"Definition of a Parallel Execution Model with Abstract State
Machines".
Zsolt Németh,
and Vaidy Sunderam,
"A Formal Framework for Defining Grid Systems"
Ileana Ober,
"Harmonizing Design Languages with Object-Oriented
Extensions and an Executable Semantics"
Martin Odersky,
"Programming with Variable Functions"
Claus Pahl,
"Towards an Action Refinement Calculus for Abstract State Machines"
Arnd Poetzsch-Heffter,
"Deriving Partial Correctness Logics From Evolving Algebras"
Arnd Poetzsch-Heffter,
"Developing Efficient Interpreters Based
on Formal Language Specifications"
Arnd Poetzsch-Heffter,
"Prototyping Realistic Programming Languages Based
Formal Specificiations"
Andreas Prinz
and Bernhard Thalheim,
"Operational Semantics of Transactions"
Wolfgang Reisig,
"On Gurevich's Theorem on Sequential Algorithms"
Dean Rosenzweig,
Davor Runje,
and Neva Slani,
"Privacy, Abstract Encryption and Protocols: an ASM Model - Part I"
Heinrich Rust,
"Hybrid Abstract State Machines: Using the Hyperreals for Describing
Continuous Changes in a Discrete Notation"
Hisashi Sasaki,
"A Formal Semantics for Verilog-VHDL Simulation
Interoperability by Abstract State Machine"
Hisashi Sasaki,
"A Formal Semantics on Net Delay in Verilog-HDL"
Hisashi Sasaki,
"A New Dynamic Equation Scheduling to extend VHDL-AMS"
Hisashi Sasaki,
Kazunori Mizushima,
and Takeshi Sasaki,
"Semantic Validation of VHDL-AMS by an Abstract State
Machine"
Takeshi Sasaki,
Hisashi Sasaki,
and Kazunori Mizushima,
"Semantic Analysis of VHDL-AMS by Attribute Grammar"
Gerhard Schellhorn
and Wolfgang Ahrendt,
"Reasoning about Abstract State Machines: The WAM Case Study"
Gerhard Schellhorn,
"Verification of ASM Refinements Using Generalized Forward Simulation"
Joachim Schmid,
"Compiling Abstract State Machines to C++"
Joachim Schmid,
"Compiling Abstract State Machines to C++ (Extended Abstract)"
Robert Stärk
and Stanislas Nanchen,
"A Logic for Abstract State Machines"
Robert Stärk
and Stanislas Nanchen,
"A Logic for Abstract State Machines" (Extended Abstract)
Robert Stärk
and Joachim Schmid,
"Completeness of a Bytecode Verifier and a Certifying Java-to-JVM
Compiler"
Robert Stärk
and Joachim Schmid,
"Java bytecode verification is not possible (Extended Abstract)"
Robert Stärk,
Joachim Schmid,
and Egon Börger,
"Java and the Java Virtual Machine"
Arno Schönegge,
"Extending Dynamic Logic for
Reasoning about Evolving Algebras"
Wolfgang Schönfeld,
"Interacting Abstract State Machines"
Michael Schrefl and
Gerti Kappel,
"Cooperation Contracts"
Marc Spielmann,
"Automatic Verification of Abstract State Machines"
Marc Spielmann,
"Model Checking Abstract State Machines and Beyond"
Marc Spielmann,
"Verification of Relational Transducers for Electronic
Commerce"
Karl Stroetmann,
"The Constrained Shortest Path Problem: A Case Study In Using ASMs"
Jürgen Teich,
Philipp Kutter,
and Ralph Weper,
"Description and Simulation of Microprocessor Instruction Sets Using
ASMs"
Hans Tonino,
"A Sound and Complete SOS-Semantics for
Non-Distributed Deterministic Abstract State Machines"
Hans Tonino,
"A Theory of Many-sorted Evolving Algebras"
Hans Tonino
and Joost Visser,
"Stepwise Refinement of an Abstract State Machine for WHNF-Reduction
of Lambda-Terms"
M. Vale,
"The Evolving Algebra Semantics of COBOL. Part 1:
Programs and Control"
Joost Visser,
"Evolving Algebras"
Charles Wallace,
"The Semantics of the C++ Programming Language"
Charles Wallace,
"The Semantics of the Java Programming Language: Preliminary Version"
Charles Wallace,
Guy Tremblay,
and José Nelson Amaral,
"An Abstract State Machine Specification and Verification of the
Location Consistency Memory Model and Cache Protocol"
Kirsten Winter,
"Model Checking Abstract State Machines"
Kirsten Winter,
"Model Checking for Abstract State Machines"
Kirsten Winter,
"Supporting Abstraction when Model Checking ASM"
Kirsten Winter,
"Towards a Methodology for Model Checking ASM: Lessons learned from
the FLASH Case Study"
A.V. Zamulin,
"Algebraic Specification of Dynamic Objects"
A.V. Zamulin,
"Generic Facilities in Object-Oriented ASMs"
A.V. Zamulin,
"Object-Oriented Abstract State Machines"
A.V. Zamulin,
"Specification of an Oberon Compiler By Means of a Typed
Gurevich Machine"
A.V. Zamulin,
"Specification of Dynamic Systems by Typed Gurevich
Machines"
A.V. Zamulin,
"Specifications in-the-Large by Typed ASMs"
A.V. Zamulin,
"State-based Semantics of a Pascal-like Language"
A.V. Zamulin,
"Typed Gurevich Machines Revisited"
Wolf Zimmerman
and Thilo Gaul,
"On the Construction of Correct Compiler Back-Ends: An ASM Approach"
[an error occurred while processing this directive]