917 search results - page 23 / 184 » On the Semantics of Updates in a Functional Language |
COLING
1992
13 years 8 months ago
1992
A small fragment of the Systemic Functional Grammar of the PENMANsystem is reformulated in the Typed Feature Structure language. Through this reformulation wc gain full reversibil...
IJCAI
2003
13 years 9 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
DBA
2004
13 years 9 months ago
2004
This paper discusses how to extend the applicability of the recursive cascade update command of the Xplain query language. This command guarantees termination because cycle detect...
SEMCO
2009
IEEE
14 years 2 months ago
2009
IEEE
Semantic integration in the hidden Web is an emerging area of research where traditional assumptions do not always hold. Frequent changes, conflicts and the sheer size of the hid...
ENTCS
2011
13 years 2 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...