Christian Fecht

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Interprocedural Analyses: A Comparison.
J. Log. Program., 2000

1999
A Faster Solver for General Systems of Equations.
Sci. Comput. Program., 1999

1998
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.
Nord. J. Comput., 1998

1997
Interprocedural Analysis Based on PDAs
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1997

Disjuntive Completion Is Not "Optimal".
Proceedings of the Logic Programming, 1997

Abstrakte Interpretation logischer Programme - Theorie, Implementierung, Generierung.
Pirrot, ISBN: 978-3-930714-28-5, 1997

1996
An Even Faster Solver for General Systems of Equations
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1996

An Efficient and Precise Sharing Domain for Logic Programs.
Proceedings of the Programming Languages: Implementations, 1996

1995
GENA - A Tool for Generating Prolog Analyzers from Specifications
Proceedings of the Static Analysis, 1995

1993
Transformation Development: TrafoLa-H Subsystem.
Proceedings of the Program Development by Specification and Transformation, 1993


  Loading...