3319 search results - page 327 / 664 » Subshifts, Languages and Logic |
178
Voted
TLCA
2005
Springer
16 years 8 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
201
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
183
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
163
click to vote
ESOP
2003
Springer
16 years 12 hour ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
185
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...