686 search results - page 30 / 138 » Foundations for Bidirectional Programming |
108
click to vote
IPL
2008
15 years 2 months ago
2008
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
226
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
144
Voted
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
122
Voted
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
91
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...