Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Peter Thiemann" ( http://dblp.L3S.de/Authors/Peter_Thiemann )

URL (Homepage):  http://www.informatik.uni-freiburg.de/~thiemann/  Author page on DBLP  Author page in RDF  Community of Peter Thiemann in ASPL-2

Publication years (Num. hits)
1990-1996 (18) 1997-1998 (15) 1999-2002 (20) 2003-2005 (18) 2006-2008 (19) 2009-2010 (17) 2011-2012 (9)
Publication types (Num. hits)
article(29) book(1) inproceedings(80) proceedings(6)
Venues (Conferences, Journals, ...)
PEPM(7) Electr. Notes Theor. Comput. S...(6) ESOP(6) ICFP(5) J. Funct. Program.(5) APLAS(4) Higher-Order and Symbolic Comp...(4) POPL(4) Programming Paradigms for the ...(4) ACM Trans. Program. Lang. Syst...(3) ECOOP(3) FLOPS(3) GI Jahrestagung(3) PADL(3) SAS(3) CC(2) More (+10 of total 61)
Authors
Peter Thiemann(116) Stefan Wehr(11) Matthias Neubauer(10) Michael Sperber(9) Annette Bieniusa(6) Phillip Heidegger(6) Olivier Danvy(5) Philip Wadler(5) Simon Helsen(5) Markus Degen(4) Richard Hull(4) Gilles Barthe(3) Robert Glück(3) Anders Møller(2) Christian Schindelhauer(2) Faisal Aslam(2) More (+10 of total 52)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 61 occurrences of 40 keywords
Results
Found 116 publication records. Showing 116 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Phillip Heidegger, Peter Thiemann JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. Search on Bibsonomy Journal of Object Technology The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Markus Degen, Peter Thiemann, Stefan Wehr The interaction of contracts and laziness. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Phillip Heidegger, Annette Bieniusa, Peter Thiemann Access permission contracts for scripting languages. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tom Schrijvers, Peter Thiemann (eds.) Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan Wehr, Peter Thiemann JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Wehr, Peter Thiemann On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. Search on Bibsonomy New Generation Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Phillip Heidegger, Peter Thiemann A Heuristic Approach for Computing Effects. Search on Bibsonomy TOOLS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi Offline GC: trashing reachable objects on tiny devices. Search on Bibsonomy SenSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Annette Bieniusa, Peter Thiemann Proving Isolation Properties for Software Transactional Memory. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Markus Degen, Peter Thiemann, Stefan Wehr Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Rudolph, Peter Thiemann Mnemonics: type-safe bytecode generation at run time. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Phillip Heidegger, Peter Thiemann Contract-Driven Testing of JavaScript Code. Search on Bibsonomy TOOLS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi Optimized Java Binary and Virtual Machine for Tiny Motes. Search on Bibsonomy DCOSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Rudolph, Peter Thiemann Mnemonics: type-safe bytecode generation at run time. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF embedded domain specific language, program generation, metaprogramming
1Peter Thiemann, Martin Sulzmann Tag-Free Combinators for Binding-Time Polymorphic Program Generation. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Phillip Heidegger, Annette Bieniusa, Peter Thiemann DOM Transactions for Testing JavaScript. Search on Bibsonomy TAIC PART The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Konrad Anton, Peter Thiemann Towards Deriving Type Systems and Implementations for Coroutines. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Konrad Anton, Peter Thiemann Typing Coroutines. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Annette Bieniusa, Arie Middelkoop, Peter Thiemann Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF irrevocable transactions, consistency, software transactional memory
1Simon Holm Jensen, Anders Møller, Peter Thiemann Interprocedural Analysis with Lazy Propagation. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Phillip Heidegger, Peter Thiemann Recency Types for Analyzing Scripting Languages. Search on Bibsonomy ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefan Wehr, Peter Thiemann JavaGI in the battlefield: practical experience with generalized interfaces. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF JavaGI, external methods, retroactive interface implementation, case studies, multimethods
1Annette Bieniusa, Peter Thiemann How to CPS Transform a Monad. Search on Bibsonomy CC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefan Wehr, Peter Thiemann On the Decidability of Subtyping with Bounded Existential Types. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Markus Degen, Peter Thiemann, Stefan Wehr True Lies: Lazy Contracts for Lazy Languages. Search on Bibsonomy GI Jahrestagung The full citation details ... 2009 DBLP  BibTeX  RDF
1Simon Holm Jensen, Anders Møller, Peter Thiemann Type Analysis for JavaScript. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Thiemann, Henrik Nilsson Special Issue Dedicated to ICFP 2008 Editorial. Search on Bibsonomy J. Funct. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Neubauer, Peter Thiemann Placement Inference for a Client-Server Calculus. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Annette Bieniusa, Peter Thiemann, Stefan Wehr The Relation of Version Control to Concurrent Programming. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1James Hook, Peter Thiemann (eds.) Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008 Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  BibTeX  RDF
1Peter Thiemann, Stefan Wehr Interface Types for Haskell. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Thiemann, Matthias Neubauer Macros for context-free grammars. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Richard Hull, Peter Thiemann, Philip Wadler 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. Search on Bibsonomy Programming Paradigms for the Web: Web Programming and Web Services The full citation details ... 2007 DBLP  BibTeX  RDF
1Richard Hull, Peter Thiemann, Philip Wadler 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. Search on Bibsonomy Programming Paradigms for the Web: Web Programming and Web Services The full citation details ... 2007 DBLP  BibTeX  RDF
1Richard Hull, Peter Thiemann, Philip Wadler 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. Search on Bibsonomy Programming Paradigms for the Web: Web Programming and Web Services The full citation details ... 2007 DBLP  BibTeX  RDF
1Richard Hull, Peter Thiemann, Philip Wadler (eds.) Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007 Search on Bibsonomy Programming Paradigms for the Web: Web Programming and Web Services The full citation details ... 2007 DBLP  BibTeX  RDF
1Stefan Wehr, Ralf Lämmel, Peter Thiemann JavaGI : Generalized Interfaces for Java. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Markus Degen, Peter Thiemann, Stefan Wehr Tracking Linear and Affine Resources with Java(X). Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Claudius Heitz, Peter Thiemann, Thomas Wölfle Integration of an Action Language Via UML Action Semantics. Search on Bibsonomy TEAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML Action Language, UML Action Semantics, model to code transformation, Model Driven Architecture (MDA), behavioral modeling
1Dirk Draheim, Peter Thiemann, Gerald Weber A Spreadsheet Client for Web Applications. Search on Bibsonomy NGITS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Thiemann WASH Server Pages. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kathrin Lehmann, Peter Thiemann Field Access Analysis for Enforcing Access Control Policies. Search on Bibsonomy ETRICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Thiemann User-level transactional programming in Haskell. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Thiemann An embedded domain-specific language for type-safe server-side web scripting. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Interactive Web services, Web programming
1Matthias Neubauer, Peter Thiemann From sequential programs to multi-tier applications by program transformation. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF application partioning, concurrency, type systems
1Peter Thiemann Grammar-based analysis of string expressions. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF string expression analysis, constraints, type inference
1Peter Thiemann A Type Safe DOM API. Search on Bibsonomy DBPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Towards a Type System for Analyzing JavaScript Programs. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Peter Thiemann, Matthias Neubauer Parameterized LR Parsing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Simon Helsen, Peter Thiemann Polymorphic specialization for ML. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF regions, program specialization, Binding-time analysis
1Wei-Ngan Chin, Olivier Danvy, Peter Thiemann Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Peter Dybjer, Peter Thiemann Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Neubauer, Peter Thiemann An Implementation of Session Types. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Server-Side Web Programming in WASH. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Neubauer, Peter Thiemann Protocol Specialization. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Static Analysis of the Frequency of Change. Search on Bibsonomy GI Jahrestagung The full citation details ... 2004 DBLP  BibTeX  RDF
1Matthias Neubauer, Peter Thiemann Discriminative sum types locate the source of type errors. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Philip Wadler, Peter Thiemann The marriage of effects and monads. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type reconstruction, type, effect, Monad, region
1Peter Thiemann Program specialization for execution monitoring. Search on Bibsonomy J. Funct. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Matthias Neubauer, Peter Thiemann Discriminative sum types locate the source of type errors. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF polymorphism, type inference, type errors
1Peter Thiemann Continuation-Based Partial Evaluation without Continuations. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Functional programming, type systems, partial evaluation
1Cristiano Calcagno, Simon Helsen, Peter Thiemann Syntactic Type Soundness Results for the Region Calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Programmable Type Systems for Domain Specific Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Peter Thiemann Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Peter Thiemann A typed representation for HTML and XML documents in Haskell. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Peter Thiemann WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CGI Programming, Haskell, Monads
1Peter Thiemann (eds.) Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002 Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  BibTeX  RDF
1Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber Functional logic overloading. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Matthias Neubauer, Peter Thiemann Type classes with more higher-order polymorphism. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF higher-order unification, Haskell, type inference, type classes
1Peter Thiemann A Prototype Dependency Calculus. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Enforcing Safety Properties Using Type Specialization. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Simon Helsen, Peter Thiemann Syntactic Type Soundness for the Region Calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Sperber, Peter Thiemann Generation of LR parsers by partial evaluation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF functional programming, continuations, partial evaluation, parser generation, LR parsing
1Peter Thiemann Modeling HTML in Haskell. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Simon Helsen, Peter Thiemann Fragmental Specialization. Search on Bibsonomy SAIG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Compiling Adaptive Programs by Partial Evaluation. Search on Bibsonomy CC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compilation, semantics, object-oriented programming
1Peter Thiemann An Algebraic Foundation for Adaptive Programming. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Combinators for Program Generation. Search on Bibsonomy J. Funct. Program. The full citation details ... 1999 DBLP  BibTeX  RDF
1Peter Thiemann Interpreting Specialization in Type Theory. Search on Bibsonomy PEPM The full citation details ... 1999 DBLP  BibTeX  RDF
1John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.) Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 Search on Bibsonomy Partial Evaluation The full citation details ... 1999 DBLP  BibTeX  RDF
1Peter Thiemann Higher-Order Code Splicing. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Robert Glück, Peter Thiemann 1998 Symposium on Partial Evaluation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Aspects of the PGG System: Specialization for Standard Scheme. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright Single and Loving It: Must-Alias Analysis for Higher-Order Languages. Search on Bibsonomy POPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Simon Helsen, Peter Thiemann Two Flavors of Offline Partial Evaluation. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Formalizing Resourve Allocation in a Compiler. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Peter Thiemann A Generic Framework for Specialization (Abridged Version). Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program transformation, partial evaluation, computational effects, higher-order programming
1Peter Thiemann Drawing Syntax Diagrams in Haskell. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Correctness of a region-based binding-time analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, John Hatcliff, Peter Thiemann Monadic Type Systems: Pure Type Systems for Impure Settings. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Sperber, Peter Thiemann Two for the Price of One: Composing Partial Evaluation and Compilation. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Julia L. Lawall, Peter Thiemann Sound Specialization in the Presence of Computational Effects. Search on Bibsonomy TACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Peter Thiemann A Unified Framework for Binding-Time Analysis. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Michael Sperber, Peter Thiemann, Herbert Klaeren Distributed partial evaluation. Search on Bibsonomy PASCO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Dirk Dussart, John Hughes, Peter Thiemann Type Specialization for Imperative Languages. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF program transformation, type systems, monads, specialisation
1Peter Thiemann, Michael Sperber Program Generation with Class. Search on Bibsonomy GI Jahrestagung The full citation details ... 1997 DBLP  BibTeX  RDF
1Michael Sperber, Peter Thiemann Realistic Compilation by Partial Evaluation. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF compilation of higher-order functional languages, semantics-directed compiler generation, partial evaluation
1Peter Thiemann, Michael Sperber Polyvariant Expansion and Compiler Generators. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, partial evaluation, automatic program transformation
Displaying result #1 - #100 of 116 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.