Autor der Publikation

Property-based typing with LITEQ.

, , , , und . ISWC (Posters & Demos), Volume 1272 von CEUR Workshop Proceedings, Seite 149-152. CEUR-WS.org, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A semantical approach to method-call interception.. AOSD, Seite 41-55. ACM, (2002)A Unified Format for Language Documents., und . SLE, Volume 6563 von Lecture Notes in Computer Science, Seite 206-225. Springer, (2010)Interpretation of Linguistic Architecture., und . ECMFA, Volume 8569 von Lecture Notes in Computer Science, Seite 67-82. Springer, (2014)Book Review.. J. Log. Lang. Inf., 16 (2): 221-232 (2007)Recovering grammar relationships for the Java Language Specification., und . Software Quality Journal, 19 (2): 333-378 (2011)Semi-automatic grammar recovery., und . Softw. Pract. Exp., 31 (15): 1395-1438 (2001)Reflective Designs, und . IEE Software, Special Issue on Reusable Software Libraries, (Februar 2005)The Translator Writing System RUEGEN-KS. Attribute Grammars, Applications and Systems, Volume 545 von Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, Prague.(Juni 1991)Towards generic refactoring.. ACM SIGPLAN Workshop on Rule-Based Programming, Seite 15-28. ACM, (2002)Prological Language Processing., und . LDTA@ETAPS, Volume 44 von Electronic Notes in Theoretical Computer Science, Seite 132-156. Elsevier, (2001)