3671 search results - page 224 / 735 » On Garbage and Program Logic |
178
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
186
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
197
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
177
click to vote
ICCD
2000
IEEE
16 years 3 months ago
2000
IEEE
Recent advances in software engineering, such as graphical user intevaces and object-oriented programming, have caused applications to become more memory intensive. These applicat...
171
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...