( en | de | ru )

 

Disambiguierung von "Blume, Matthias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Contracts as Pairs of Projections.

, und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2006)

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.

Matthias Blume

Matthias Blume

Matthias Blume

Matthias Blume

Matthias Christian Blume

 

Weitere Publikationen von Autoren mit dem selben Namen

Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations., und . ICFP, Seite 112-124. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Extensible programming with first-class cases., , und . ICFP, Seite 239-250. ACM, (2006)A Consistent Semantics of Self-adjusting Computation., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 458-474. Springer, (2007)FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts., und . SemEval@ACL, Seite 149-152. The Association for Computer Linguistics, (2007)Imperative self-adjusting computation., , und . POPL, Seite 309-322. ACM, (2008)Exception Handlers as Extensible Cases., , und . APLAS, Volume 5356 von Lecture Notes in Computer Science, Seite 273-289. Springer, (2008)Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text., , und . CoRR, (2024)A sound (and complete) model of contracts., und . ICFP, Seite 189-200. ACM, (2004)Typed closure conversion preserves observational equivalence., und . ICFP, Seite 157-168. ACM, (2008)Contracts as Pairs of Projections., und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2006)