Search results for "construction"

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