Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy
Proceedings of the Third International Workshop on Static Analysis
WSA, 1993.

@proceedings{WSA-1993,
	address       = "Padova, Italy",
	editor        = "Patrick Cousot and Moreno Falaschi and Gilberto Filé and Antoine Rauzy",
	isbn          = "3-540-57264-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Workshop on Static Analysis}",
	volume        = 724,
	year          = 1993,
}

Contents (24 items)

4 ×#abstract interpretation
3 ×#analysis
3 ×#performance
3 ×#source code
2 ×#algorithm
2 ×#dependence
2 ×#fixpoint
2 ×#logic programming
2 ×#optimisation
2 ×#prolog

WSA-1993-HentenryckDCM #abstract interpretation #prolog

The Impact of Granularity in Abstract Interpretation of Prolog (PVH, OD, BLC, LM), pp. 1–14.

WSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog

Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.

WSA-1993-Jorgensen #dependence #fixpoint

Chaotic Fixpoint Iteration Guided by Dynamic Dependency (NJ), pp. 27–44.

WSA-1993-FergusonH #abstract interpretation #algorithm #performance #using

Fast Abstract Interpretation Using Sequential Algorithms (AF, JH), pp. 45–59.

WSA-1993-Fernandez #abstract interpretation #verification

Abstract Interpretation and Verification of Reactive Systems (JCF), pp. 60–71.

WSA-1993-CridligG #analysis #semantics

Semantics and Analysis of Linda-Based Languages (RC, EG), pp. 72–86.

WSA-1993-TalpinJ #compilation

Compiling FX on the CM-2 (JPT, PJ), pp. 87–98.

WSA-1993-MaffeisG #architecture #dependence

Combining Dependability with Architectural Adatability by Means of the SIGNAL Language (OM, PLG), pp. 99–110.

WSA-1993-Roy #challenge #logic programming #source code #static analysis

Challenges in Developing Useful and Practical Static Analysis for Logic Programs (PVR), p. 111.

WSA-1993-GluckK #process

Occam’s Razor in Metacompuation: the Notion of a Perfect Process Tree (RG, AVK), pp. 112–123.

WSA-1993-ChinK #multi #parametricity #recursion

Tupling Functions with Multiple Recursion Parameters (WNC, SCK), pp. 124–140.

WSA-1993-Thiemann #pattern matching #testing

Avoiding Repeated Tests in Pattern Matching (PT), pp. 141–152.

WSA-1993-BruynoogheC #correctness

Freeness, Sharing, Linearity and Correctness — All at Once (MB, MC), pp. 153–164.

WSA-1993-BoyePM #functional #logic programming #source code #synthesis

Synthesis of Directionality Information for Functional Logic Programs (JB, JP, JM), pp. 165–177.

WSA-1993-BertEO

Abstract Rewriting (DB, RE, BMØ), pp. 178–192.

WSA-1993-Hudak #optimisation

Reflections on Program Optimization (PH), p. 193.

WSA-1993-NielsonN #analysis #strict

Finiteness Conditions for Strictness Analysis (FN, HRN), pp. 194–205.

WSA-1993-Benton #algebra #data type #lazy evaluation #strict

Strictness Properties of Lazy Algebraic Datatypes (PNB), pp. 206–217.

WSA-1993-Amtoft

Minimal Thunkification (TA), pp. 218–229.

WSA-1993-KatoSI #abduction #performance #program analysis #reasoning

An Efficient Abductive Reasoning System Based on Program Analysis (SK, HS, HI), pp. 230–241.

WSA-1993-ErringtonHJ #congruence #source code

A Congruence for Gamma Programs (LE, CH, TPJ), pp. 242–253.

WSA-1993-WrightB #analysis #reduction

Usage Analysis with Natural Reduction Types (DAW, CABF), pp. 254–266.

WSA-1993-Monsuez #polymorphism

Polymorphic Types and Widening Operators (BM), pp. 267–281.

WSA-1993-SahlinS #named #static analysis

Demonstration: Static Analysis of AKL (DS, TS), pp. 282–283.