|
Conferences in DBLP
- Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
Security and Dynamic Class Loading in Java: A Formalization. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:4-15 [Conf]
- Alex Garthwaite, Scott Nettles
Transactions for Java. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:16-27 [Conf]
- Christian S. Collberg, Clark D. Thomborson, Douglas Low
Breaking Abstractions and Unstructuring Data Structures. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:28-38 [Conf]
- Roberto Ierusalimschy, Renato Cerqueira, Noemi de La Rocque Rodriguez
Using Reflexivity to Interface with CORBA. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:39-0 [Conf]
- Riccardo Pucella
Reactive Programming in Standard ML. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:48-0 [Conf]
- Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:58-67 [Conf]
- Luc Moreau, Christian Queinnec
Distributed Computations Driven by Resource Consumption. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:68-0 [Conf]
- Soner Önder, Rajiv Gupta
Automatic Generation of Microarchitecture Simulators. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:80-89 [Conf]
- John Matthews, Byron Cook, John Launchbury
Microprocessor Specification in Hawk. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:90-101 [Conf]
- Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer
The Template and Multiple Inheritance Approach into Attribute Grammars. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:102-110 [Conf]
- Ian Poole, Craig Ewington, Arthur Joones, Steve Wille
Combining Functional and Object-Oriented Programming Methodologies in a Large Commercial Application. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:111-0 [Conf]
- William L. Harrison, Samuel N. Kamin
Modular Compilers Based on Monad Transformers. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:122-131 [Conf]
- François Noël, Luke Hornof, Charles Consel, Julia L. Lawall
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:132-142 [Conf]
- M. Beckman, Samuel N. Kamin
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:143-152 [Conf]
- Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu
Parallelization via Context Preservation. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:153-0 [Conf]
- Hongseok Yang, Howard Huang
Type Reconstruction for Syntactic Control of Interference, Part 2. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:164-173 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
An Operational Semantics for Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:174-183 [Conf]
- Mitchell Wand, William D. Clinger
Set Constraints for Destructive Array Update Optimization. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:184-0 [Conf]
- Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:196-205 [Conf]
- Yanhong A. Liu
Dependence Analysis for Recursive Data. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:206-215 [Conf]
- Oliver Rüthing
Optimal Code Motion in the Presence of Large Expressions. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:216-0 [Conf]
- Rajiv Gupta, David A. Berson, Jesse Zhixi Fang
Path Profile Guided Partial Redundancy Elimination Using Speculation. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:230-239 [Conf]
- Robert G. Burger, R. Kent Dybvig
An Infrastructure for Profile-Driven Dynamic Recompilation. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:240-0 [Conf]
- Jens Knoop
Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:252-261 [Conf]
- Yanhong A. Liu, Scott D. Stoller
Loop Optimization for Aggregate Array Computations. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:262-271 [Conf]
- James B. Fenwick Jr., Lori L. Pollock
Data Flow Analysis across Tuplespace Process Boundaries. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:272-0 [Conf]
|