|
384
|
Evolving Algebras 1993: Lipari Guide
– Yuri Gurevich
- 1995
|
|
187
|
Abstract State Machines: A Method for High-Level System Design and Analysis
– Egon Börger
- 2003
|
|
72
|
The WAM---Definition and Compiler Correctness
– Egon Borger
- 1995
|
|
1542
|
A.: The Java Language Specification
– J Gosling, B Joy, G Steele, G Bracha, Buckley
- 2012
|
|
48
|
Abstract state machines capture parallel algorithms
– Andreas Blass, Yuri Gurevich
- 2003
|
|
27
|
Composition and Submachine Concepts for Sequential ASMs
– Egon Börger, Joachim Schmid
- 2000
|
|
150
|
The B-Book
– J R Abrial
- 1996
|
|
45
|
Correctness of compiling Occam to Transputer code
– Egon Börger, Igor Durdanovic
|
|
33
|
The Origins and the Development of the ASM Method for High Level System Design and Analysis
– Egon Börger
|
|
34
|
Formal definition of an abstract VHDL’93 simulator by EAmachines
– U Glässer, E Börger, W Müller
- 1995
|
|
104
|
Sequential abstract state machines capture sequential algorithms
– Yuri Gurevich
|
|
37
|
Why use evolving algebras for hardware and software engineering?
– Egon Börger
- 1995
|
|
12
|
High-level executable specification of the universal plug and play architecture
– U Glässer, Y Gurevich, M Veanes
- 2002
|
|
27
|
On the Construction of Correct Compiler Back-Ends: An ASM Approach
– Wolf Zimmermann, Thilo Gaul
- 1997
|
|
9
|
Remarks on turbo asms for computing functional equations and recursion schemes
– E Börger, T Bolognesi
- 2003
|
|
17
|
Formal Specification and Design
– L M G Feijs, H B M Jonkers
- 1992
|
|
48
|
High level system design and analysis using abstract state machines
– Egon Börger
- 1999
|
|
4
|
The Abstract State Machine Language. cited Oct 2004, http://research.microsoft.com/fse/asml
– Microsoft FSE Group
|
|
18
|
R.F.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3
– E Börger, N Fruja, V Gervasi, Stärk
- 2005
|
