Univ.-Prof. Dr. phil. nat. Helmut Seidl
Informatikwissenschaften, Universität Trier
- 0651/201-2835, 2824 (Sekr.)
- 0651/201-3822
Seidl, Helmut; Fecht, Christian
Interprocedural analyses: a comparisonThe journal of logic programming. Bd. 43. H. 2. New York, NY: North-Holland 2000 S. 123 - 156
Seidl, Helmut; Steffen, Bernhard
Regular Papers - Constraint-Based Inter-Procedural Analysis of Parallel ProgramsLecture notes in computer science. Bd. 1782. Berlin: Springer 2000 S. 351 - 365
Fecht, C.; Seidl, H.
A faster solver for general systems of equationsScience of computer programming. Bd. 35. H. 2. Amsterdam [u.a.]: Elsevier 1999 S. 137 - 162
Seidl, H.; Neumann, A.
Contributed Papers - Linear Logic, Mu Calculus, Concurrency - On Guarding Nested FixpointsLecture notes in computer science. Bd. 1683. Berlin: Springer 1999 S. 484 - 498
Seidl, H.; Niwinski, D.
On distributive fixed-point expressionsTheoretical informatics and applications. Bd. 33. H. 4. Cambridge, Mass.: EDP Sciences 1999 S. 427 - 446
Seidl, H.; Sørensen, M.H.
Constraints to stop deforestationScience of computer programming. Bd. 32. H. 1. Amsterdam [u.a.]: Elsevier 1998 S. 73 - 108
Keßler, Christoph W.; Seidl, Helmut
ForkLight: a control-synchronous parallel programming languageTrier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; Nr. 98,13)
Neumann, Andreas; Seidl, Helmut
Locating matches of tree patterns in forestsTrier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; 98-08)
Seidl, H.; Fecht, C.
Disjunctive Completion Is Not "Optimal"International Logic Programming Symposium (ILPS). 1997 S. 408
Seidl, Helmut; Fecht, Christian
Interprocedural analysis based on PDAsTrier: Univ., Mathematik, Informatik 1997 0 S. (Trierer Forschungsberichte ; 97-06)