E-LIB Suche - Ergebnisse für: Blume, Matthias

1

A consistent semantics of self-adjusting computation:

ACAR, UMUT A. ; BLUME, MATTHIAS ; DONHAM, JACOB
Journal of Functional Programming. 23 (2013) 3 - p. 249-292 , 2013

Link: https://doi.org/10.1017/..

2

Carlo Gesualdo

exzentrischer Manierist oder Wegbereiter der Atonalität? :...

Blume, Matthias - 1. Aufl. . , 2012

Exemplare: TB Musik: mus 617 ges/742; Zentrale:E03 a mus 617 ges 4/841

3

Functional and logic programming

[...extended version of six of the papers presented at the ... Theoretical computer science ; 435.2012,1

Blume, Matthias ; Vidal, Germán , 2012

Exemplar: Zentrale:Magazin Zs fc 9532-435

4

Preface:

Blume, Matthias ; Vidal, Germán
Theoretical Computer Science. 435 (2012) - p. 1-2 , 2012

Link: https://doi.org/10.1016/..

5

An equivalence-preserving CPS translation via multi-languag..:

Ahmed, Amal ; Blume, Matthias
ACM SIGPLAN Notices. 46 (2011) 9 - p. 431-444 , 2011

Link: https://doi.org/10.1145/..

6

An equivalence-preserving CPS translation via multi-languag..:

, In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming,

Ahmed, Amal ; Blume, Matthias - p. 431-444 , 2011

Link: https://dl.acm.org/doi/1..

7

Functional and logic programming

10th international symposium, FLOPS 2010, Sendai, Japan, Ap... Lecture notes in computer science ; 6009

Blume, Matthias ; Kobayashi, Naoki ; Vidal, Germán , 2010

Link: http://dx.doi.org/10.100..

8

Proceedings of the 10th international conference on Functio..:

Blume, Matthias ; Kobayashi, Naoki ; Vidal, Germán , 2010

Link: https://dl.acm.org/doi/1..

9

Language support for feature-oriented product line engineer..:

, In: Proceedings of the First International Workshop on Feature-Oriented Software Development,

Chae, Wonseok ; Blume, Matthias - p. 3-10 , 2009

Link: https://dl.acm.org/doi/1..

10

An experimental analysis of self-adjusting computation:

Acar, Umut A. ; Blelloch, Guy E. ; Blume, Matthias..
ACM Transactions on Programming Languages and Systems (TOPLAS). 32 (2009) 1 - p. 1-53 , 2009

Link: https://dl.acm.org/doi/1..

11

An experimental analysis of self-adjusting computation:

Acar, Umut A. ; Blelloch, Guy E. ; Blume, Matthias..
ACM Transactions on Programming Languages and Systems. 32 (2009) 1 - p. 1-53 , 2009

Link: https://doi.org/10.1145/..

12

Typed closure conversion preserves observational equivalenc:

, In: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming,

Ahmed, Amal ; Blume, Matthias - p. 157-168 , 2008

Link: https://dl.acm.org/doi/1..

13

Imperative self-adjusting computation:

Acar, Umut A. ; Ahmed, Amal ; Blume, Matthias
ACM SIGPLAN Notices. 43 (2008) 1 - p. 309-322 , 2008

Link: https://doi.org/10.1145/..

14

Imperative self-adjusting computation:

, In: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Acar, Umut A. ; Ahmed, Amal ; Blume, Matthias - p. 309-322 , 2008

Link: https://dl.acm.org/doi/1..

15

Calling variadic functions from a strongly-typed language:

, In: Proceedings of the 2008 ACM SIGPLAN workshop on ML,

Blume, Matthias ; Rainey, Michael ; Reppy, John - p. 47-58 , 2008

Link: https://dl.acm.org/doi/1..