-
Article
Domain Specific High-Level Constraints for User Interface Layout
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a graphical user interface (GUI). Most GUI frameworks offer layout ...
-
Chapter and Conference Paper
Simulating forward-branching systems with constructor systems
Strongly sequential constructor systems admit a very efficient algorithm to compute normal forms. The class of forward-branching systems contains the class of strongly sequential constructor systems, and admit...
-
Chapter and Conference Paper
Improving arithmetic performance using fine-grain unfolding
We present a transformation of intermediate code (EM code) for the equational programming language, that makes it possible for a partial evaluator to detect cases where boxing and unboxing of integer values ca...
-
Chapter and Conference Paper
On addition schemes
We review a class of addition chains that are suboptimal but close to optimal. Addition chains in this class are generated by a very efficient algorithm. We present evidence that traditional algorithms for exp...
-
Chapter and Conference Paper
Optimizing equational programs
Equational programming [HO82b] involves replacing subterms in a term according to a set of equations or rewrite rules. Each time an equation is applied to the term, the subterm that matches the left hand side of ...
