ICCL 1998: Chicago, IL, USA

Proceedings of the 1998 International Conference on Computer Languages, ICCL '98, May 14-16, 1998, Chicago, IL, USA. IEEE Computer Society, online proceedings: http://computer.org/proceedings/iccl/8454/8454toc.htm

Session 1

Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn:
Security and Dynamic Class Loading in Java: A Formalization. 4-15
Electronic Edition (IEEE Computer Society DL) BibTeX
Alex Garthwaite, Scott Nettles:
Transactions for Java. 16-27
Electronic Edition (IEEE Computer Society DL) BibTeX
Christian S. Collberg, Clark D. Thomborson, Douglas Low:
Breaking Abstractions and Unstructuring Data Structures. 28-38
Electronic Edition (IEEE Computer Society DL) BibTeX
Roberto Ierusalimschy, Renato Cerqueira, Noemi de La Rocque Rodriguez:
Using Reflexivity to Interface with CORBA. 39-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 2

Riccardo Pucella:
Reactive Programming in Standard ML. 48-
Electronic Edition (IEEE Computer Society DL) BibTeX
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. 58-67
Electronic Edition (IEEE Computer Society DL) BibTeX
Luc Moreau, Christian Queinnec:
Distributed Computations Driven by Resource Consumption. 68-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 3

Soner Önder, Rajiv Gupta:
Automatic Generation of Microarchitecture Simulators. 80-89
Electronic Edition (IEEE Computer Society DL) BibTeX
John Matthews, Byron Cook, John Launchbury:
Microprocessor Specification in Hawk. 90-101
Electronic Edition (IEEE Computer Society DL) BibTeX
Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer:
The Template and Multiple Inheritance Approach into Attribute Grammars. 102-110
Electronic Edition (IEEE Computer Society DL) BibTeX
Ian Poole, Craig Ewington, Arthur Joones, Steve Wille:
Combining Functional and Object-Oriented Programming Methodologies in a Large Commercial Application. 111-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 4

William L. Harrison, Samuel N. Kamin:
Modular Compilers Based on Monad Transformers. 122-131
Electronic Edition (IEEE Computer Society DL) BibTeX
François Noël, Luke Hornof, Charles Consel, Julia L. Lawall:
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. 132-142
Electronic Edition (IEEE Computer Society DL) BibTeX
M. Beckman, Samuel N. Kamin:
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. 143-152
Electronic Edition (IEEE Computer Society DL) BibTeX
Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu:
Parallelization via Context Preservation. 153-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 5

Hongseok Yang, Howard Huang:
Type Reconstruction for Syntactic Control of Interference, Part 2. 164-173
Electronic Edition (IEEE Computer Society DL) BibTeX
Alessandra Di Pierro, Herbert Wiklicky:
An Operational Semantics for Probabilistic Concurrent Constraint Programming. 174-183
Electronic Edition (IEEE Computer Society DL) BibTeX
Mitchell Wand, William D. Clinger:
Set Constraints for Destructive Array Update Optimization. 184-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 6

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. 196-205
Electronic Edition (IEEE Computer Society DL) BibTeX
Yanhong A. Liu:
Dependence Analysis for Recursive Data. 206-215
Electronic Edition (IEEE Computer Society DL) BibTeX
Oliver Rüthing:
Optimal Code Motion in the Presence of Large Expressions. 216-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 7

Rajiv Gupta, David A. Berson, Jesse Zhixi Fang:
Path Profile Guided Partial Redundancy Elimination Using Speculation. 230-239
Electronic Edition (IEEE Computer Society DL) BibTeX
Robert G. Burger, R. Kent Dybvig:
An Infrastructure for Profile-Driven Dynamic Recompilation. 240-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session 8

Jens Knoop:
Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. 252-261
Electronic Edition (IEEE Computer Society DL) BibTeX
Yanhong A. Liu, Scott D. Stoller:
Loop Optimization for Aggregate Array Computations. 262-271
Electronic Edition (IEEE Computer Society DL) BibTeX
James B. Fenwick Jr., Lori L. Pollock:
Data Flow Analysis across Tuplespace Process Boundaries. 272-
Electronic Edition (IEEE Computer Society DL) BibTeX