Bernard N. Fischer
Proceedings of the 11th Conference on Programming Language Design and Implementation
PLDI, 1990.

@proceedings{PLDI-1990,
	acmid         = "93542",
	address       = "White Plains, New York, USA",
	editor        = "Bernard N. Fischer",
	isbn          = "0-89791-364-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 11th Conference on Programming Language Design and Implementation}",
	year          = 1990,
}

Contents (30 items)

4 ×#source code
3 ×#analysis
3 ×#array
3 ×#compilation
3 ×#optimisation
2 ×#attribute grammar
2 ×#bound
2 ×#code generation
2 ×#dependence
2 ×#design

PLDI-1990-Giegerich #code generation #on the #specification

On the Structure of Verifiable Code Generator Specifications (RG), pp. 1–8.

PLDI-1990-Wendt #code generation #performance #using

Fast Code Generation Using Automatically-Generated Decision Trees (ALW), pp. 9–15.

PLDI-1990-PettisH

Profile Guided Code Positioning (KP, RCH), pp. 16–27.

PLDI-1990-SanthanamO #bound

Register Allocation Across Procedure and Module Boundaries (VS, DO), pp. 28–39.

PLDI-1990-Nickerson #graph #multi

Graph Coloring Register Allocation for Processors with Multi-Register Operands (BRN), pp. 40–52.

PLDI-1990-CallahanCK

Improving Register Allocation for Subscripted Variables (DC, SC, KK), pp. 53–65.

PLDI-1990-HiebDB #continuation #representation

Representing Control in the Presence of First-Class Continuations (RH, RKD, CB), pp. 66–77.

PLDI-1990-Kessler #design #implementation #performance

Fast Breakpoints: Design and Implementation (PBK), pp. 78–84.

PLDI-1990-PughW #inheritance #layout #multi

Two-Directional Record Layout for Multiple Inheritance (WP, GEW), pp. 85–91.

PLDI-1990-Clinger #float #how

How to Read Floating-Point Numbers Accurately (WDC), pp. 92–101.

PLDI-1990-LeeB #optimisation #source code

Optimizing Programs over the Constructive Reals (VALJ, HJB), pp. 102–111.

PLDI-1990-SteeleW #float #how

How to Print Floating-Point Numbers Accurately (GLSJ, JLW), pp. 112–126.

PLDI-1990-CormackW #parametricity

Type-Dependent Parameter Inference (GVC, AKW), pp. 127–136.

PLDI-1990-AndersonH #array #compilation #haskell

Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.

PLDI-1990-ChambersU #analysis #dynamic typing #object-oriented #optimisation #source code

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs (CC, DU), pp. 150–164.

PLDI-1990-Jacobs #constraints #logic programming #type system

Type Declarations as Subtype Constraints in Logic Programming (DJ), pp. 165–173.

PLDI-1990-DebrayLH #analysis #logic programming #source code

Task Granularity Analysis in Logic Programs (SKD, NWL, MVH), pp. 174–188.

PLDI-1990-MitsolidesH #alloy #generative #parallel

Generators and the Replicator Control Structures in the Parallel Environment of ALLOY (TM, MH), pp. 189–196.

PLDI-1990-TeitelbaumC #attribute grammar #editing #higher-order

Higher-Order Attribute Grammars and Editing Environments (TT, RC), pp. 197–208.

PLDI-1990-JourdanPJDB #attribute grammar #design #implementation

Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System (MJ, DP, CJ, OD, CLB), pp. 209–222.

PLDI-1990-HenryWF #compilation

The University of Washington Illustrating Compiler (RRH, KMW, BF), pp. 223–233.

PLDI-1990-Horwitz #difference #identification #semantics

Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.

PLDI-1990-AgrawalH #slicing

Dynamic Program Slicing (HA, JRH), pp. 246–256.

PLDI-1990-BallanceMO #dependence #imperative #representation #web

The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages (RAB, ABM, KJO), pp. 257–271.

PLDI-1990-Gupta #array #bound #fresh look #optimisation

A Fresh Look at Optimizing Array Bound Checking (RG), pp. 272–282.

PLDI-1990-AmmarguellatH #abstract interpretation #automation #induction #recognition

Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation (ZA, WLHI), pp. 283–295.

PLDI-1990-ChaseWZ #analysis #pointer

Analysis of Pointers and Structures (DRC, MNW, FKZ), pp. 296–310.

PLDI-1990-Tseng #array #compilation #linear #source code

Compiling Programs for a Linear Systolic Array (PST), pp. 311–321.

PLDI-1990-Sarkar #order #parallel

Instruction Reordering for Fork-Join Parallelism (VS), pp. 322–336.

PLDI-1990-CytronFS #dependence

Compact Representations for Control Dependence (RC, JF, VS), pp. 337–351.