Show
Sort by
-
The truth, the whole truth, and nothing but the truth : a pragmatic guide to assessing empirical evaluations
-
Refactoring using type constraints
-
A practical interprocedural dominance algorithm
-
- Journal Article
- A1
- open access
Calculational semantics: deriving programming theories from equations by functional predicate calculus
-
Link-time binary rewriting techniques for program compaction
-
- Journal Article
- A1
- open access
Functional declarative language design and predicate calculus: A practical approach
-
Compiler techniques for code compaction.
-
- Journal Article
- A1
- open access
THE EUCLIDEAN DEFINITION OF THE FUNCTIONS DIV AND MOD