Sciweavers

31387 search results - page 270 / 6278
» Abstracting abstract machines
Sort
View
FPCA
1995
15 years 10 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...
130
Voted
ICNP
1995
IEEE
15 years 10 months ago
Networking abstractions and protocols under variable length messages
Stephen Milliner, Alex Delis
174
Voted
RTSE
1997
15 years 10 months ago
Abstraction and Modular Verification of Infinite-State Reactive Systems
Zohar Manna, Michael Colón, Bernd Finkbeine...