Search Sciweavers | Sciweavers

2098 search results - page 27 / 420

» The Persistent Abstract Machine

167

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

136

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 10 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Igor Durdanovic, Uwe Gl&aum...

claim paper

Read More »

145

click to vote

PLILP
1995
Springer

110views Programming Languages» more PLILP 1995»

An Abstract Machine for Oz

15 years 10 months ago

Download web.it.kth.se

ctMachineforOz MichaelMehl,RalfScheidhauer,andChristianSchulte RR-95-0 ResearchRepo

Michael Mehl, Ralf Scheidhauer, Christian Schulte

claim paper

Read More »

120

click to vote

ICLP
1991
Springer

101views Automated Reasoning» more ICLP 1991»

Warren's Abstract Machine

15 years 10 months ago

Download www.di.uevora.pt

Hassan Aït-Kaci

claim paper

Read More »

108

click to vote

AIIDE
2008

101views Artificial Intelligence» more AIIDE 2008»

Implementation Walkthrough of a Homegrown 'Abstract State Machine' Style System in a Commercial Sports Game

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers