Code selection through object code optimization
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Optimization of parser tables for portable compilers
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A new analysis of LALR formalisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pushdown automata for user interface management
ACM Transactions on Graphics (TOG)
Program transformations in a denotational setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extended use of null productions in LR(1) parser applications
Communications of the ACM
Affix grammar driven code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A project-based course in compiler construction
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Unifying view of recent LALR(1) lookahead set algorithms
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Interprocedural constant propagation
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Alex - A simple and efficient scanner generator
ACM SIGPLAN Notices
ACM SIGPLAN Notices
An Instruction Issuing Approach to Enhancing Performance in Multiple Functional Unit Processors
IEEE Transactions on Computers
On the use of registers vs. cache to minimize memory traffic
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Formally based static analysis of microcode
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
APL as a prototyping language: case study of a compiler development project
APL '86 Proceedings of the international conference on APL
A linear algorithm for finding dominators in flow graphs and related problems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Parsing and compiling using Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Retargetable microcode synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transforming FORTRAN DO loops to improve performance on vector architectures
ACM Transactions on Mathematical Software (TOMS)
IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient augmented-context-free parsing algorithm
Computational Linguistics
The syntax of APL, an old approach revisited
APL '87 Proceedings of the international conference on APL: APL in transition
QUICKTALK: a Smalltalk-80 dialect for defining primitive methods
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Graph translation schemes to generate compiler parts
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward compiler implementation correctness proofs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Visual specification of blocks in programming languages
ACM SIGPLAN Notices
Response to remarks on recent algorithms for LALR lookahead sets
ACM SIGPLAN Notices
REAL: a program for REgister ALlocation
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Guided self-scheduling: A practical scheduling scheme for parallel supercomputers
IEEE Transactions on Computers
Compiler algorithms for synchronization
IEEE Transactions on Computers
Implementation of an optimizing compiler for VHDL
ACM SIGPLAN Notices
OPG: an optimizing parser generator
ACM SIGPLAN Notices
Regular right part programming languages
ACM SIGPLAN Notices
Theory of Clocking for Maximum Execution Overlap of High-Speed Digital Systems
IEEE Transactions on Computers
Recursive ascent: an LR analog to recursive descent
ACM SIGPLAN Notices
Generating interesting scenarios from system descriptions
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
An efficient approach to data flow analysis in a multiple pass global optimizer
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Control flow analysis in scheme
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Generating sequential code from parallel code
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Automatic discovery of parallelism: a tool and an experiment (extended abstract)
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Efficient interprocedural analysis for program parallelization and restructuring
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
An algorithm for microcode compaction of VHDL behavioral descriptions
ACM SIGMICRO Newsletter
Facet: A procedure for the automated synthesis of digital systems
25 years of DAC Papers on Twenty-five years of electronic design automation
A definition optimization technique used in a code translation algorithm
Communications of the ACM
Generation of Compiler Symbol Processing Mechanisms from Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient parallel algorithms for path problems in directed graphs
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
GRASP: a grammar-based schematic parser
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Copy elimination in functional languages
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Estimating the Speedup in Parallel Parsing
IEEE Transactions on Software Engineering
An approach to ordering optimizing transformations
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Compiler algorithms for event variable synchronization
ICS '91 Proceedings of the 5th international conference on Supercomputing
Finite-state approximations of grammars
HLT '90 Proceedings of the workshop on Speech and Natural Language
An improved storage management scheme for block structured languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGFORTH Newsletter
Using CS2 projects to introduce computer science concepts
ACM SIGCSE Bulletin
Implementing C function calls in rules for an expert system shell
ACM SIGPLAN Notices
Generation of Interactive Parsers with Error Handling
IEEE Transactions on Software Engineering
PCCTS reference manual: version 1.00
ACM SIGPLAN Notices
A bibliography on syntax error handling in context free languages
ACM SIGPLAN Notices
A pragmatic set operation and its implementation in C
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
Recognizing substrings of LR(k) languages in linear time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Syntactic diagrams as a tool for solving text-processing problems
ACM SIGCSE Bulletin
A further note on Hennessy's “Symbolic debugging of optimized code”
ACM Transactions on Programming Languages and Systems (TOPLAS)
A note on Hennessy's “symbolic debugging of optimized code”
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of multiple specialization in logic programs
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Compilation of optimized OBDD-algorithms
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Loop optimization for horizontal microcoded machines
ICS '90 Proceedings of the 4th international conference on Supercomputing
Optimization on instruction reorganization
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
Extending microcode compaction for real architectures
MICRO 20 Proceedings of the 20th annual workshop on Microprogramming
Compiling APL for parallel execution on an FFP machine
APL '85 Proceedings of the international conference on APL: APL and the future
Phase coupling for horizontal microcode generation
MICRO 20 Proceedings of the 20th annual workshop on Microprogramming
Design: a financial modelling system
APL '85 Proceedings of the international conference on APL: APL and the future
An introduction to STSC's APL compiler
APL '85 Proceedings of the international conference on APL: APL and the future
Adaptive forms: an interaction paradigm for entering structured data
IUI '98 Proceedings of the 3rd international conference on Intelligent user interfaces
“Maximal-munch” tokenization in linear time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Arithmetic optimization using carry-save-adders
DAC '98 Proceedings of the 35th annual Design Automation Conference
Retrospective on high-level language computer architecture
25 years of the international symposia on Computer architecture (selected papers)
Very long instruction work architectures and the ELI-512
25 years of the international symposia on Computer architecture (selected papers)
Maximally fast and arbitrarily fast implementation of linear computations
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
An Integrated Hardware/Software Data Prefetching Scheme for Shared-Memory Multiprocessors
International Journal of Parallel Programming
Ambiguity in context-free grammars
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
A new parallel LR parsing algorithm
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Automatic code generation for microprocessor based systems
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Synthesis techniques for digital systems design
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Synthesis of optimal clocking schemes
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Incremental compilation of optimized code
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Analyzing aliases of reference formal parameters
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constant propagation with conditional branches
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The aggregate update problem in functional programming systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Efficient tree pattern matching (extended abstract): an aid to code generation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Overview of a high-performance programmable pipeline structure
ICS '89 Proceedings of the 3rd international conference on Supercomputing
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
ICSE '85 Proceedings of the 8th international conference on Software engineering
A technique for prototyping directly from a specification
ICSE '85 Proceedings of the 8th international conference on Software engineering
Decompiling CODASYL DML into retional queries
ACM Transactions on Database Systems (TODS)
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems (TODS)
A database management system project for an undergraduate database design course
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
A research environment for incremental data flow analysis
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A portable syntactic error recovery scheme for LR(1) parsers
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Efficient Computation of Expressions with Common Subexpressions
Journal of the ACM (JACM)
A Unified Approach to Path Problems
Journal of the ACM (JACM)
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
The Compilation of Regular Expressions into Integrated Circuits
Journal of the ACM (JACM)
Analysis of the Search Performance of Coalesced Hashing
Journal of the ACM (JACM)
Vectorization and parallelization interactive assistant
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An approach for evaluating the performance efficiency of Ada compilers
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Technological advances in software engineering
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
SHAPE: a highly adaptable and parallel system
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Evaluating the performance efficiency of Ada compilers
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Ada measurement based on software quality principles
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
PIPE: a VLSI decoupled architecture
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Probabilistic Languages: A Review and Some Open Questions
ACM Computing Surveys (CSUR)
The Compilation of Loop Induction Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Methods for Computing LALR(k) Lookahead
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Introduction to S/SL: Syntax/Semantic Language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inessential Error Entries and Their Use in LR Parser Optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic Debugging of Optimized Code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient Computation of LALR(1) Look-Ahead Sets
ACM Transactions on Programming Languages and Systems (TOPLAS)
Postpass Code Optimization of Pipeline Constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal Framework for the Derivation of Machine-Specific Optimizers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Syntax-Error-Handling Technique and Its Experimental Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using program transformations to derive line-drawing algorithms
ACM Transactions on Graphics (TOG)
Optimization criteria for checkpoint placement
Communications of the ACM
A generalized user interface for applications programs
Communications of the ACM
Communications of the ACM
An algorithm for global compaction of horizontal microprograms
ACM SIGMICRO Newsletter
Parallel processing: a smart compiler and a dumb machine
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A Fortran compiler for the FPS-164 scientific computer
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Peep: an architectural description driven peephole optimizer
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Incremental compilation in Magpie
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A specification language for one-pass semantic analysis
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Tree transformation techniques and experiences
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Techniques for the construction of small and fast lexical analyzers
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
A parsing method on l-1 bounded context parsing
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
Hash table methods for case statements
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
On the use of extended grammars
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Data flow analysis of applicative programs using minimal function graphs
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Efficient computation of expressions with common subexpressions
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A new method for compiler code generation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A program form based on data dependency in predicate regions
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling of problem domains for driving program development systems
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program optimization and exception handling
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient way to find the side effects of procedure calls and the aliases of variables
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An efficient technique for exploring register file size in ASIP synthesis
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Description-driven code generation using attribute grammars
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Code generation and reorganization in the presence of pipeline constraints
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Eliminating redundant object code
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Practical error recovery in LR parsing
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A semantics-directed compiler generator
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
APL as a compiler-writing language
ACM SIGAPL APL Quote Quad
A Multimedia Authoring-in-the-Large Environment to Support Complex Product Documentation
Multimedia Tools and Applications
Symbolic debugging scheme for optimized hardware and software
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
The V Compiler: Automatic Hardware Design
IEEE Design & Test
An Optimizer for Hardware Synthesis
IEEE Design & Test
Specification, Planning, and Synthesis in a VHDL Design Environment
IEEE Design & Test
Recognizing Mathematical Expressions Using Tree Transformation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Improvement of the LR parsing table and its application to grammatical error correction
Information Sciences—Applications: An International Journal
Program Analysis for Conversion from a Navigation to a Specification Database Interface
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Model elimination and connection tableau procedures
Handbook of automated reasoning
A combinator-based compiler for a functional language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A less dynamic memory allocation scheme for algol-like languages
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Facet: A procedure for the automated synthesis of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '84 Proceedings of the 21st Design Automation Conference
An upper level computer science curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Generalized hierarchy chart generator
SIGDOC '83 Proceedings of the 2nd annual international conference on Systems documentation
An APL compiler for the UNIX timesharing system
APL '83 Proceedings of the international conference on APL
Valence and precedence in APL extensions
APL '83 Proceedings of the international conference on APL
BASICl—a simple computer to introduce computer organization and assembler language programming
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
Very Long Instruction Word architectures and the ELI-512
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
VLSI architectures for high speed recognition of context-free languages and finite-state languages
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Hardware/software tradeoffs for increased performance
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Register allocation for free: The C machine stack cache
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
An architectural alternative to optimizing compilers
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Architectural support for the efficient generation of code for horizontal architectures
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Retrospective on high-level language computer architecture
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Compiling a functional language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Issues of the design of a low level microprogramming language for global microcode compaction
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Using an oracle to measure potential parallelism in single instruction stream programs
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
ICSE '81 Proceedings of the 5th international conference on Software engineering
Heuristics for the global optimization of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Towards an efficient, machine-independent language for microprogramming
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
Tools For Automatic Compiler Generation (Panel Discussion)
ACM '78 Proceedings of the 1978 annual conference
Tools For Automatic Compiler Generation (Panel Discussion)
ACM '78 Proceedings of the 1978 annual conference
A technique of global optimization of microprograms
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
APL '79 Proceedings of the international conference on APL: part 1
An instructional aid for student programs
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Compile time syntax analysis of APL programs
APL '81 Proceedings of the international conference on APL
A data-flow language for specifying business data processing applications
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Hashed symbol tables for languages with explicit scope control
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Construction of a transportable, multi-pass compiler for extended Pascal
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
The use of transition matrices in a recursive-descent compiler
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Efficient computation of LALR(1) look-ahead sets
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Machine-independent PASCAL code optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
The design of a global optimizer
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A truly generative semantics-directed compiler generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A practical method for code generation based on exhaustive search
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Engineering a production code generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A single-pass syntax-directed front end for Ada
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Dividing patterns into deterministic regions
SAC '86 Proceedings of the 1986 workshop on Applied computing
An interactive documentation system
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
Static analysis of programs as an aid to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
An interactive high-level debugger for control-flow optimized programs (Summary)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
An improvement of trace scheduling for global microcode compaction
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
An automatic migration scheme based on modular microcode and structured firmware sequencing
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Global methods in the flow graph approach to retargetable microcode generation
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A survey of resource allocation methods in optimizing microcode compilers
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A logic minimizer for VLSI PLA design
DAC '82 Proceedings of the 19th Design Automation Conference
Defining and implementing a multilevel design representation with simulation applications
DAC '82 Proceedings of the 19th Design Automation Conference
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
PVS - design for a practical verification system
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Nial: A candidate language for fifth generation computer systems
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Experience with porting the Portable C Compiler
ACM '82 Proceedings of the ACM '82 conference
Generating user interfaces from specifications produced by a reverse engineering process
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Experiences in building a compiler for an object-oriented language
ACM SIGPLAN Notices
Incrementally recompiling Verilog
IVC '95 Proceedings of the 4th IEEE International Verilog HDL Conference
An experimental C compiler for the Cray 2 computer
ACM SIGPLAN Notices
A subset FORTRAN compiler for a modified Harvard architecture
ACM SIGPLAN Notices
Alex—A Simple and Efficient Scanner Generator
ACM SIGPLAN Notices
Software pioneers
Comments on parameter passing techniques in programming languages
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Effectiveness of cross-platform optimizations for a java just-in-time compiler
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
On the implementation of parsing tables
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
Computational Linguistics - Special issue on tense and aspect
Non-deterministic recursive ascent parsing
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
An extended LR parsing algorithm for grammars using feature-based syntactic categories
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Limited domain systems for language teaching
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The design of the kernel architecture for the Eurotra software
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
LR parsers for natural languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Context-freeness and the computer processing of human languages
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Finite-state approximation of phrase structure grammars
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Some chart-based techniques for parsing ill-formed input
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
SEMHE: a generalised two-level system
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
Graph-structured Stack and natural language parsing
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Enhanced arithmetic for Fortran
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Machine-independent C optimizer
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The little language compiler course project
ACM SIGCSE Bulletin
Little language processing, an alternative to courses on compiler construction
ACM SIGCSE Bulletin
A proposed graduate course in automatic software generation
ACM SIGCSE Bulletin
Efficient computation of LALR(1) look-ahead sets
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Parallel processing: a smart compiler and a dumb machine
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Interprocedural constant propagation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned
ACM SIGPLAN Notices - Best of PLDI 1979-1999
A lexical functional grammar system in PROLOG
COLING '86 Proceedings of the 11th coference on Computational linguistics
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Constructing a finite automaton for a given regular expression
ACM SIGACT News
Parsing by numbers and asparagus
ACM SIGPLAN Notices
Notes on notes on postmodern programming: radio edit
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
ICE™ and ICE/T™: tools to assist in compiler design and implementation
Working group reports from ITiCSE on Innovation and technology in computer science education
Notes on notes on postmodern programming
ACM SIGPLAN Notices
Enhanced arithmetic for Fortran
ACM SIGNUM Newsletter
Global data flow analysis in Aldes
ACM SIGSAM Bulletin
Tree compaction of microprograms
ACM SIGMICRO Newsletter
Identification of microprogrammable loops for problem oriented architecture synthesis
ACM SIGMICRO Newsletter
Improving the performance of UCSD Pascal via microprogramming on the PDP-11/60
ACM SIGMICRO Newsletter
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
Phase coupling for horizontal microcode generation
ACM SIGMICRO Newsletter
Processor Array Architectures for Deep Packet Classification
IEEE Transactions on Parallel and Distributed Systems
Using loop invariants to fight soft errors in data caches
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Development in parsing technology: from theory to application
New developments in parsing technology
Structural analysis of handwritten mathematical expressions through fuzzy parsing
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
Describing data flow analysis techniques with Kleene algebra
Science of Computer Programming
A non-invasive approach to product metrics collection
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: AGILE methodologies for software production
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A practical interprocedural dominance algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
SPRINT: a tool to generate concurrent transaction-level models from sequential code
EURASIP Journal on Applied Signal Processing
A Performance Analysis of the Implementation of Addressing Methods in Block-Structured Languages
IEEE Transactions on Computers
Detecting Sneak Paths in Transistor Networks
IEEE Transactions on Computers
IEEE Transactions on Computers
A Flow Analysis Procedure for the Translation of High-Level Languages to a Data Flow Language
IEEE Transactions on Computers
On the Development of a Measurement System for High Level Language Program Statistics
IEEE Transactions on Computers
Minimization of Interprocessor Communication for Parallel Computation
IEEE Transactions on Computers
Measuring the Parallelism Available for Very Long Instruction Word Architectures
IEEE Transactions on Computers
ACM SIGCSE Bulletin
Thread Safety through Partitions and Effect Agreements
Languages and Compilers for Parallel Computing
Microcode compaction: looking backward and looking forward
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
The VALI (Variable Language Interpreter)
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Computer Languages, Systems and Structures
A structure based computer grammar to understand simple and compound English sentences
Proceedings of the International Conference on Advances in Computing, Communication and Control
Optimization Patterns for OCL-Based Model Transformations
Models in Software Engineering
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
An efficient context-free parsing algorithm for natural languages
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
An algebraic foundation for truth maintenance
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
An optimization algorithm of hierarchical circuits
ECC'09 Proceedings of the 3rd international conference on European computing conference
The C programming language and a C compiler
IBM Systems Journal
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Interactive language implementation system
IBM Journal of Research and Development
From Word Form Surfaces to Communication
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Winsight: towards completely automatic backtranslation of Nemeth code
UAHCI'07 Proceedings of the 4th international conference on Universal access in human-computer interaction: applications and services
An object-oriented and generic compiler generator
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
LOCKSMITH: Practical static race detection for C
ACM Transactions on Programming Languages and Systems (TOPLAS)
HiPC'05 Proceedings of the 12th international conference on High Performance Computing
Using dominators for solving constrained path problems
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Overview of metaheuristics methods in compilation
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
An efficient algorithm for finding maximum cycle packings in reducible flow graphs
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
A modern graphic flowchart layout tool
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Computer Languages
ALMcss: a javascript implementation of the CSS template layout module
Proceedings of the 2012 ACM symposium on Document engineering
Aligot: cryptographic function identification in obfuscated binary programs
Proceedings of the 2012 ACM conference on Computer and communications security
Compact, fast and robust grids for ray tracing
EGSR'08 Proceedings of the Nineteenth Eurographics conference on Rendering
Tracing where and who provenance in Linked Data: A calculus
Theoretical Computer Science
Proceedings of the ACM International Conference on Computing Frontiers
On the Validation of Invariants at Runtime
Fundamenta Informaticae
| Hi-index | 0.11 |