Sciweavers

2236 search results - page 3 / 448
» Language Independence and Language Tolerance in Logic Progra...
Sort
View
TOOLS
2000
IEEE
15 years 1 months ago
Automatic Generation of Fault-Tolerant CORBA-Services
Andreas Polze, Janek Schwarz, Miroslaw Malek
PPDP
2009
Springer
15 years 4 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus
IJCAI
1993
14 years 10 months ago
Representing Concurrent Actions in Extended Logic Programming
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
Chitta Baral, Michael Gelfond
PPDP
2007
Springer
15 years 3 months ago
Computing with subspaces
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
Sergio Antoy, Bernd Braßel
88
Voted
PEPM
2007
ACM
15 years 3 months ago
Tasks: language support for event-driven programming
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein