3323 search results - page 156 / 665 » Computational Semantics with Functional Programming |
177
click to vote
GECCO
2009
Springer
16 years 24 days ago
2009
Springer
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...
158
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
180
click to vote
PADL
2005
Springer
15 years 11 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
133
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
141
click to vote
IPPS
2007
IEEE
16 years 16 days ago
2007
IEEE
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...