1023 search results - page 17 / 205 » A Formal Method for Program Slicing |
FM
1994
Springer
14 years 20 days ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
FM
2009
Springer
14 years 3 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
IFL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...