7167 search results - page 465 / 1434 » Answer Set Programming |
165
Voted
ITICSE
2005
ACM
15 years 9 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
136
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
150
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
161
click to vote
CLOUD
2010
ACM
15 years 9 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
137
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...