default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. CC 1994: Edinburgh, U.K.
- Peter Fritzson:
Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings. Lecture Notes in Computer Science 786, Springer 1994, ISBN 3-540-57877-3
Semantics Specification I
- Peter Ørbæk:
OASIS: An Optimizing Action-Based Compiler Generator. 1-15 - Hermano P. Moura, David A. Watt:
Action Transformations in the ACTRESS Compiler Generator. 16-60 - Görel Hedin:
An Overview of Door Attribute Grammars. 31-51 - Gilles Roussel, Didier Parigot, Martin Jourdan:
Coupling Evaluators for Attribute Coupled Grammars. 52-67
Functional Languages
- Michael Hanus
:
Towards the Global Optimization of Functional Logic Programs. 68-82 - Lal George, Florent Guillame, John H. Reppy:
A Portable and Optimizing Back End for the SML/NJ Compiler. 83-97 - Guido Hogen, Rita Loogen:
Efficient Organization of Control Structures in Distributed Implementations. 98-112 - Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster:
Implementing 2DT on a Multiprocessor. 113-127
Optimization I
- Andreas Fauth, Günter Hommel, Alois C. Knoll, Carsten Müller:
Global Code Selection of Directed Acyclic Graphs. 128-142 - Adrian Slowik, Georg Piepenbrock, Peter Pfahler:
Compiling Nested Loops for Limited Connectivity VLIWs. 143-157 - M. Anton Ertl, Andreas Krall:
Delayed Exceptions - Speculative Execution of Trapping Instructions. 158-171
Static Analysis & Abstract Interpretation
- Gerda Janssens, Wim Simoens:
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. 172-187 - Thomas E. Cheatham, Haiming Gao, Dan C. Stefanescu:
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. 188-202 - James S. Uhl, R. Nigel Horspool:
Flow Grammars - a Flow Analysis Methodology. 203-217
Semantics Specification II
- Ralf Lämmel, Günter Riedewald:
Provable Correctness of Prototype Interpreters in LDL. 218-232 - Arnd Poetzsch-Heffter:
Developing Efficient Interpreters Based on Formal Language Specifications. 233-247 - Johan Ringström, Peter Fritzson, Mikael Pettersson:
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. 248-262
Mixed Topics
- Terence John Parr, Russell W. Quong:
Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k). 263-277 - Martin Helmut Alt, Uwe Aßmann, Hans van Someren:
Cosy Compiler Phase Embedding with the CoSy Compiler Model. 278-293 - Martin Fränzle, Markus Müller-Olm:
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. 294-308
Parallelization
- Justiani, Laurie J. Hendren:
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler. 309-323 - Siegfried Benkner, Peter Brezany, Hans P. Zima:
Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler. 324-338 - Patricia Prather Pineo, Mary Lou Soffa:
A Practical Approach to the Symbolic Debugging of Parallelized Code. 339-356
Data-Flow Analysis
- Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
Reducing the Cost of Data Flow Analysis By Congruence Partitioning. 357-373 - David W. Binkley:
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. 374-388 - Thomas W. Reps:
Solving Demand Versions of Interprocedural Analysis Problems. 389-403
Optimization II
- Abraham Mendlson, Shlomit S. Pinter, Ruth Shtokhamer:
Compile Time Instruction Cache Optimizations. 404-418 - Uma Mahadevan, Sridhar Ramakrishnan:
Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks. 419-434 - Jan Hoogerbrugge, Henk Corporaal:
Transport-Triggering versus Operation-Triggering. 435-449
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
