Sciweavers

4370 search results - page 167 / 874
» Algebra of Logic Programming
Sort
View
LPAR
2010
Springer
13 years 8 months ago
Program Logics for Homogeneous Meta-programming
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
Martin Berger, Laurence Tratt
CORR
2010
Springer
118views Education» more  CORR 2010»
13 years 10 months ago
A view of canonical extension
Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions o...
Mai Gehrke, Jacob Vosmaer
IFIPTCS
2010
13 years 8 months ago
Convexity, Duality and Effects
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
Bart Jacobs
COCO
1993
Springer
133views Algorithms» more  COCO 1993»
14 years 2 months ago
On Span Programs
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
Mauricio Karchmer, Avi Wigderson
ERSHOV
1999
Springer
14 years 3 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...