37 Results for (keywords_en:SPECIAL PROGRAMMING LANGUAGES)

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

2. Translating Scala to SIL

Brodowsky, Bernhard F. (2013)


Master and Bachelor Theses

3. Indexing AJAX Web Applications

Frey, Gianni (2007)


Master and Bachelor Theses

4. Transaktionen in Datenbankprogrammiersprachen

Reimer, Manuel (1984)


Doctoral and Habilitation Theses

5. Rumer

Balzer, Stephanie (2011)


Doctoral and Habilitation Theses

6. OS Development in Rust

Foellmi, Claudio (2016)


Master and Bachelor Theses

14. Symbolic execution for chalice

Schwerhoff, Malte (2011)


Master and Bachelor Theses

15. Implementation of frozen objects into Spec#

Leu, Florian (2009)


Master and Bachelor Theses

16. Rust2Viper: Building a Static Verifier for Rust

Hahn, Florian (2016)


Master and Bachelor Theses

21. A programming language for vector computers

Griesemer, Robert (1993)


Doctoral and Habilitation Theses

22. Relevance filters for event-B

Röder, Jann (2010)


Master and Bachelor Theses


Page 1 of 2

1 2 Next Page › Last Page »