Sciweavers

4386 search results - page 15 / 878
» A Tamper-Resistant Programming Language System
Sort
View
ASPLOS
1994
ACM
13 years 11 months ago
LCM: Memory System Support for Parallel Language Implementation
James R. Larus, Brad Richards, Guhan Viswanathan
SAC
2011
ACM
12 years 10 months ago
Type harvesting: a practical approach to obtaining typing information in dynamic programming languages
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
POPL
2002
ACM
14 years 8 months ago
A type system for certified binaries
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...