686 search results - page 33 / 138 » Foundations for Bidirectional Programming |
66
Voted
CACM
2010
14 years 9 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...
BSN
2006
IEEE
15 years 1 months ago
2006
IEEE
The Alfred Mann Foundation is developing a network of up to 850 injectable devices that have stimulating, sensing and communication capabilities. Each of the devices is coordinated...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
85
Voted
JUCS
2008
14 years 9 months ago
2008
: Proxima is a generic structure editor suitable for a wide range of structured document types. It allows edit operations on the document structure as well as on its screen represe...
SAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...