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

1998

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

Christian Fecht, Helmut Seidl

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

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

Proceedings of the Static Analysis, Third International Symposium, 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