5863 search results - page 177 / 1173 » Calculating Functional Programs |
160
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
192
Voted
AAMAS
2011
Springer
14 years 10 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
152
click to vote
ACG
2003
Springer
15 years 11 months ago
2003
Springer
Heuristic search effectiveness depends directly upon the quality of heuristic evaluations of states in the search space. We show why ordinal correlation is relevant to heuristic se...
176
Voted
SFP
2003
15 years 7 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
156
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...