5090 search results - page 489 / 1018 » Constructing Strategies for Programming |
206
click to vote
LOPSTR
1992
Springer
15 years 11 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
201
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
179
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
Stochastic context-free grammar (SCFG) based models for non-coding RNA (ncRNA) gene searches are much more powerful than regular grammar based models due to the ability to model in...
183
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
214
click to vote
FORTE
1997
15 years 8 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...