3481 search results - page 409 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
170
click to vote
AMAST
1991
Springer
15 years 8 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
157
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
160
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
172
click to vote
JLP
2011
14 years 11 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
158
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...