7430 search results - page 661 / 1486 » Programming Applications in CIFF |
192
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
158
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
182
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
179
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Pervasive Computing environments require new communication and programming paradigms. In this paper we present our experiences from the implementation of MundoCore, a pervasive co...
189
Voted
SOFSEM
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...