4257 search results - page 405 / 852 » The Logical Modularity of Programs |
174
click to vote
JFP
2007
15 years 6 months ago
2007
Asynchronous exceptions, or interrupts, are important for writing robust, modular programs, but are traditionally viewed as being difficult from a semantic perspective. In this ar...
229
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
203
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
151
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
182
click to vote
EUROGP
2008
Springer
15 years 8 months ago
2008
Springer
A new class of FPGA-based accelerators is presented for Cartesian Genetic Programming (CGP). The accelerators contain a genetic engine which is reused in all applications. Candidat...