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 |