6794 search results - page 770 / 1359 » Semantics of Visual Languages |
192
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
192
click to vote
ICTAC
2005
Springer
16 years 20 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
211
click to vote
LACL
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
177
click to vote
ICALP
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
201
click to vote
DEXAW
2002
IEEE
16 years 3 days ago
2002
IEEE
In the paper we present a methodology for the semiautomated extraction of ontological knowledge from XML data sources in a given domain. We consider an interconnection scenario ov...