Adrian Johnstone, Elizabeth Scott
págs. 577-618
A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler
Gerwin Klein, Tobias Nipkow
págs. 619-695
Fast Partial Evaluation of Pattern Matching in Strings
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
págs. 696-714
Message Analysis for Concurrent Programs Using Message Passing
Konstantinos Sagonas, Jesper Wilhelmsson, Richard Carlsson
págs. 715-746
págs. 747-793
© 2001-2024 Fundación Dialnet · Todos los derechos reservados