Sciweavers

150 search results - page 4 / 30
» Programming by sketching for bit-streaming programs
Sort
View
CP
2003
Springer
15 years 2 months ago
Toy(FD): Sketch of Operational Semantics
Antonio J. Fernández, Maria Teresa Hortal&a...
ECAI
2008
Springer
14 years 11 months ago
The Impact of Constraint Programming
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
Pascal Van Hentenryck
93
Voted
ENTCS
2007
102views more  ENTCS 2007»
14 years 9 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
VL
2008
IEEE
160views Visual Languages» more  VL 2008»
15 years 3 months ago
How designers design and program interactive behaviors
Designers are skilled at sketching and prototyping the look of interfaces, but to explore various behaviors (what the interface does in response to input) typically requires progr...
Brad A. Myers, Sun Young Park, Yoko Nakano, Greg M...
CG
2000
Springer
14 years 9 months ago
Drawing on the Back of an Envelope: a framework for interacting with application programs by freehand drawing
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
Mark D. Gross, Ellen Yi-Luen Do