Christian Lengauer

Available identifiers

zbMath Open lengauer.christianMaRDI QIDQ582034

List of research outcomes

Publication	Date of Publication	Type
A personal view of Edsger W. Dijkstra and his stance on software construction	2024-10-28	Paper
An algebraic foundation for automatic feature-based program synthesis	2010-08-26	Paper
An Algebra for Features and Feature Composition	2009-01-27	Paper
Quantifier elimination in automatic loop parallelization	2007-10-23	Paper
Costing stepwise refinements of parallel programs	2007-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4460215	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4445775	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4406702	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4791898	2003-02-04	Paper
TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*	2001-09-19	Paper
ON THE PARALLEL IMPLEMENTATION OF A GENERALIZED BROADCAST	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4508934	2000-10-10	Paper
Abstraction and performance in the design of parallel programs: An overview of the SAT approach	2000-06-05	Paper
Termination detection in parallel loop nests with while loops	2000-06-04	Paper
Parallelization of divide-and-conquer by translation to nested loops	2000-01-17	Paper
On linear list recursion in parallel	1999-12-19	Paper
The static parallelization of loops and recursions	1998-01-12	Paper
Parallelization of divide-and-conquer in the Bird-Meertens formalism	1996-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4028142	1993-03-28	Paper
The synthesis of control signals for one-dimensional systolic arrays	1993-01-13	Paper
On denotational versus predicative semantics	1991-01-01	Paper
An incremental mechanical development of systolic solutions to the algebraic path problem	1989-01-01	Paper
Semantic independence	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3034850	1988-01-01	Paper
The derivation of systolic implementations of programs	1987-01-01	Paper
The automated proof of a trace transformation for a bitonic sort	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680250	1985-01-01	Paper
On the role of automated theorem proving in the compile-time derivation of concurrency	1985-01-01	Paper
A methodology for programming with concurrency: An informal presentation	1982-01-01	Paper
A methodology for programming with concurrency: The formalism	1982-01-01	Paper

Research outcomes over time

This page was built for person: Christian Lengauer