1598 search results - page 85 / 320 » A Unified Computation Model for Functional and Logic Program... |
158
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Recent trends in the semiconductor industry have resulted in an increasing demand for low power circuits. POSE is a step in providing the EDA community and academia with an enviro...
150
click to vote
ESOP
2012
Springer
14 years 1 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
148
click to vote
TOC
2008
15 years 6 months ago
2008
Abstract: This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and polynomials over GF(2)....
159
click to vote
LICS
2009
IEEE
16 years 22 days ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
144
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...