Sciweavers

917 search results - page 54 / 184
» On the Semantics of Updates in a Functional Language
Sort
View
ECAI
1990
Springer
14 years 1 months ago
The Semantics of MOLUSC
Much recent work in computational morphology has presupposed that morphological operations are de nable on strings of phonological or graphemic objects. By contrast, theoretical l...
Lynne J. Cahill, Gerald Gazdar
ELP
1991
14 years 15 days ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
CICLING
2010
Springer
14 years 3 months ago
EusPropBank: Integrating Semantic Information in the Basque Dependency Treebank
This paper deals with theoretical problems found in the work that is being carried out for annotating semantic roles in the Basque Dependency Treebank (BDT). We will present the re...
Izaskun Aldezabal, María Jesús Aranz...
CAISE
2001
Springer
14 years 1 months ago
A Semantic Approach to Integrating XML and Structured Data Sources
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
Peter McBrien, Alexandra Poulovassilis
TYPES
1993
Springer
14 years 1 months ago
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
Marino Miculan