8766 search results - page 100 / 1754 » Functional logic programming |
ITP
2010
15 years 1 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
IFIP
1994
Springer
15 years 1 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
EMSOFT
2001
Springer
15 years 2 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...