3228 search results - page 266 / 646 » Computationally Sound Proofs |
134
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
124
click to vote
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
117
click to vote
ACSC
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...
139
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
CHI
2010
ACM
15 years 9 months ago
2010
ACM
This paper proposes a mobile application to facilitate the meeting of people in unmarked spaces. We report on the concept, aspects of the work-in-progress implementation and futur...