5090 search results - page 528 / 1018 » Constructing Strategies for Programming |
183
click to vote
POPL
2003
ACM
16 years 6 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
182
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
207
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
163
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
226
Voted
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...