Sciweavers

4386 search results - page 11 / 878
» A Tamper-Resistant Programming Language System
Sort
View
132
Voted
ESOP
1992
Springer
15 years 10 months ago
A Semantics for Multiprocessor Systems
Padmanabhan Krishnan
APLAS
2001
ACM
15 years 10 months ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han