Sciweavers

17298 search results - page 28 / 3460
» Abstract computing machines
Sort
View
97
Voted
APAQS
2001
IEEE
15 years 3 months ago
Testable Use Cases in the Abstract State Machine Language
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...
CSL
1995
Springer
15 years 2 months ago
An Evolving Algebra Abstract Machine
Giuseppe Del Castillo, Igor Durdanovic, Uwe Gl&aum...
PLILP
1995
Springer
15 years 2 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 2 months ago
Warren's Abstract Machine
Hassan Aït-Kaci