Sciweavers

31387 search results - page 323 / 6278
» Abstracting abstract machines
Sort
View
132
Voted
LFP
1990
98views more  LFP 1990»
15 years 8 months ago
Abstracting Control
Olivier Danvy, Andrzej Filinski
BCSHCI
2009
15 years 8 months ago
Using augmentations as bridges from concrete to abstract representations
Guillaume Zufferey, Patrick Jermann, Son Do-Lenh, ...
ATVA
2010
Springer
151views Hardware» more  ATVA 2010»
15 years 7 months ago
Abstraction Learning
Joxan Jaffar, Jorge Navas, Andrew E. Santosa