3481 search results - page 424 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
144
click to vote
CEFP
2005
Springer
15 years 10 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
180
click to vote
CLIMA
2006
15 years 6 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
161
click to vote
FECS
2006
15 years 6 months ago
2006
Program plagiarism is one of the most significant problems in Computer Science education. Most common plagiarism includes modifying comments, reordering statements, and changing v...
129
click to vote
LISP
2008
15 years 4 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
154
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...