3713 search results - page 154 / 743 » Constructing a Calculus of Programs |
105
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
133
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
116
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
147
Voted
TEI
2010
ACM
15 years 10 months ago
2010
ACM
This paper describes Kinematics: a novel construction toy for children consisting of both active (shape-changing or rotating) and passive building blocks. In comparison to similar...
135
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...