Partial evaluation of high-level imperative programming languages with applications in hard real-time systems

Author(s):  
Vivek Nirkhe ◽  
William Pugh
Author(s):  
Giorgio Bruno ◽  
Andrea Castella ◽  
Gianpaolo Macario ◽  
Marco P. Pescarmona

2016 ◽  
Vol 44 (6) ◽  
pp. 1296-1336 ◽  
Author(s):  
Martin Frieb ◽  
Ralf Jahr ◽  
Haluk Ozaktas ◽  
Andreas Hugl ◽  
Hans Regler ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document