Sciweavers

933 search results - page 86 / 187
» Multi-paradigm Declarative Languages
Sort
View
PADL
2000
Springer
15 years 7 months ago
A Functional Logic Programming Approach to Graphical User Interfaces
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
Michael Hanus
AAAI
2008
15 years 6 months ago
Error Classification in Action Descriptions: A Heuristic Approach
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
Thomas Eiter, Michael Fink, Ján Senko
127
Voted
DIWEB
2001
15 years 5 months ago
Integration of XML Data in XPathLog
XPathLog is a logic-based language for manipulating and integrating XML data. It extends the XPath query language with Prolog-style variables. Due to the close relationship with X...
Wolfgang May
EACL
1989
ACL Anthology
15 years 5 months ago
Expressing generalizations in unification-based grammar formalisms
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
Marc Moens, Jonathan Calder, Ewan Klein, Mike Reap...
135
Voted
ICFP
2007
ACM
16 years 4 months ago
Implicit phasing for R6RS libraries
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...
Abdulaziz Ghuloum, R. Kent Dybvig