1194 search results - page 102 / 239 » A Calculus for Predicative Programming |
120
Voted
PODS
2010
ACM
15 years 7 months ago
2010
ACM
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
142
Voted
BIRTHDAY
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
152
Voted
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
119
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
110
Voted
SIAMJO
2002
15 years 2 months ago
2002
The paper deals with the calmness of a class of multifunctions in finite dimensions. Its first part is devoted to various conditions for calmness, which are derived in terms of cod...