3713 search results - page 356 / 743 » Constructing a Calculus of Programs |
161
click to vote
EPIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
142
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
143
click to vote
GECCO
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
129
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
165
click to vote
IJWIS
2006
15 years 4 months ago
2006
: Using Internet-enabled mobile handheld devices to access the World Wide Web is a promising addition to the Web and traditional e-commerce. Mobile handheld devices provide conveni...