5451 search results - page 36 / 1091 » Typed Operational Semantics |
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
COLING
2000
13 years 11 months ago
2000
This paper describes an approach to using semantic rcprcsentations for learning information extraction (IE) rules by a type-oriented inductire logic programming (ILl)) system. NLP...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
APBC
2004
13 years 11 months ago
2004
Addressing queries interactively to a chain of two or more biological resources is an everyday task for many scientists, as they use in-silico methods to characterize a biological...