127 search results - page 4 / 26 » Compiler Verification in LF |
125
Voted
PLDI
2010
ACM
16 years 6 days 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...
138
Voted
CASES
2007
ACM
15 years 6 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...
98
Voted
RTA
2007
Springer
15 years 9 months ago
2007
Springer
114
Voted
ITP
2010
15 years 4 months ago
2010
104
Voted
AMAST
2010
Springer
14 years 9 months ago
2010
Springer