5090 search results - page 384 / 1018 » Constructing Strategies for Programming |
206
Voted
POPL
2011
ACM
14 years 9 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
166
click to vote
MFCS
1997
Springer
15 years 11 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
139
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
178
click to vote
IJCAI
2003
15 years 8 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
195
click to vote
AICOM
2006
15 years 6 months ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...