Programmanalyse
Kurzfassung
Nicht verfügbar
Veröffentlichungen
- Seidl, Helmut; Fecht, Christian
- Interprocedural analyses: a comparison
- Seidl, Helmut; Steffen, Bernhard
- Regular Papers - Constraint-Based Inter-Procedural Analysis of Parallel Programs
- Seidl, H.; Sørensen, M.H.
- Constraints to stop deforestation
- Seidl, H.; Fecht, C.
- Disjunctive Completion Is Not "Optimal"
- Seidl, Helmut; Fecht, Christian
- Interprocedural analysis based on PDAs