Search results for "construction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Gilbert Ducos, Petri Vuorinen, Pieter Vroegop	OVIDE-project: Methods of using Online Video in Teacher Education.	Knowledge Construction in E-learning Context	2008	DBLP BibTeX RDF
24	Michael Leuschel, Jens Bendisposto	Animating and Model Checking B Specifications with Higher-Order Recursive Functions.	Rigorous Methods for Software Construction and Analysis	2007	DBLP BibTeX RDF
24	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	Exploiting the ASM method within the Model-driven Engineering paradigm.	Rigorous Methods for Software Construction and Analysis	2007	DBLP BibTeX RDF
24	Jean-Raymond Abrial, Uwe Glässer (eds.)	Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006	Rigorous Methods for Software Construction and Analysis	2006	DBLP BibTeX RDF
24	Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons (eds.)	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2002	DBLP DOI BibTeX RDF
24	Hilary A. Priestley	Ordered Sets and Complete Lattices.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Bart Jacobs 0001	Exercises in Coalgebraic Specification.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu	Algebraic Methods for Optimization Problems.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Burghard von Karger	Temporal Algebra.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Roy L. Crole	Introduction.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Peter Aczel	Algebras and Coalgebras.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Henk Doornbos, Roland Carl Backhouse	Algebra of Program Termination.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Jean-Marie Jacquet (eds.)	Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP	ICLP Workshop on Construction of Logic Programs	1993	DBLP BibTeX RDF
24	Jean-Marie Jacquet	Verifying Logic Programs from Metric Semantic Characterizations.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Henryk Jan Komorowski	On Data-type-centered, Correctness-oriented Design.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Lee Naish	Verification of Logic Programs and Imperative Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Laurent Fribourg	Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Jean-Marie Jacquet	Introduction to Logic Programming.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Naji Habra	From Abstract Data Types to Logic Programs: A Transformational Approach.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo	An OR-Compositional Semantics for Logic Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Paul Tarau, Michel Boyer	Nonstandard Answers of Elementary Logic Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Pierre Flener, Yves Deville	Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Leon Sterling, Marc Kirschenbaum	Applying Techniques to Skeletons.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	David R. Gilbert, Christopher J. Hogger	Deriving Logic Programs from Observations.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Brian J. Ross	A Semantic Approach to Prolog Program Analysis.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
24	Richard L. Wexelblat (eds.)	Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, California, USA, June 25-27, 1986	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Véronique Royer	Transformations of denotational semantics in semantics directed compiler generation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	David A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin	ORBIT: an optimizing compiler for scheme.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	SCHEME
24	David Callahan, Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural constant propagation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Peter G. Harrison, Hessam Khoshnevisan	Efficient compilation of linear recursive functions into object level loops.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Rodney Farrow	Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Kari-Jouko Räihä, Jorma Tarhio	A globalizing transformation for attribute grammars.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Roger Hoover, Tim Teitelbaum	Efficient incremental evaluation of aggregate values in attribute grammars.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Harold Johnson	Data flow analysis for 'intractable' system software.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Mark Scott Johnson, Terrence C. Miller	Effectiveness of a machine-level, global optimizer.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Robert R. Kessler, John C. Peterson, Harold Carr, Gerald P. Duggan, J. Knell, Jed J. Krohnfeldt	EPIC - a retargetable, highly optimizing Lisp compiler.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	LISP, LISP
24	Vivek Sarkar, John L. Hennessy	Compile-time partitioning and scheduling of parallel programs.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Rémi Triolet, François Irigoin, Paul Feautrier	Direct parallelization of call statements.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Fred Ives	Unifying view of recent LALR(1) lookahead set algorithms.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	David Bernstein, Haran Boral, Ron Y. Pinter	Optimal chaining in expression trees.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Thomas R. Gross, Monica S. Lam	Compilation for a high-performance systolic array.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	James R. Larus, Paul N. Hilfinger	Register allocation in the SPUR Lisp compiler.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	LISP, LISP
24	Thomas J. Pennello	Very fast LR parsing.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural optimization: eliminating unnecessary recompilation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Hans-Juergen Boehm, Alan J. Demers	Implementing RUSSELL.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	RUSSELL
24	Phillip B. Gibbons, Steven S. Muchnick	Efficient instruction scheduling for a pipelined architecture.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Christopher W. Fraser, Alan L. Wendt	Integrating code generation and optimization.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Gary Lindstrom	Static evaluation of functional programs.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Jack W. Davidson	A retargetable instruction reorganizer.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Michael G. Burke, Ron Cytron	Interprocedural dependence analysis and parallelization.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
24	Mary S. Van Deusen, Susan L. Graham (eds.)	Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Robert R. Kessler	Peep: an architectural description driven peephole optimizer.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Michael Karr	Code generation by coagulation.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Steven E. Keller, John A. Perkins, Teri F. Payton, S. P. Mardinly	Tree transformation techniques and experiences.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Thomas Johnsson	Efficient compilation of lazy evaluation.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Richard Jüllig, Frank DeRemer	Regular right-part attribute grammars.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Roy F. Touzeau	A Fortran compiler for the FPS-164 scientific computer.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Mitchell Wand	A semantic prototyping system.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Harald Ganzinger, Robert Giegerich	Attribute coupled grammars.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	F. Kenneth Zadeck	Incremental data flow analysis in a structured program editor.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Keith D. Cooper, Ken Kennedy	Efficient computation of flow insensitive interprocedural summary information.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Christopher W. Fraser, Eugene W. Myers, Alan L. Wendt	Analyzing and compressing assembly code.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Jack W. Davidson, Christopher W. Fraser	Automatic generation of peephole optimizations.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Steven P. Reiss	An approach to incremental compilation.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Uwe F. Pleban	Compiler prototyping using formal semantics.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Kai Koskimies	A specification language for one-pass semantic analysis.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Mayer D. Schwartz, Norman M. Delisle, Vimal S. Begwani	Incremental compilation in Magpie.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Fabrizio Baiardi, Laura Ricci, Marco Vanneschi	Static checking of interprocess communication in ECSP.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Fred C. Chow, John L. Hennessy	Register allocation by priority-based coloring.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Michael L. Powell	A portable optimizing compiler for Modula-2.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	David C. Robbins	Engineering a high-capacity Pascal compiler for high performance.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Joseph A. Fisher, John R. Ellis, John C. Ruttenberg, Alexandru Nicolau	Parallel processing: a smart compiler and a dumb machine.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Rodney Farrow	Sub-protocol-evaluators for attribute grammars.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Gary Bray	Sharing code among instances of Ada generics.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	M. I. Blower	An efficient implementation of visibility in Ada.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	John R. Allen, Ken Kennedy	Automatic loop interchange.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Uwe Schmidt 0002, Reinhard Völler	A multi-language compiler system with automatically generated codegenerators.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	M. Donald MacLaren	Inline routines in VAXELN Pascal.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Michael R. Levy	Type checking, separate compilation and reusability.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Philippe Aigrain, Susan L. Graham, Robert R. Henry, Marshall K. McKusick, Eduardo Pelegrí-Llopart	Experience with a Graham-Glanville style code generator.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
24	Bernard Lorho (eds.)	Method and tools for compiler construction, An advanced course, INRIA, 5-16 December 1983	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	David A. Watt	Contextual Constraints.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Etienne Morel	Data Flow Analysis and Global Optimization.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Jean-Pierre Banâtre	A Cooperation Scheme for Parallel Compilation.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Bruno Courcelle	Attribute Grammars: Definitions, Analysis of Dependencies, Proof Methods.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Martin Jourdan	Recursive Evaluators for Attribute Grammars: An Implementation.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	J. Teller	Production Quality Ada Compilers.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Jean-Claude Heliard	Compiling Ada.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Pierre Boullier	Syntax Analysis and Error Recovery.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Susan L. Graham	Code Generation and Optimization.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Joost Engelfriet	Attribute Grammars: Attribute Evaluation Methods.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Paul Branquart	A High Level Intermediate Code.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Lawrence C. Paulson	Compiler Generation from Denotational Semantics.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Bernard Lorho	Introduction and overview.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	Kari-Jouko Räihä	Attribute Grammar Design using the Compiler Writing System HLP.	Method and tools for compiler construction	1983	DBLP BibTeX RDF
24	John R. White, Frances E. Allen (eds.)	Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
24	Susan L. Graham, Robert R. Henry, Robert A. Schulman	An Experiment in Table Driven Code Generation.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
24	Arra Avakian, Sam Haradhvala, Julian Horn, Bruce Knobe	The Design of an Integrated Support Software System.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
24	Thomas N. Turba	A Facility for the Downward Execution of a High-Level Language.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Inline code, Compilers, Efficiency, Code generation, Extensibility, Encapsulation, High-level languages, Assemblers, Machine code