Sciweavers

540 search results - page 3 / 108
» Protection in Programming-Language Translations
Sort
View
88
Voted
ESOP
2000
Springer
15 years 6 months ago
Faithful Translations between Polyvariant Flows and Polymorphic Types
Torben Amtoft, Franklyn A. Turbak
97
Voted
ESOP
2000
Springer
15 years 6 months ago
On the Translation of Procedures to Finite Machines
Markus Müller-Olm, Andreas Wolf
SIGADA
1998
Springer
15 years 6 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
ASPLOS
2012
ACM
13 years 10 months ago
Comprehensive kernel instrumentation via dynamic binary translation
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
Peter Feiner, Angela Demke Brown, Ashvin Goel