Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | João Saraiva, S. Doaitse Swierstra |
Data Structure Free Compilation. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mark van den Brand, Paul Klint, Pieter A. Olivier |
Compilation and Memory Management for ASF+SDF. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio |
Tool Support for Language Design and Prototyping with Montages. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Boekhold, Ireneusz Karkowski, Henk Corporaal, Andrea G. M. Cilio |
A Programmable ANSI C Transformation Engine. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Saumya K. Debray, Robert Muth, Scott A. Watterson |
Link-Time Improvement of Scheme Programs. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Chihong Zhang, Ramaswamy Govindarajan, Sean Ryan, Guang R. Gao |
Efficient State-Diagram Construction Methods for Software Pipelining. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tom Tourwé, Wolfgang De Meuter |
Optimizing Object-Oriented Languages Through Architechtural Transformations. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Thilo Ernst |
TRAPing Modelica with Python. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Anthony M. Sloane |
Debugging Eli-Generated Compilers With Noosa. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Oliver Rüthing, Bernhard Steffen |
Expansion-Based Removal of Semantic Partial Redundancies. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Rivera, Chau-Wen Tseng |
A Comparison of Compiler Tiling Algorithms. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hideki Saito 0001, Nicholas Stavrakos, Steven Carroll, Constantine D. Polychronopoulos, Alexandru Nicolau |
The Design of the PROMIS Compiler. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kästner, Marc Langenbach |
Code Optimization by Integer Linear Programming. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Shai Rubin, David Bernstein, Michael Rodeh |
Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Jähnichen (eds.) |
Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Liberatore, Martin Farach-Colton, Ulrich Kremer |
Evaluation of Algorithms for Local Register Allocation. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | David Melski, Thomas W. Reps |
Interprocedural Path Profiling. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Devang Patel, Lawrence Rauchwerger |
Implementation Issues of Loop-Level Speculative Run-Time Parallelization. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Flow Logics for Constraint Based Analysis. |
CC |
1998 |
DBLP DOI BibTeX RDF |
Program analysis, data flow analysis, attribute grammars, control flow analysis, constraint based analysis |
1 | K. Rustan M. Leino, Greg Nelson |
An Extended Static Checker for Modular-3. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pasquale Malacaria, Chris Hankin |
A New Approach to Control Flow Analysis. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Florian Martin 0001, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand |
Analysis of Loops. |
CC |
1998 |
DBLP DOI BibTeX RDF |
program analyzer generator, call string approach, functional approach, program analysis, loops |
1 | Kai Koskimies (eds.) |
Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Dirk Koschützki, Bernhard Steffen |
Basic-Block Graphs: Living Dinosaurs? |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin Maierhofer, M. Anton Ertl |
Local Stack Allocation. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Esther Stümpel, Michael Thies, Uwe Kastens |
VLIW Compilation Techniques for Superscalar Architectures. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Robert Kennedy, Fred C. Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich |
Strength Reduction via SSAPRE. |
CC |
1998 |
DBLP DOI BibTeX RDF |
linear function test replacement, program transformation, program analysis, data flow analysis, program optimization, Code motion, partial redundancy elimination, static single assignment, strength reduction, dead code elimination, induction variables |
1 | Rakesh Ghiya, Laurie J. Hendren, Yingchun Zhu |
Detecting Parallelism in C Programs with Recursive Darta Structures. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Gupta 0001 |
A Code Motion Framework for Global Instruction Scheduling. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Johnstone, Elizabeth Scott |
Generalised Recursive Descent parsing and Fellow-Determinism. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Kastens, Peter Pfahler, Matthias T. Jung |
The Eli System. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Brouwer, Wolfgang Gellerich, Erhard Plödereder |
Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis. |
CC |
1998 |
DBLP DOI BibTeX RDF |
Finite Automata, Lexical Analysis, Scanner, Run-time Efficiency |
1 | John Boyland |
Analyzing Direct Non-local Dependencies in Attribute Grammars. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Mizushima, Takuya Katayama |
Storage Allocation Strategies for Recursive Attributes Evaluators. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Steindl |
Intermodular Slicing of Object-oriented Programs. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Lelait, Guang R. Gao, Christine Eisenbeis |
A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lapkowski, Laurie J. Hendren |
Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Margaret M. Burnett |
Challenges and Oppurtunities Visual Programming Languages Bring to Programming Language Research. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | R. L. Engelbrecht, Derrick G. Kourie |
Issues in Translating Smalltalk into Java. |
CC |
1998 |
DBLP DOI BibTeX RDF |
Java byte code, instance methods, class methods, Java, object oriented programming, reflection, translation, Smalltalk |
1 | Volker Braun, Jens Knoop, Dirk Koschützki |
Cool: A Control-Flow Generator for System Analysis. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Keith D. Cooper, L. Taylor Simpson |
Live Range Splitting in a Graph Coloring Register Allocator. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Matthijs F. Kuiper, João Saraiva |
Lrc - A Generator for Incremental Language-Oriented Tools. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Pettersson |
Portable Debugging and Profiling. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Pettersson |
A Compiler for Natural Semantics. |
CC |
1996 |
DBLP DOI BibTeX RDF |
tailcalls, continuations, natural semantics, determinacy |
1 | Todd A. Proebsting, Benjamin R. Whaley |
One-Pass, Optimal Tree Parsing - With Or Without Trees. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jan Vitek, R. Nigel Horspool |
Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jong-Deok Choi, Vivek Sarkar, Edith Schonberg |
Incremental Computation of Static Single Assignment Form. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bjarne Steensgaard |
Points-to Analysis by Type Inference of Programs with Structures and Unions. |
CC |
1996 |
DBLP DOI BibTeX RDF |
interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs |
1 | Daniel J. Salomon |
Using Partial Evaluation in Support of Portability, Reusability, and Maintainability. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | William M. Waite |
Compiler Construction: Craftmanship or Engineering? |
CC |
1996 |
DBLP DOI BibTeX RDF |
complexity, formal methods, modularity, Problem solving, reusability |
1 | M. Anton Ertl, Andreas Krall |
Removing Anti Dependences by Repairing. |
CC |
1996 |
DBLP DOI BibTeX RDF |
anti dependence, instruction-level parallelism, speculative execution, repairing, register renaming |
1 | Peter Fritzson, Roland Wismüller, Olav Hansen, Jonas Sala, Peter Skov |
A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jack W. Davidson, Sanjay Jinturkar |
Aggressive Loop Unrolling in a Retargetable Optimizing Compiler. |
CC |
1996 |
DBLP DOI BibTeX RDF |
Code improving transformations, Compiler optimizations, Loop transformations, Loop unrolling |
1 | Jian Wang, Guang R. Gao |
Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops. |
CC |
1996 |
DBLP DOI BibTeX RDF |
Very Long Instruction Word(VLIW), Instruction-Level Parallelism, Software Pipelining, Superscalar, Nested Loop, Loop Scheduling, Fine-Grain Parallelism |
1 | Basim M. Kadhim, William M. Waite |
Maptool - Supporting Modular Syntax Development. |
CC |
1996 |
DBLP DOI BibTeX RDF |
parsing grammar, syntax development, syntax mapping, modularity, Abstract syntax, concrete syntax, tree construction |
1 | Peter Pfahler, Georg Piepenbrock |
A Comparison of Modulo Scheduling Techniques for Software Pipelining. |
CC |
1996 |
DBLP DOI BibTeX RDF |
Instruction Level Parallelism, Software Pipelining, VLIW, Superscalar Processors |
1 | Johan Janssen, Henk Corporaal |
Controlled Node Splitting. |
CC |
1996 |
DBLP DOI BibTeX RDF |
compilation, instruction level parallelism, reducibility, control flow graphs, node splitting, irreducibility |
1 | Dominique Boucher, Marc Feeley |
Abstract Compilation: A New Implementation Paradigm for Static Analysis. |
CC |
1996 |
DBLP DOI BibTeX RDF |
compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis |
1 | Jan Bosch |
Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Aßmann |
How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems. |
CC |
1996 |
DBLP DOI BibTeX RDF |
optimization, specification, program transformation, Program analysis, graph rewrite systems |
1 | Tibor Gyimóthy (eds.) |
Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philippe McLean, R. Nigel Horspool |
A Faster Earley Parser. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Cifuentes |
Structuring Decompiled Graphs. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Fred C. Chow, Sun Chan, Shin-Ming Liu, Raymond Lo, Mark Streich |
Effective Representation of Aliases and Indirect Memory Operations in SSA Form. |
CC |
1996 |
DBLP DOI BibTeX RDF |
Factoring dependences, Indirect memory operations, Value numbering, Aliasing, Hash tables, Program representation, Static single assignment |
1 | Zhonghua Li, Chris C. Kirkham |
Efficient Storage Reuse of Aggregates in Single Assignment Languages. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen |
Non-monotone Fixpoint Iterations to Resolve Second Order Effects. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Clark Verbrugge, Phong Co, Laurie J. Hendren |
Generalized Constant Propagation: A Study in C. |
CC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Albert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas |
Code Generation = A* + BURS. |
CC |
1996 |
DBLP DOI BibTeX RDF |
code generation, search algorithms, term rewrite systems, compiler generators, formal techniques |
1 | Ralf Lämmel, Günter Riedewald |
Provable Correctness of Prototype Interpreters in LDL. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Slowik, Georg Piepenbrock, Peter Pfahler |
Compiling Nested Loops for Limited Connectivity VLIWs. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Markus Müller-Olm |
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Towards the Global Optimization of Functional Logic Programs. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Helmut Alt, Uwe Aßmann, Hans van Someren 0001 |
Cosy Compiler Phase Embedding with the CoSy Compiler Model. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hermano P. Moura, David A. Watt |
Action Transformations in the ACTRESS Compiler Generator. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Justiani, Laurie J. Hendren |
Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Abraham Mendlson, Shlomit S. Pinter, Ruth Shtokhamer |
Compile Time Instruction Cache Optimizations. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoogerbrugge, Henk Corporaal |
Transport-Triggering versus Operation-Triggering. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Fauth, Günter Hommel, Alois C. Knoll, Carsten Müller |
Global Code Selection of Directed Acyclic Graphs. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Lal George, Florent Guillame, John H. Reppy |
A Portable and Optimizing Back End for the SML/NJ Compiler. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Thomas E. Cheatham, Haiming Gao, Dan C. Stefanescu |
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David W. Binkley |
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Guido Hogen, Rita Loogen |
Efficient Organization of Control Structures in Distributed Implementations. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Johan Ringström, Peter Fritzson, Mikael Pettersson |
Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa |
Reducing the Cost of Data Flow Analysis By Congruence Partitioning. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps |
Solving Demand Versions of Interprocedural Analysis Problems. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster |
Implementing 2DT on a Multiprocessor. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Ørbæk |
OASIS: An Optimizing Action-Based Compiler Generator. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Uma Mahadevan, Sridhar Ramakrishnan |
Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Siegfried Benkner, Peter Brezany, Hans P. Zima |
Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Terence John Parr, Russell W. Quong |
Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k). |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | M. Anton Ertl, Andreas Krall |
Delayed Exceptions - Speculative Execution of Trapping Instructions. |
CC |
1994 |
DBLP DOI BibTeX RDF |
instruction-level parallelism, software pipelining, exception, speculative execution, superscalar |
1 | James S. Uhl, R. Nigel Horspool |
Flow Grammars - a Flow Analysis Methodology. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerda Janssens, Wim Simoens |
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Roussel 0001, Didier Parigot, Martin Jourdan |
Coupling Evaluators for Attribute Coupled Grammars. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter |
Developing Efficient Interpreters Based on Formal Language Specifications. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fritzson (eds.) |
Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Prather Pineo, Mary Lou Soffa |
A Practical Approach to the Symbolic Debugging of Parallelized Code. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Görel Hedin |
An Overview of Door Attribute Grammars. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Deryck Forsyth Brown, Hermano P. Moura, David A. Watt |
Actress: An Action Semantics Directed Compiler Generator. |
CC |
1992 |
DBLP DOI BibTeX RDF |
|
1 | M. Anton Ertl, Andreas Krall |
Instruction Scheduling for Complex Pipelines. |
CC |
1992 |
DBLP DOI BibTeX RDF |
|