1821 search results - page 253 / 365 » Security-Aware Program Transformations |
116
click to vote
SCP
1998
15 years 15 days ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
203
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
121
click to vote
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
108
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
158
Voted
DISCO
1993
15 years 5 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...