Sciweavers

6201 search results - page 18 / 1241
» Implementation of Axiomatic Language
Sort
View
195
Voted
ASPLOS
1994
ACM
15 years 11 months ago
LCM: Memory System Support for Parallel Language Implementation
James R. Larus, Brad Richards, Guhan Viswanathan
271
Voted
POPL
2007
ACM
16 years 7 months ago
Secure implementations of typed channel abstractions
Michele Bugliesi, Marco Giunti
120
Voted
ECOOP
2007
Springer
16 years 1 months ago
Joinpoint Inference from Behavioral Specification to Implementation
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad