Search Sciweavers | Sciweavers

1917 search results - page 19 / 384

» The York Abstract Machine

click to vote

PLILP
1990
Springer

46views Programming Languages» more PLILP 1990»

The Vienna Abstract Machine

13 years 11 months ago

Download www.complang.tuwien.ac.at

Andreas Krall, Ulrich Neumerkel

claim paper

Read More »

click to vote

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

13 years 11 months ago

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

click to vote

HOTOS
2009
IEEE

111views Operating System» more HOTOS 2009»

Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine

13 years 11 months ago

Download www.usenix.org

Ross McIlroy, Joseph S. Sventek

claim paper

Read More »

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

13 years 11 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers