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

15 years 8 months ago

Download www.complang.tuwien.ac.at

Andreas Krall, Ulrich Neumerkel

claim paper

Read More »

114

Voted

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

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

15 years 8 months ago

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

102

click to vote

HOTOS
2009
IEEE

111views Operating System» more HOTOS 2009»

Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine

15 years 7 months ago

Download www.usenix.org

Ross McIlroy, Joseph S. Sventek

claim paper

Read More »

103

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 7 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers