Sciweavers

10871 search results - page 359 / 2175
» A stable programming language
Sort
View
SIGADA
2005
Springer
16 years 28 days ago
Scheduling and memory requirements analysis with AADL
Frank Singhoff, Jérôme Legrand, Laure...
125
Voted
APLAS
2004
ACM
16 years 26 days ago
A Type Theory for Krivine-Style Evaluation and Compilation
Kwanghoon Choi, Atsushi Ohori