7103 search results - page 869 / 1421 » Program Generation and Components |
200
click to vote
LOPSTR
2004
Springer
16 years 6 days ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
162
click to vote
TLDI
2003
ACM
16 years 2 days ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
137
click to vote
CP
2003
Springer
16 years 1 days ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...
176
click to vote
GW
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
161
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...