2000 search results - page 135 / 400 » Program Transformation and Proof Transformation |
160
Voted
VL
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
131
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
132
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
127
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
101
Voted
AAIM
2006
Springer
15 years 7 months ago
2006
Springer
We investigate LP-polytopes generated by mean payoff games and their properties, including the existence of tight feasible solutions of bounded size. We suggest a new associated al...