Sciweavers

17298 search results - page 28 / 3460
» Abstract computing machines
Sort
View
APAQS
2001
IEEE
15 years 10 months ago
Testable Use Cases in the Abstract State Machine Language
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...
136
Voted
CSL
1995
Springer
15 years 10 months ago
An Evolving Algebra Abstract Machine
Giuseppe Del Castillo, Igor Durdanovic, Uwe Gl&aum...
145
Voted
PLILP
1995
Springer
15 years 10 months ago
An Abstract Machine for Oz
ctMachineforOz MichaelMehl,RalfScheidhauer,andChristianSchulte RR-95-0 ResearchRepo
Michael Mehl, Ralf Scheidhauer, Christian Schulte
ICLP
1991
Springer
15 years 10 months ago
Warren's Abstract Machine
Hassan Aït-Kaci