10899 search results - page 604 / 2180 » The GP Programming System |
190
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
220
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
203
click to vote
PLDI
2005
ACM
16 years 23 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
223
click to vote
SIGSOFT
2003
ACM
16 years 13 days ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
183
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...