10899 search results - page 472 / 2180 » The GP Programming System |
147
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
174
click to vote
HYBRID
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
175
click to vote
PASTE
2004
ACM
16 years 11 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
172
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
189
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...