Sciweavers

3311 search results - page 221 / 663
» Deductive Object Programming
Sort
View
ICPPW
2008
IEEE
15 years 8 months ago
Non-Contiguous I/O Support for Object-Based Storage
The access patterns performed by disk-intensive applications vary widely, from simple contiguous reads or writes through an entire file to completely unpredictable random access....
Dennis Dalessandro, Ananth Devulapalli, Pete Wycko...
POPL
2007
ACM
16 years 2 months ago
Conditional must not aliasing for static race detection
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
Mayur Naik, Alex Aiken
ICFP
2005
ACM
16 years 2 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...
148
Voted
CGVR
2008
15 years 3 months ago
Generating Smooth Virtual Reality Maps Using 3D Building Blocks
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...
Bradley J. Wimpey, Walter D. Potter
POPL
2005
ACM
16 years 2 months ago
Environmental acquisition revisited
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
Richard Cobbe, Matthias Felleisen