The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthias Blume" ( http://dblp.L3S.de/Authors/Matthias_Blume )

URL (Homepage):  http://ttic.uchicago.edu/~blume/  Author page on DBLP  Author page in RDF  Community of Matthias Blume in ASPL-2

Publication years (Num. hits)
1997-2007 (16) 2008-2013 (13)
Publication types (Num. hits)
article(10) inproceedings(18) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 36 occurrences of 34 keywords

Results
Found 30 publication records. Showing 29 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Umut A. Acar, Matthias Blume, Jacob Donham A consistent semantics of self-adjusting computation. Search on Bibsonomy J. Funct. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jianjun Xie, Scott Leishman, Liang Tian, David Lisuk, Seongjoon Koo, Matthias Blume Feature Engineering in User's Music Preference Prediction. Search on Bibsonomy KDD Cup The full citation details ... 2012 DBLP  BibTeX  RDF
1Matthias Blume, Germán Vidal Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Matthias Blume, Jacob Donham A Consistent Semantics of Self-Adjusting Computation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Amal Ahmed, Matthias Blume An equivalence-preserving CPS translation via multi-language semantics. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Blume, Naoki Kobayashi 0001, Germán Vidal (eds.) Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper 0001, Kanat Tangwongsan An experimental analysis of self-adjusting computation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wonseok Chae, Matthias Blume Language support for feature-oriented product line engineering. Search on Bibsonomy FOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF product line engineering, feature-oriented programming
1Matthias Blume, Umut A. Acar, Wonseok Chae Exception Handlers as Extensible Cases. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Amal Ahmed, Matthias Blume Imperative self-adjusting computation. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations
1Amal Ahmed, Matthias Blume Typed closure conversion preserves observational equivalence. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations
1Wonseok Chae, Matthias Blume Building a Family of Compilers. Search on Bibsonomy SPLC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Blume, Mike Rainey, John H. Reppy Calling variadic functions from a strongly-typed language. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilers, interpreters, foreign-function interfaces
1Paul Kalmar, Matthias Blume FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts. Search on Bibsonomy SemEval@ACL The full citation details ... 2007 DBLP  BibTeX  RDF
1Umut A. Acar, Matthias Blume, Jacob Donham A Consistent Semantics of Self-adjusting Computation. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Derek Dreyer, Matthias Blume Principal Type Schemes for Modular Programs. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Blume, David A. McAllester Sound and complete models of contracts. Search on Bibsonomy J. Funct. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper 0001, Kanat Tangwongsan A Library for Self-Adjusting Computation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthias Blume Contracts as Pairs of Projections. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthias Blume, Umut A. Acar, Wonseok Chae Extensible programming with first-class cases. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF first-class cases, duality, records, sums
1Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan An experimental analysis of self-adjusting computation. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF performance, computational geometry, dynamic algorithms, self-adjusting computation, memorization, dynamic dependence graphs
1Dayne Freitag, Matthias Blume, John Byrnes, Edmond Chow, Sadik Kapadia, Richard Rohwer, Zhiqiang Wang New Experiments in Distributional Representations of Synonymy. Search on Bibsonomy CoNLL The full citation details ... 2005 DBLP  BibTeX  RDF
1Matthias Blume, David A. McAllester A sound (and complete) model of contracts. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF safety, contracts, predicates
1Lal George, Matthias Blume Taming the IXP network processor. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Intel IXA, bank assignment, programming languages, code generation, register allocation, integer linear programming, network processors
1Matthias Blume No-Longer-Foreign: Teaching an ML compiler to speak C "natively". Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Blume Dependency analysis for Standard ML. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compilation management, NP-completeness, dependency analysis
1Matthias Blume, Andrew W. Appel Hierarchical modularity. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compilation management, name visibility, modularity, modules, linking, program structure
1Matthias Blume, Sadik C. Esener An Efficient Mapping of Fuzzy ART onto a Neural Architecture. Search on Bibsonomy Neural Networks The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Matthias Blume, Andrew W. Appel Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license