Le cluster Horn clauses - Program analysis
| 000208 (2002) | Rainer Oechsle [Allemagne] ; Thomas Schmitt [Allemagne] | JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) |
| 000210 (2002) | Matthias B Sken [Allemagne] ; Stefan N Her [Allemagne] | GeoWin A Generic Tool for Interactive Visualization of Geometric Algorithms |
| 000224 (2001) | Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne] | Control-Flow Analysis in Cubic Time |
| 000231 (2000) | Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne] | Constraint-Based Inter-Procedural Analysis of Parallel Programs |
| 000248 (1998) | Stasys Jukna [Allemagne, Lituanie] ; Stanislav Žák [République tchèque] | On branching programs with bounded uncertainty |
| 000204 (2002) | Camil Demetrescu [Italie] ; Irene Finocchi [Italie] ; Giuseppe F. Italiano [Italie] ; Stefan N Her [Allemagne] | Visualization in Algorithm Engineering: Tools and Techniques |
| 000207 (2002) | Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi |
| 000212 (2002) | Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Automatic Complexity Analysis |
| 000182 (2004) | Laurent Granvilliers [France] ; Vladik Kreinovich [États-Unis] ; Norbert Müller [Allemagne] | Novel Approaches to Numerical Software with Result Verification |
| 000253 (1998) | Lothar Baum [Allemagne] ; Lars Geyer [Allemagne] ; Georg Molter [Allemagne] ; Steffen Rothkugel [Allemagne] ; Peter Sturm [Allemagne] | Architecture-Centric Software Development Based on Extended Design Spaces |
| This area was generated with Dilib version V0.6.31. |  |