Autor der Publikation

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

On the cost semantics for spreadsheets with sheet-defined functions., , , , und . J. Comput. Lang., (2022)Demonstrating Lambda Calculus Reduction.. MFPS, Volume 45 von Electronic Notes in Theoretical Computer Science, Seite 424-432. Elsevier, (2001)Early Nordic Compilers and Autocodes.. History of Nordic Computing, Volume 447 von IFIP Advances in Information and Communication Technology, Seite 350-366. Springer, (2014)2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)., , und . ICSE (2), Seite 1005-1006. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Partial Evaluation for the Lambda Calculus., , und . Partial Evaluation, Volume 1706 von Lecture Notes in Computer Science, Seite 203-220. Springer, (1998)Globalization and Live Variables., und . PEPM, Seite 166-177. ACM, (1991)On Designing Applied DSLs for Non-Programming Experts in Evolving Domains., , und . MoDELS, Seite 227-238. IEEE, (2021)Decidability and Undecidability Results for Duration Calculus., , und . STACS, Volume 665 von Lecture Notes in Computer Science, Seite 58-68. Springer, (1993)Flow Analysis of Code Customizations., und . ECOOP, Volume 5142 von Lecture Notes in Computer Science, Seite 285-308. Springer, (2008)Programming Language Specification and Implementation.. ISoLA (1), Volume 11244 von Lecture Notes in Computer Science, Seite 162-183. Springer, (2018)