Sciweavers

12452 search results - page 280 / 2491
» An exploration of program as language
Sort
View
PLDI
1999
ACM
15 years 11 months ago
Cache-Conscious Structure Layout
Hardware trends have produced an increasing disparity between processor speeds and memory access times. While a variety of techniques for tolerating or reducing memory latency hav...
Trishul M. Chilimbi, Mark D. Hill, James R. Larus
IJCAI
2007
15 years 8 months ago
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
Chitta Baral, Matt Hunsaker
ICFP
2009
ACM
16 years 7 months ago
Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez Yakushev, Andres Löh, Johan ...
POPL
2009
ACM
16 years 7 months ago
A foundation for flow-based program matching: using temporal logic and model checking
Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...
POPL
2001
ACM
16 years 7 months ago
The size-change principle for program termination
Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram