Sciweavers

10585 search results - page 668 / 2117
» The Orc Programming Language
Sort
View
APLAS
2004
ACM
16 years 22 days ago
Pointcuts as Functional Queries
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
Michael Eichberg, Mira Mezini, Klaus Ostermann
184
Voted
ICCS
2003
Springer
16 years 15 days ago
A Parallel Virtual Machine for Bulk Synchronous Parallel ML
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
Frédéric Gava, Frédéri...
172
Voted
ESOP
2010
Springer
16 years 4 months ago
Amortized Resource Analysis with Polynomial Potential - A Static Inference of Polynomial Bounds for Functional Programs
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
Jan Hoffmann and Martin Hofmann
182
Voted
SMALLTALK
2007
Springer
16 years 1 months ago
Bridging the gap between morphic visual programming and smalltalk code
In this paper, we claim that both prototype-based visual programming and traditional Smalltalk class-based programming are required for developing applications with a GUI. We intro...
Noury Bouraqadi, Serge Stinckwich
ASPLOS
2006
ACM
16 years 1 months ago
A program transformation and architecture support for quantum uncomputation
  Quantum  computing’s  power  comes  from  new  algorithms  that exploit quantum mechanical phenomena for computation. Quantum algorithms  are  different  from...
Ethan Schuchman, T. N. Vijaykumar