Le cluster Semantic analysis - Syntactic analysis
| 000248 (1998) | Stasys Jukna [Allemagne, Lituanie] ; Stanislav Žák [République tchèque] | On branching programs with bounded uncertainty |
| 000231 (2000) | Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne] | Constraint-Based Inter-Procedural Analysis of Parallel Programs |
| 000224 (2001) | Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne] | Control-Flow Analysis in Cubic Time |
| 000229 (2000) | Vikraman Arvind [Inde] ; Johannes Köbler [Allemagne] ; Martin Mundhenk [Allemagne] ; Jacobo Torán [Allemagne] | Nondeterministic Instance Complexity and Hard-to-Prove Tautologies |
| 000237 (1999) | Helmut Seidl [Allemagne] ; Andreas Neumann [Allemagne] | On Guarding Nested Fixpoints |
| 000207 (2002) | Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi |
| 000208 (2002) | Rainer Oechsle [Allemagne] ; Thomas Schmitt [Allemagne] | JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) |
| 000212 (2002) | Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Automatic Complexity Analysis |
| 000205 (2002) | Michael Ley [Allemagne] | The DBLP Computer Science Bibliography: Evolution, Research Issues, Perspectives |
| 000210 (2002) | Matthias B Sken [Allemagne] ; Stefan N Her [Allemagne] | GeoWin A Generic Tool for Interactive Visualization of Geometric Algorithms |
| 000246 (1998) | Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne] | Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems |
| This area was generated with Dilib version V0.6.31. |  |