3931 search results - page 32 / 787 » Separation logic and abstraction |
PODC
1996
ACM
15 years 1 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
WOLLIC
2010
Springer
15 years 1 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
52
Voted
ENTCS
2006
14 years 9 months ago
2006
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
68
Voted
UML
2005
Springer
15 years 3 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
POPL
1994
ACM
15 years 1 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...