ETH E-Collection · ETH Institutional Repository

1. Eliminating the substitution axiom from Unity logic

Sanders, Beverly A. (1990)

Reports

2. An essay on programming

Wirth, Niklaus (1999)

Reports

3. Statically checking API protocol conformance with mined multi-object specifications

Pradel, Michael, Jaspan, Cierra, Aldrich, Jonathan and Gross, Thomas K.R. (2012)

Reports

4. A flexible system for visual service composition

Pautasso, Cesare (2004)

Doctoral and Habilitation Theses

5. Design and implementation of Envision - a visual programming system

Asenov, Dimitar (2011)

Master Theses

6. Formalizing Java’s Two’s-Complement Integral Type in Isabelle/HOL

Rauch, Nicole and Wolff, Burkhart (2004)

Reports

7. Reverse query processing

Binnig, Carsten, Kossmann, Donald and Lo, Eric

Reports

8. Program development by step-wise refinement

Wirth, Niklaus (1971)

Reports

9. Indexing and search on complex data warehouses and rapidly-changing data

Blunschi, Lukas (2012)

Doctoral and Habilitation Theses

10. Flexible models for programming the Web

Fourny, Ghislain (2011)

Doctoral and Habilitation Theses

11. Eliminating Insecure Uses of C Library Functions

Tawil, Raphael (2012)

Master Theses

12. Montages/Gem-Mex: a meta visual programming generator

Anlauff, Matthias, Kutter, Philipp W. and Pierantonio, Alfonso (1998)

Reports

13. Separate compilation and module extension

Crelier, Régis Bernard Joseph (1994)

Doctoral and Habilitation Theses

14. The programming language Pascal

Wirth, Niklaus (1970)

Reports

15. An axiomatic definition of the programming language Pascal

Hoare, Charles Antony Richard and Wirth, Niklaus (1972)

Reports

16. The programming language Pascal

Wirth, Niklaus (1972)

Reports

17. ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen

Moser, Michael (1992)

Doctoral and Habilitation Theses

18. Intervals: data-race-free parallel programming

Matsakis, Nicholas D. (2011)

Doctoral and Habilitation Theses

19. Latency-driven programming of computer networks

Strumpen, Volker (1995)

Reports

20. Syntax and semantics of graphs

Janneck, Jörn Wilhelm (2000)

Doctoral and Habilitation Theses

21. First experiences with high performance Fortran on the Intel Paragon

Sturler, Eric de and Strumpen, Volker (1995)

Reports

22. Verification of design patterns

Hofer, Simon (2009)

Master Theses

23. Universe Types

Dietl, Werner Michael (2009)

Doctoral and Habilitation Theses

24. Framework design

Riehle, Dirk (2000)

Doctoral and Habilitation Theses

25. Visual aspects of computer aided control systems design

Ganz, Christopher A. (1995)

Doctoral and Habilitation Theses