6054 search results - page 433 / 1211 » Implementation of Andorra-based Languages |
255
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
215
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
237
click to vote
ICFP
2012
ACM
13 years 10 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
192
click to vote
CASES
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...
321
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...