Sciweavers

9595 search results - page 334 / 1919
» Functional programming in C
Sort
View
POS
1990
Springer
15 years 10 months ago
Persistence and Type Abstraction Revisited
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
Atsushi Ohori, Ivan Tabkha, Richard C. H. Connor, ...
ECOOP
1995
Springer
15 years 10 months ago
Do Object-Oriented Languages Need Special Hardware Support?
Previous studies have shown that object-oriented programs have different execution characteristics than procedural programs, and that special object-oriented hardware can improve p...
Urs Hölzle, David Ungar
MP
2002
48views more  MP 2002»
15 years 6 months ago
Maximum stable set formulations and heuristics based on continuous optimization
The stability number (G) for a given graph G is the size of a maximum stable set in G. The Lov
Samuel Burer, Renato D. C. Monteiro, Yin Zhang
286
Voted

Book
269views
17 years 4 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper
SNPD
2003
15 years 8 months ago
Deductive and Inductive Methods for Program Synthesis
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
Jaan Penjam, Elena Sanko