Sciweavers

10871 search results - page 103 / 2175

» A stable programming language

122

Voted

PLDI
1994
ACM

100views Programming Languages» more PLDI 1994»

Partial Dead Code Elimination

15 years 7 months ago

Partial Dead Code Elimination

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

Jens Knoop, Oliver Rüthing, Bernhard Steffen

claim paper

Read More »

105

Voted

PLDI
1994
ACM

94views Programming Languages» more PLDI 1994»

Counting Solutions to Presburger Formulas: How and Why

15 years 7 months ago

Counting Solutions to Presburger Formulas: How and Why

Download www.lib.umd.edu

William Pugh

claim paper

Read More »

111

Voted

PLDI
1994
ACM

72views Programming Languages» more PLDI 1994»

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

15 years 7 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 »

103

Voted

PLSA
1994

122views Programming Languages» more PLSA 1994»

Interconnecting Computers: Architecture, Technology, and Economics

15 years 7 months ago

Interconnecting Computers: Architecture, Technology, and Economics

Download research.microsoft.com

Butler W. Lampson

claim paper

Read More »

110

Voted

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

15 years 7 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 »