Sciweavers

1162 search results - page 82 / 233
» Monotonic Semantic Interpretation
Sort
View
93
Voted
PEPM
1993
ACM
15 years 3 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
ICCS
2000
Springer
15 years 2 months ago
A Conceptual Graph Model for W3C Resource Description Framework
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
Olivier Corby, Rose Dieng, Cédric Hé...
SIGLEX
1991
15 years 2 months ago
Conventional Metaphor and the Lexicon
Metaphor and other forms of non-literal language are essential parts of language which have direct bearing on theories of lexical semantics. Neither narrow theories of lexical sem...
James H. Martin
FASE
2008
Springer
15 years 24 days ago
Object Composition in Scenario-Based Programming
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
Yoram Atir, David Harel, Asaf Kleinbort, Shahar Ma...
COLING
1996
15 years 11 days ago
Generation of Paraphrases from Ambiguous Logical Forms
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
Hadar Shemtov