Programming Languages

22

click to vote

PLILP
1997
Springer

71views Programming Languages» more PLILP 1997»

Reflections on Reflections

13 years 12 months ago

Download badars.110mb.com

Gilles Barthe, John Hatcliff, Morten Heine S&oslas...

claim paper

Read More »

29

click to vote

PLILP
1997
Springer

96views Programming Languages» more PLILP 1997»

Narrowing the Narrowing Space

13 years 12 months ago

Download web.cecs.pdx.edu

We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to ﬁnd a ﬁnite representation of an inﬁnite narrowing space...

Sergio Antoy, Zena M. Ariola

claim paper

Read More »

28

click to vote

JMLC
1997
Springer

180views Programming Languages» more JMLC 1997»

An Object-Oriented Database Programming Environment for Oberon

13 years 12 months ago

Download members.home.nl

Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...

Jacques Supcik, Moira C. Norrie

claim paper

Read More »

19

click to vote

JMLC
1997
Springer

91views Programming Languages» more JMLC 1997»

Lightweight Parametric Polymorphism for Oberon

13 years 12 months ago

Download research.microsoft.com

Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...

Paul Roe, Clemens A. Szyperski

claim paper

Read More »

20

click to vote

POPL
1996
ACM

82views Programming Languages» more POPL 1996»

Points-to Analysis in Almost Linear Time

13 years 12 months ago

Download www.cs.utsa.edu

Bjarne Steensgaard

claim paper

Read More »

13

click to vote

POPL
1996
ACM

98views Programming Languages» more POPL 1996»

Solving Shape-Analysis Problems in Languages with Destructive Updating

13 years 12 months ago

Download www-plan.cs.colorado.edu

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

claim paper

Read More »

21

click to vote

POPL
1996
ACM

94views Programming Languages» more POPL 1996»

Pure versus Impure LISP

13 years 12 months ago

Download www.cparity.com

Nicholas Pippenger

claim paper

Read More »

22

click to vote

POPL
1996
ACM

88views Programming Languages» more POPL 1996»

Discovering Auxiliary Information for Incremental Computation

13 years 12 months ago

Download www.grammatech.com

This paper presents program analyses and transformations that discover a general class of auxiliary information for any incremental computation problem. Combining these techniques...

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

claim paper

Read More »

26

click to vote

POPL
1996
ACM

93views Programming Languages» more POPL 1996»

Using Parameterized Signatures to Express Modular Structure

13 years 12 months ago

Download web.cecs.pdx.edu

Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...

Mark P. Jones

claim paper

Read More »

22

click to vote

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

13 years 12 months ago