1552 search results - page 164 / 311 » Concepts and Concept-Oriented Programming |
162
click to vote
CRYPTO
2008
Springer
15 years 7 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...
156
click to vote
LPKR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
176
click to vote
JOT
2008
15 years 5 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
156
Voted
AMAI
2008
Springer
15 years 5 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
194
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...