2251 search results - page 43 / 451 » Specification and Implementation Problems for C |
118
click to vote
SERP
2003
15 years 3 months ago
2003
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
128
click to vote
ISBI
2004
IEEE
16 years 2 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
135
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
122
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
228
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...