1776 search results - page 174 / 356 » Using a Logic Programming Language with Persistence and Cont... |
130
Voted
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
150
Voted
TYPES
1998
Springer
15 years 7 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
110
Voted
IJCAI
1993
15 years 4 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
114
Voted
CD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
163
click to vote
ELP
1991
15 years 7 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...