3713 search results - page 294 / 743 » Constructing a Calculus of Programs |
112
click to vote
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
104
click to vote
LCPC
1993
Springer
15 years 8 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
163
click to vote
AIPS
2009
15 years 5 months ago
2009
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs w...
143
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
125
click to vote
SIGADA
1999
Springer
15 years 8 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...