Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages

» Home

» Mitarbeiter

» Kerngebiete

» Projekte

» Abgeschlossen

» Veröffentlichungen

» Details

» Software

» Lehre

» Student. Arbeiten

» Impressum

» Lageplan

Konferenzartikel

[1] Sabine Glesner, Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages, Proceedings of the Workshop on Functional and Logic Programming, 1998.

[Erzeuge bibTeX Eintrag]

Autoren

		Alumni
		Prof. Sabine Glesner

Links