1023 search results - page 50 / 205 » A Formal Method for Program Slicing |
101
click to vote
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
166
click to vote
FCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
114
click to vote
SAS
1991
Springer
15 years 5 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
127
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
102
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...