148 Results for (keywords_en:PROGRAMMING LANGUAGES)

Subscribe to RSS feed for this result set

Page 1 of 6

1 2 3 4 5 6 Next Page › Last Page »

1. Extending the Eiffel Library for data structures and algorithms: EiffelBase

Jeger, Olivier (2004)


Master Theses

2. Reflection for Eiffel

Fluri, Beat (2004)


Master Theses

3. Indexing AJAX Web Applications

Frey, Gianni (2007)


Master Theses

4. Multi-format, EiffelStudio-integrated object browser and writer

Hansen, Lucien (2009)


Master Theses

5. Eclipse-based front-end for OMSjp

Aeppli, Barbara (2005)


Master Theses

6. The logic of event-B

Schmalz, Matthias (2011)


Reports

7. Dynamic semantics of the Oberon programming language

Kutter, Philipp W. (1996)


Reports

8. Modular language specification and composition

Denzler, Christoph (2001)


Doctoral and Habilitation Theses

9. Trinity: The OSGi module development server

Granat, Jérémie (2008)


Master Theses

10. Type safety of C# and .Net CLR

Fruja, Nicu Georgian (2007)


Doctoral and Habilitation Theses

11. A new approach to formal language definition and its application to Oberon

Odersky, Martin, Odersky, Martin and Odersky, Martin (1989)


Doctoral and Habilitation Theses

12. Fine-grained aspects of automatic refactoring in C2Eiffel

Friedli, Adrian (2010)


Master Theses

13. JEiffel - a java bytecode generator backend for the ISE Eiffel Compiler

Baumgartner, Benno (2005)


Master Theses

14. Integrating proof-transforming compilation into EiffelStudio

Hess, Manuel (2008)


Master Theses

15. Modula-2 auf einem RISC

Heiz, Werner (1988)


Doctoral and Habilitation Theses

16. Transaktionen in Datenbankprogrammiersprachen

Reimer, Manuel (1984)


Doctoral and Habilitation Theses

17. Verifying spec# delegates

Gantner, Samuele (2008)


Master Theses

18. Konzepte und Sprachen für den Entwurf konsistenter Datenbanken

Thurnherr, Bertram (1980)


Doctoral and Habilitation Theses

19. Translating Spec# Programs to C# with CodeContracts

Egli, Florian (2012)


Master Theses

20. Objective-C frameworks to Eiffel converter

Cortonesi, Matteo (2010)


Master Theses

21. Eiffel library to generate Java bytecodes

Gisel, Daniel (2003)


Master Theses

22. OBERON for PC on an MS-DOS base

Disteli, Andreas R. (1993)


Reports

23. OP 2

Crelier, Régis (1990)


Reports

24. Verifying C++ with STL Containers via Predicate Abstraction

Blanc, Nicolas, Kröning, Daniel and Groce, Alex (2006)


Reports

25. Java sourcecode to Eiffel sourcecode compiler

Trudel, Marco (2008)


Master Theses


Page 1 of 6

1 2 3 4 5 6 Next Page › Last Page »