31387 search results - page 109 / 6278 » Abstracting abstract machines |
131
click to vote
SIGOPSE
1998
ACM
15 years 10 months ago
1998
ACM
Abstract for EW’98 Paul J.M. Havinga, Arne Helme, Sape J. Mullender1 , Gerard J.M. Smit, Jaap Smit University of Twente, Enschede, Netherlands
113
click to vote
ACM
1993
15 years 10 months ago
1993
ional Frameworks: Toolkits and Abstractions In Introductory Computer Science Cynthia Brown, Harriet Fell, Viera Proulx, Richard Rasala College of Computer Science, Northeastern Uni...
243
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
142
click to vote
LATIN
2000
Springer
15 years 10 months ago
2000
Springer
d abstract) Book section (Refereed) Original citation: Originally published in Gonnet, G; Panario D; Viola, A, LATIN 2000: theoretical informatics. Lecture notes in computer scienc...
136
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr