968 search results - page 57 / 194 » The Molen Programming Paradigm |
162
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
140
click to vote
CRYPTO
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
176
click to vote
WLP
2007
Springer
15 years 10 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
155
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
137
click to vote
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...