Christian Fecht

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
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.
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
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems
Universität Trier, Mathematik/Informatik, Forschungsbericht, 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 Even Faster Solver for General Systems of Equations.
Proceedings of the Static Analysis, Third International Symposium, 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...