Sciweavers

6 search results - page 1 / 2
» Expressiveness of Efficient Semi-Deterministic Choice Constr...
Sort
View
ICALP
1994
Springer
13 years 9 months ago
Expressiveness of Efficient Semi-Deterministic Choice Constructs
Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
DEDUCTIVE
1994
133views Database» more  DEDUCTIVE 1994»
13 years 6 months ago
Expressive Power of Non-Deterministic Operators for Logic-based Languages
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Ca...
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 5 months ago
Small NFAs from Regular Expressions: Some Experimental Results
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
Hugo Gouveia, Nelma Moreira, Rogério Reis
BTW
2007
Springer
133views Database» more  BTW 2007»
13 years 9 months ago
Pathfinder: XQuery Compila-tion Techniques for Relational Database Targets
: Relational database systems are highly efficient hosts to table-shaped data. It is all the more interesting to see how a careful inspection of both, the XML tree structure as wel...
Jens Teubner
ICFP
2005
ACM
14 years 4 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...