632 search results - page 66 / 127 » Explicit Substitutions and Programming Languages |
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We propose some slight additions to O-O languages to implement the necessary features for using Deductive Object Programming (DOP). This way of programming based upon the manipula...
147
click to vote
DALT
2005
Springer
15 years 8 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
112
Voted
SPLC
2010
15 years 3 months ago
2010
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...
141
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
120
Voted
AAAI
2006
15 years 3 months ago
2006
In recent years there has been a great deal of interest in "modular reinforcement learning" (MRL). Typically, problems are decomposed into concurrent subgoals, allowing ...