933 search results - page 2 / 187 » Multi-paradigm Declarative Languages |
AMAI
2004
Springer
13 years 4 months ago
2004
Springer
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
AAMAS
2011
Springer
12 years 8 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...
ITP
2010
13 years 6 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
CIDR
2009
13 years 5 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...