1131 search results - page 156 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
103
Voted
JAR
2002
15 years 6 days ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
96
Voted
FTEDA
2007
15 years 15 days ago
2007
Field-Programmable Gate Arrays (FPGAs) have become one of the key digital circuit implementation media over the last decade. A crucial part of their creation lies in their archite...
215
click to vote
POPL
2004
ACM
16 years 26 days ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
104
Voted
IPSN
2010
Springer
15 years 7 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...
114
Voted
CORR
2004
Springer
15 years 12 days ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...