Sciweavers

10871 search results - page 103 / 2175

» A stable programming language

33

PLDI
1994
ACM

100views Programming Languages» more PLDI 1994»

Partial Dead Code Elimination

14 years 2 months ago

Partial Dead Code Elimination

Download www.st.informatik.tu-darmstadt.de

Jens Knoop, Oliver Rüthing, Bernhard Steffen

claim paper

Read More »

27

PLDI
1994
ACM

94views Programming Languages» more PLDI 1994»

Counting Solutions to Presburger Formulas: How and Why

14 years 2 months ago

Counting Solutions to Presburger Formulas: How and Why

Download www.lib.umd.edu

William Pugh

claim paper

Read More »

27

PLDI
1994
ACM

72views Programming Languages» more PLDI 1994»

Link-Time Optimization of Address Calculation on a 64-bit Architecture

14 years 2 months ago

Link-Time Optimization of Address Calculation on a 64-bit Architecture

Download www.hpl.hp.com

Amitabh Srivastava, David W. Wall

claim paper

Read More »

27

PLSA
1994

122views Programming Languages» more PLSA 1994»

Interconnecting Computers: Architecture, Technology, and Economics

14 years 2 months ago

Interconnecting Computers: Architecture, Technology, and Economics

Download research.microsoft.com

Butler W. Lampson

claim paper

Read More »

29

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

14 years 2 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

« Prev « First page 103 / 2175 Last » Next »