1532 search results - page 175 / 307 » An Algebraic Process Calculus |
122
click to vote
ISCI
2008
15 years 4 months ago
2008
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify re...
131
click to vote
JLP
2006
15 years 4 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
107
click to vote
ENTCS
2000
15 years 4 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
144
click to vote
JAR
2010
14 years 11 months ago
2010
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
136
click to vote
ITICSE
2000
ACM
15 years 9 months ago
2000
ACM
We are concerned about a view in undergraduate computer science education, especially in the early courses, that it’s okay to be math-phobic and still prepare oneself to become ...