Christian Fecht

According to our database, Christian Fecht authored at least 10 papers between 1993 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Interprocedural Analyses: A Comparison.

Helmut Seidl, Christian Fecht

J. Log. Program., 2000

1999

A Faster Solver for General Systems of Equations.

Christian Fecht, Helmut Seidl

Sci. Comput. Program., 1999

1997

Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems

Helmut Seidl, Christian Fecht

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1997

Interprocedural Analysis Based on PDAs

Helmut Seidl, Christian Fecht

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1997

Disjuntive Completion Is Not "Optimal".

Helmut Seidl, Christian Fecht

Proceedings of the Logic Programming, 1997

Abstrakte Interpretation logischer Programme - Theorie, Implementierung, Generierung.

Christian Fecht

Pirrot, ISBN: 978-3-930714-28-5, 1997

1996

An Even Faster Solver for General Systems of Equations

Christian Fecht, Helmut Seidl

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1996

An Efficient and Precise Sharing Domain for Logic Programs.

Christian Fecht

Proceedings of the Programming Languages: Implementations, 1996

1995

GENA - A Tool for Generating Prolog Analyzers from Specifications

Christian Fecht

Proceedings of the Static Analysis, 1995

1993

Transformation Development: TrafoLa-H Subsystem.

Martin Helmut Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm

Proceedings of the Program Development by Specification and Transformation, 1993