5090 search results - page 243 / 1018 » Constructing Strategies for Programming |
117
click to vote
HASKELL
2005
ACM
15 years 10 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 ...
147
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...
161
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...
147
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...
140
click to vote
SIGSOFT
1994
ACM
15 years 8 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....