Search Sciweavers | Sciweavers

31387 search results - page 15 / 6278

» Abstracting abstract machines

click to vote

MICRO
1989
IEEE

59views Hardware» more MICRO 1989»

Abstract computing machines

15 years 10 months ago

Download www.informatik.uni-kiel.de

Giacomo R. Sechi

claim paper

Read More »

click to vote

PLILP
1990
Springer

46views Programming Languages» more PLILP 1990»

The Vienna Abstract Machine

15 years 10 months ago

Download www.complang.tuwien.ac.at

Andreas Krall, Ulrich Neumerkel

claim paper

Read More »

136

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

15 years 10 months ago

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

125

click to vote

HOTOS
2009
IEEE

111views Operating System» more HOTOS 2009»

Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine

15 years 9 months ago

Download www.usenix.org

Ross McIlroy, Joseph S. Sventek

claim paper

Read More »

128

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers