150 search results - page 3 / 30 » Programming by sketching for bit-streaming programs |
POPL
2006
ACM
14 years 6 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
ECOOP
2007
Springer
14 years 6 days ago
2007
Springer
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...
GREC
2005
Springer
13 years 11 months ago
2005
Springer
This paper presents a solution for online composite sketchy shape recognition. The kernel of the strategy treats both stroke segmentation and sketch recognition as an optimization ...
UIST
2004
ACM
13 years 11 months ago
2004
ACM
We present SketchREAD, a multi-domain sketch recognition engine capable of recognizing freely hand-drawn diagrammatic sketches. Current computer sketch recognition systems are dif...
PPDP
2000
Springer
13 years 9 months ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...