Sciweavers

3311 search results - page 264 / 663
» Deductive Object Programming
Sort
View
GCSE
1999
Springer
15 years 6 months ago
Aspect-Oriented Compilers
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk
109
Voted
CONCURRENCY
2004
124views more  CONCURRENCY 2004»
15 years 2 months ago
Checking ownership and confinement
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
Alex Potanin, James Noble, Robert Biddle
153
Voted
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 5 months ago
Oracle in-database hadoop: when mapreduce meets RDBMS
Big data is the tar sands of the data world: vast reserves of raw gritty data whose valuable information content can only be extracted at great cost. MapReduce is a popular parall...
Xueyuan Su, Garret Swart
147
Voted
PLDI
2012
ACM
13 years 5 months ago
Diderot: a parallel DSL for image analysis and visualization
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
Charisee Chiw, Gordon Kindlmann, John Reppy, Lamon...
120
Voted
WCRE
2009
IEEE
15 years 9 months ago
The Logical Modularity of Programs
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
Daniel Ratiu, Radu Marinescu, Jan Jürjens