1320 search results - page 62 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
121
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
144
click to vote
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
139
click to vote
CORR
2004
Springer
15 years 2 months 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...
167
click to vote
AI
2001
Springer
15 years 6 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
123
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...