359 search results - page 2 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
POPL
2010
ACM
14 years 2 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
PERVASIVE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
MEMOCODE
2008
IEEE
13 years 12 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
SBMF
2009
Springer
14 years 7 hour ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
TFM
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...