92 search results - page 8 / 19 » Structuring Optimizing Transformations and Proving Them Soun... |
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
Correlations between alleles after selection are an important source of information. Such correlations should be exploited for further search and thereby constitute the building bl...
ANLP
2000
14 years 10 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
82
Voted
VLDB
1987
ACM
15 years 28 days ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
110
click to vote
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
PADO
2001
Springer
15 years 1 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...