Sciweavers

4814 search results - page 28 / 963
» Combining abstract interpreters
Sort
View
SIGSOFT
2011
ACM
14 years 11 months ago
Static analysis by abstract interpretation of embedded critical software
Julien Bertrane, Patrick Cousot, Radhia Cousot, J&...
JCS
2010
66views more  JCS 2010»
14 years 11 months ago
Adjoining classified and unclassified information by abstract interpretation
Roberto Giacobazzi, Isabella Mastroeni
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
15 years 9 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer
SAC
2006
ACM
15 years 10 months ago
Implementing an embedded GPU language by combining translation and generation
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
Calle Lejdfors, Lennart Ohlsson