127 search results - page 4 / 26 » Compiler Verification in LF |
PLDI
2010
ACM
14 years 4 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
RTA
2007
Springer
14 years 1 months ago
2007
Springer
ITP
2010
13 years 9 months ago
2010
AMAST
2010
Springer
13 years 2 months ago
2010
Springer