745 search results - page 115 / 149 » The Functional Side of Logic Programming |
76
Voted
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
—An AND-OR-EXOR network, where the output EXOR gate has only two inputs, is one of the simplest three-level architecture. This network realizes an EXOR of two sum-of-products exp...
135
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
147
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
123
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
235
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...