12 Results for (keywords_en:SEMANTICS OF PROGRAMMING LANGUAGES)

Subscribe to RSS feed for this result set

1. The logic of event-B

Schmalz, Matthias (2011)


Reports

2. Verification condition generation for permission logics with abstract predicates and abstraction functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J. (2012)


Reports

3. Dynamic semantics of the Oberon programming language

Kutter, Philipp W. (1996)


Reports

4. Modular language specification and composition

Denzler, Christoph (2001)


Doctoral and Habilitation Theses

5. Type safety of generics for the .NET common language runtime

Fruja, Nicu Georgian


Reports

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

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


Doctoral and Habilitation Theses

7. Montages

Kutter, Philipp W. (2004)


Doctoral and Habilitation Theses

8. Dynamic semantics for language-based programming environments revisited

Anlauff, Matthias, Chakraborty, Samarjit, Kutter, Philipp, Pierantonio, Alfonso and Thiele, Lothar (1999)


Reports

9. ASM Semantics for C♯ 2.0

Jula, Horatiu V. (2005)


Reports

10. A formal semantics for isorecursive and equirecursive state abstractions

Summers, Alexander J. and Drossopoulou, Sophia (2012)


Reports

11. Formal semantic specification of a core object-oriented language

Bietenhader, Thomas (2004)


Master Theses

12. Graph algebras, algebraic and denotational semantics

Maeder, Roman E., Maeder, Roman E. and Maeder, Roman E. (1986)


Doctoral and Habilitation Theses