Sciweavers

9595 search results - page 221 / 1919
» Functional programming in C
Sort
View
SOSP
2001
ACM
16 years 3 months ago
Untrusted Hosts and Confidentiality: Secure Program Partitioning
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...
EUROGP
2003
Springer
117views Optimization» more  EUROGP 2003»
15 years 11 months ago
Genetic Programming for Attribute Construction in Data Mining
Fernando E. B. Otero, Monique M. S. Silva, Alex Al...
140
Voted
CSL
2001
Springer
15 years 10 months ago
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
PODC
1998
ACM
15 years 10 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson