211 search results - page 16 / 43 » Reflective Programming in the Relational Algebra |
97
Voted
ENTCS
2006
14 years 9 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
104
click to vote
VLDB
1994
ACM
15 years 1 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
106
click to vote
GSN
2009
Springer
15 years 2 months ago
2009
Springer
The understanding of complex environmental phenomena, such as deforestation and epidemics, requires observations at multiple scales. This scale dependency is not handled well by to...
106
click to vote
JLP
2008
14 years 8 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...