Sciweavers

27119 search results - page 204 / 5424
» Languages
Sort
View
JMLC
2000
Springer
15 years 7 months ago
Derivation of Secure Parallel Applications by Means of Module Embedding
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
Atanas Radenski
235
Voted

Book
351views
17 years 1 months ago
The Implementation of Functional Programming Languages
A great book about the Implementation of Functional Programming Languages.
Simon Peyton Jones
POPL
2001
ACM
16 years 4 months ago
BI as an Assertion Language for Mutable Data Structures
Samin S. Ishtiaq, Peter W. O'Hearn