3713 search results - page 280 / 743 » Constructing a Calculus of Programs |
119
Voted
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
At the current state of the art, genetic programs do not contain two constructs that commonly occur in programs written by humans, that is, loops and functions with parameters. In ...
144
Voted
VL
1996
IEEE
15 years 8 months ago
1996
IEEE
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
148
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
152
click to vote
PADO
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
156
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...