176 search results - page 27 / 36 » Full Abstraction for Functional Languages with Control |
APLAS
2006
ACM
15 years 5 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
102
click to vote
DIAGRAMS
2006
Springer
15 years 3 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...