Sciweavers

1675 search results - page 134 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
196
Voted
POPL
1994
ACM
15 years 8 months ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen
152
Voted
PPDP
2004
Springer
15 years 10 months ago
Semi-naive evaluation in linear tabling
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato
125
Voted
HOPL
1993
15 years 8 months ago
The Evolution of Lisp
Lisp is the world’s greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dial...
Guy L. Steele Jr., Richard P. Gabriel
ADAEUROPE
2009
Springer
15 years 11 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
IWOMP
2007
Springer
15 years 10 months ago
Problems, Workarounds and Possible Solutions Implementing the Singleton Pattern with C++ and OpenMP
Programs written in C++ and OpenMP are still relatively rare. This paper shows some problems with the current state of the OpenMP specification regarding C++. We illustrate the pr...
Michael Süß, Claudia Leopold