Sciweavers

9595 search results - page 20 / 1919

» Functional programming in C

22

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

13 years 12 months ago

Contracts: From Analysis to C++ Implementation

Download www.swe.uni-linz.ac.at

Reinhold Plösch, Josef Pichler

claim paper

Read More »

29

PLDI
1992
ACM

159views Programming Languages» more PLDI 1992»

Eliminating Branches using a Superoptimizer and the GNU C Compiler

13 years 11 months ago

Eliminating Branches using a Superoptimizer and the GNU C Compiler

Download gmplib.org

Torbjörn Granlund, Richard Kenner

claim paper

Read More »

21

TOOLS
1992
IEEE

88views Programming Languages» more TOOLS 1992»

13 years 11 months ago

Download www2.research.att.com

M. Mowbray

claim paper

Read More »

25

PADL
2000
Springer

96views Programming Languages» more PADL 2000»

GNU Prolog: Beyond Compiling Prolog to C

13 years 11 months ago

GNU Prolog: Beyond Compiling Prolog to C

Download gprolog.univ-paris1.fr

Daniel Diaz, Philippe Codognet

claim paper

Read More »

17

TOOLS
1991
IEEE

89views Programming Languages» more TOOLS 1991»

An Introduction to C++

13 years 11 months ago

An Introduction to C++

Download cprog.tomsweb.net

Stanley B. Lippman

claim paper

Read More »

« Prev « First page 20 / 1919 Last » Next »