26 search results - page 2 / 6 » A Compositional Natural Semantics and Hoare Logic for Low-Le... |
TLDI
2009
ACM
14 years 2 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
ASIAN
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
WOLLIC
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
ACL
2009
13 years 3 months ago
2009
We present a new approach to learning a semantic parser (a system that maps natural language sentences into logical form). Unlike previous methods, it exploits an existing syntact...
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...