Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | C. W. Johnson, Colin Runciman |
Semantic Errors - Diagnosis and Repair. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Harald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm |
A Truly Generative Semantics-Directed Compiler Generator. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Andres Rudmik, Barbara G. Moore |
An Efficient Separate Compilation Strategy for Very Large Programs. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
CCS, CHILL |
24 | Terrence W. Pratt, George D. Maydwell |
Experience with the Normal Semantic Definition of HAL/S. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
HAL/S |
24 | Wilf R. LaLonde, Jim des Rivières |
A Flexible Compiler Structure That Allows Dynamic Phase Ordering. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Theodore P. Baker |
A Single-Pass Syntax-Directed Front End for Ada. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Ada |
24 | Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr. |
An Optimizing Compiler for Lexically Scoped LISP. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
LISP |
24 | Gregory J. Chaitin |
Register Allocation & Spilling via Graph Coloring. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Rudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos |
Experience with an Automatic Code Generator Generator. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Pascal |
24 | Nazim H. Madhavji, I. R. Wilson |
Cray Pascal. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Compilation, Pascal, Pascal, Vector processors, CRAY-1, Code optimisation |
24 | Jon Mauney, Charles N. Fischer |
A Forward Move Algorithm for LL and LR Parsers. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Marc A. Auslander, Martin Hopkins |
An Overview of the PL.8 Compiler. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein |
An Attribute Grammar for Ada. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler |
24 | Anita L. Chow, Andres Rudmik |
The Design of a Data Flow Analyzer. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Martin R. Raskovsky |
Denotational Semantics as a Specification of Code Generators. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Susan L. Graham, Peter B. Kessler, Marshall K. McKusick |
gprof: a Call Graph Execution Profiler. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Harlan K. Seyfer |
Tailoring Testing to a Specific Compiler - Experiences. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Pascal |
24 | Michael G. Burke, Gerald A. Fisher |
A Practical Method for Syntactic Error Diagnosis and Recovery. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Martin L. Griss, Eric Benson, Anthony C. Hearn |
Current Status of a Portable Lisp Compiler. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
LISP |
24 | Rodney Farrow |
LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | John Crawford |
Engineering a Production Code Generator. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Thomas M. Morgan, Lawrence A. Rowe |
Analyzing Exotic Instructions for a Retargetable Code Generator. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Peter L. Bird |
An Implementation of a Code Generator Specification Language for Table Driven Code Generators. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Victoria Markstein, John Cocke, Peter W. Markstein |
Optimization of Range Checking. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Howard Z. Marshall |
The Linear Graph Package, a Compiler Building Environment. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Ian W. Moor |
An Applicative Compiler for a Parallel Machine. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
HOPE |
24 | M. A. Jackson |
Information Systems: Modelling, Sequencing and Transformations. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | C. A. R. Hoare |
A Model for Communicating Sequential Processes. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Jim Welsh |
A Structured Compiler. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Olivier Roubine, Jean-Claude Heliard |
Parallel Processing in Ada. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer 0001 |
Specification Language. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Ronald H. Perrott |
Languages for Parallel Computers. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Jean Ichbiah, John G. P. Barnes, Jean-Claude Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann |
Modules and Visibility in the Ada Programming Language. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | R. M. McKeag |
A Structured Operating System. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | David W. Bustard |
An Introduction to Pascal-Plus. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Maurice Clint, Ronald H. Perrott |
Algorithms for Parallel Computers. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Derek Coleman |
Concurrent Pascal - An Appraisal. |
On the Construction of Programs |
1980 |
DBLP BibTeX RDF |
|
24 | Stephen C. Johnson (eds.) |
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979 |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Friedrich L. Bauer, Manfred Broy (eds.) |
Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany |
Program Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Philip A. Nelson |
A comparison of PASCAL intermediate languages. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
P-code, Pascal |
24 | D. R. Milton, L. W. Kirchhoff, B. R. Rowland |
An all(1) compiler generator. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | R. G. G. Cattell, Joseph M. Newcomer, Bruce W. Leverett |
Code generation in a machine-independent compiler. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Ronald J. Mintz, Gerald A. Fisher, Micha Sharir |
The design of a global optimizer. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Andres Rudmik, E. S. Lee |
Compiler design for efficient code generation and program optimization. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Richard L. Sites |
Machine-independent register allocation. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
Pascal |
24 | Frank DeRemer, Thomas J. Pennello |
Efficient computation of LALR(1) look-ahead sets. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
LALR(k) grammar, LR(k), Parser, Digraph, Syntactic analysis, Strongly-connected component, Look-ahead, Context-free |
24 | Ajit B. Pai, Richard B. Kieburtz |
Global context recovery: A new strategy for parser recovery from syntax errors. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Richard J. LeBlanc, Charles N. Fischer |
On implementing separate compilation in block-structured languages. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Dennis J. Frailey |
An intermediate language for source and target independent code optimization. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Richard C. Holt, David B. Wortman |
A model for implementing Euclid modules and type templates. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
EUCLID |
24 | Michael K. Donegan, Robert E. Noonan, Stefan Feyock |
A code generator generator language. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Kari-Jouko Räihä |
Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | J. Eugene Ball |
Predicting the effects of optimization on a procedure body. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Mark Kahrs |
Implementation of an Interactive Programming System. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
Interactive programming systems, Tree factored interpreter, Incremental compilation |
24 | Stuart I. Feldman |
Implementation of a portable Fortran 77 compiler using modern tools. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
FORTRAN 77 |
24 | James R. Cordy, Richard C. Holt, David B. Wortman |
Semantic charts: A diagrammatic approach to semantic processing. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | James B. Morris |
Data abstraction: A static implementation strategy. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
Generic procedure, Inline procedure, Open procedure, Programming languages, Abstract data type, Data type |
24 | Susan L. Graham, William N. Joy, Olivier Roubine |
Hashed symbol tables for languages with explicit scope control. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Graeme Williams |
Program checking. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Janet Fabri |
Automatic storage optimization. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Susan L. Graham, Charles B. Haley, William N. Joy |
Practical LR error recovery. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | G. B. Bonkowski, W. Morven Gentleman, M. A. Malcolm |
Porting the Zed compiler. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
24 | Daniel R. Perkins, Richard L. Sites |
Machine-independent PASCAL code optimization. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
Pascal |
24 | Susan S. Owicki |
Specification and Verification of a Network Nail System. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Michael Griffiths |
Development of the Schorr-Waite Algorithm. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | David Gries |
The Multiple Assignment Statement. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
Stationary Behaviour of Some Ternary Networks. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Manfred Broy, Rupert Gnatz, Martin Wirsing |
Semantics of Nondeterministic and Noncontinuous Constructs. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Friedrich L. Bauer |
Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | James J. Horning |
Verification of Euclid Programs. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner |
Towards a Wide Spectrum Language to Support Program Specification and Program Development. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Susan L. Gerhart |
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
A Theorem about Odd Powers of Odd Integers. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Susan S. Owicki |
Specifications and Proofs for Abstract Data Types in Concurrent Programs. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | John V. Guttag |
Notes on Type Abstraction. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | James J. Horning |
Programming Languages for Reliable Computing Systems. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
In Honour of Fibonacci. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Friedrich L. Bauer |
Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
Finding the Correctness Proof of a Concurrent Program. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
On the Foolishness of "Natural Language Programming". |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
Program Inversion. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
A More Formal Treatment of a Less Simple Example. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Michael Griffiths |
Programming Methodology and Language Implications. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer |
Special Transformation Techniques. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | David Gries |
Eliminating the Chaff. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | David Gries |
The Schorr-Waite Graph Marking Algorithm. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner |
Systematics of Transformation Rules. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek |
Proof Rules for the Programming Language Euclid. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Peter Pepper |
A Study on Transformational Semantics. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | James J. Horning |
A Case Study in Language Design: Euclid. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Helmuth Partsch, Manfred Broy |
Examples for Change of Types and Object Structures. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Edsger W. Dijkstra |
On the Interplay between Mathematics and Programming. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | David Gries |
Basic Axiomatic Definitions. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | David Gries |
Current Ideas in Programming Methodology. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | David Gries |
Is Sometimes Ever Better Than Always? |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Friedrich L. Bauer, Jürgen Eickel (eds.) |
Compiler Construction, An Advanced Course, 2nd ed. |
Compiler Construction |
1976 |
DBLP DOI BibTeX RDF |
|
24 | James J. Horning |
What the Compiler Should Tell the User. |
Compiler Construction |
1976 |
DBLP DOI BibTeX RDF |
|
24 | William M. Waite |
Relationship of Languages to Machines. |
Compiler Construction |
1976 |
DBLP DOI BibTeX RDF |
|
24 | William M. Waite |
Semantic Analysis. |
Compiler Construction |
1976 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis H. A. Koster |
Using the CDL Compiler-Compiler. |
Compiler Construction |
1976 |
DBLP DOI BibTeX RDF |
|