Programming Languages

48

click to vote

PLILP
1997
Springer

71views Programming Languages» more PLILP 1997»

Reflections on Reflections

14 years 8 months ago

Download badars.110mb.com

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

claim paper

Read More »

56

click to vote

PLILP
1997
Springer

96views Programming Languages» more PLILP 1997»

Narrowing the Narrowing Space

14 years 8 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 »

60

click to vote

JMLC
1997
Springer

180views Programming Languages» more JMLC 1997»

An Object-Oriented Database Programming Environment for Oberon

14 years 8 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 »

42

click to vote

JMLC
1997
Springer

91views Programming Languages» more JMLC 1997»

Lightweight Parametric Polymorphism for Oberon

14 years 8 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 »

34

click to vote

POPL
1996
ACM

82views Programming Languages» more POPL 1996»

Points-to Analysis in Almost Linear Time

14 years 8 months ago

Download www.cs.utsa.edu

Bjarne Steensgaard

claim paper

Read More »

29

click to vote

POPL
1996
ACM

98views Programming Languages» more POPL 1996»

Solving Shape-Analysis Problems in Languages with Destructive Updating

14 years 8 months ago

Download www-plan.cs.colorado.edu

Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm

claim paper

Read More »

35

click to vote

POPL
1996
ACM

94views Programming Languages» more POPL 1996»

Pure versus Impure LISP

14 years 8 months ago

Download www.cparity.com

Nicholas Pippenger

claim paper

Read More »

43

click to vote

POPL
1996
ACM

88views Programming Languages» more POPL 1996»

Discovering Auxiliary Information for Incremental Computation

14 years 8 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 »

52

click to vote

POPL
1996
ACM

93views Programming Languages» more POPL 1996»

Using Parameterized Signatures to Express Modular Structure

14 years 8 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 »

44

click to vote

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

14 years 8 months ago