3713 search results - page 263 / 743 » Constructing a Calculus of Programs |
129
click to vote
SOFTVIS
2006
ACM
15 years 10 months ago
2006
ACM
Visualizations of program executions are often generated on the fly. This has many advantages relative to off-line generation of animated video files. Video files, however, trivia...
115
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
144
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
159
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
146
click to vote
ICCBR
1999
Springer
15 years 8 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...