The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MPC"( http://dblp.L3S.de/Venues/MPC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/mpc

Publication years (Num. hits)
1989 (26) 1992 (24) 1993-1995 (26) 1998 (21) 2000 (16) 2002 (15) 2004 (21) 2006 (26) 2008 (22) 2010 (23) 2012 (17) 2015 (16)
Publication types (Num. hits)
inproceedings(241) proceedings(12)
Venues (Conferences, Journals, ...)
MPC(253)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 11 keywords

Results
Found 253 publication records. Showing 253 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens Notions of Bidirectional Computation and Entangled State Monads. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Wu, Tom Schrijvers Fusion for Free - Efficient Algebraic Effect Handlers. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Walter Guttmann A Relation-Algebraic Approach to Multirelations and Predicate Transformers. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pepijn Kokke, Wouter Swierstra Auto in Agda - Programming Proof Search Using Reflection. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Tony Hoare Exploring an Interface Model for CKA. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Victor B. F. Gomes, Georg Struth A Program Construction and Verification Tool for Separation Logic. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephan van Staden On Rely-Guarantee Reasoning. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten Regular Varieties of Automata and Coequations. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco 0001 A Clear Picture of Lens Laws - Functional Pearl. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patrick Roocks Preference Decomposition and the Expressiveness of Preference Query Languages. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dan Piponi, Brent A. Yorgey Polynomial Functors Constrained by Regular Expressions. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Pedro Magalhães, Andres Löh Hierarchy in Generic Programming Libraries. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf Hinze, Janis Voigtländer (eds.) Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patrick Bahr Calculating Certified Compilers for Non-deterministic Languages. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Conor McBride Turing-Completeness Totally Free. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alasdair Armstrong, Simon Foster 0001, Georg Struth Dependently Typed Programming Based on Automated Theorem Proving. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ross Paterson Constructing Applicative Functors. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jeremy Gibbons, Pablo Nogueira (eds.) Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Louis Mandel, Florence Plateau Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ilya Sergey, Jan Midtgaard, Dave Clarke 0001 Calculating Graph Algorithms for Dominance and Shortest Path. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrick Bahr Modular Tree Automata. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carroll Morgan Elementary Probability Theory in the Eindhoven Style. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Han-Hing Dang, Bernhard Möller Reverse Exchange for Concurrency and Local Reasoning. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse First-Past-the-Post Games. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Walter Guttmann Unifying Correctness Statements. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Stephan van Staden The Laws of Programming Unify Process Calculi. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ralf Hinze Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Lux, Heiko Mantel, Matthias Perner Scheduler-Independent Declassification. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Ian J. Hayes Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dan R. Ghica The Geometry of Synthesis - How to Make Hardware Out of Software. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Patrick Roocks, Markus Endres An Algebraic Calculus of Database Preferences. Search on Bibsonomy MPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, Wei Chen 0023, João F. Ferreira The Algorithmics of Solitaire-Like Games. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yifeng Chen, Jeff W. Sanders Abstraction of Object Graphs in Program Verification. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, Dan Grundy The Logic of Large Enough. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piotr Kosiuczenko An Abstract Machine for the Old Value Retrieval. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian J. Hayes, Steve Dunne, Larissa Meinicke Unifying Theories of Programming That Distinguish Nontermination and Abort. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kasper Brink, Stefan Holdermans, Andres Löh Dependently Typed Grammars. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit A Tracking Semantics for CSP. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jane Hillston Process Algebras for Collective Dynamics. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Ian J. Hayes Compositional Action System Derivation Using Enforced Properties. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ralf Hinze Adjoint Folds and Unfolds. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi Compositionality of Secure Information Flow. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1João F. Ferreira Designing an Algorithmic Proof of the Two-Squares Theorem. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Walter Guttmann Partial, Total and General Correctness. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Milad Niqui, Jan J. M. M. Rutten Sampling, Splitting and Merging in Coinductive Stream Calculus. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Louis Mandel, Florence Plateau, Marc Pouzet Lucy-n: a n-Synchronous Extension of Lustre. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Meng Wang 0002, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu Gradual Refinement. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dusko Pavlovic, Peter Pepper, Douglas R. Smith Formal Derivation of Concurrent Garbage Collectors. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nils Anders Danielsson, Thorsten Altenkirch Subtyping, Declaratively. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hugo Daniel Macedo, José Nuno Oliveira Matrices as Arrows! Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Georg Struth On Automated Program Construction and Verification. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif Temporal Logic Verification of Lock-Freedom. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.) Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hugo Pacheco 0001, Alcino Cunha Generic Point-free Lenses. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson Algebra of Programming Using Dependent Types. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse, João F. Ferreira Recounting the Rationals: Twice!. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Calkin-Wilf tree, Stern-Brocot tree, algorithm derivation, rational numbers, enumeration algorithm
1Ralf Lämmel, Ondrej Rypacek The Expression Lemma. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF expression lemma, functional object, the composite design pattern, free monad, cofree comonad, fold, program calculation, expression problem, distributive law, catamorphism
1Susumu Nishimura Safe Modification of Pointer Programs in Refinement Calculus. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ralf Hinze Exploiting Unique Fixed Points. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippe Audebaud, Christine Paulin-Mohring (eds.) Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Greg Morrisett Programming with Effects in Coq. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Janis Voigtländer Asymptotic Improvement of Computations over Free Monads. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ralph Matthes Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001, Thierry Coquand, Peter Dybjer Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Richard S. Bird Zippy Tabulations of Recursive Functions. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Barry Jay, Simon L. Peyton Jones Scrap Your Type Applications. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Larissa Meinicke, Ian J. Hayes Probabilistic Choice in Refinement Algebra. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roland Carl Backhouse The Capacity-CTorch Problem. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algorithm derivation, algorithmic problem solving, dynamic programming, shortest path
1Andreas Witzel Symmetric and Synchronous Communication in Peer-to-Peer Networks. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michel Sintzoff Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roland Glück, Bernhard Möller Circulations, Fuzzy Relations and Semirings. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter Asynchronous Exceptions as an Effect. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dexter Kozen, Wei-Lung Dustin Tseng The Böhm-Jacopini Theorem Is False, Propositionally. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jeremy Gibbons Unfolding Abstract Datatypes. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yann Régis-Gianas, François Pottier A Hoare Logic for Call-by-Value Functional Programs. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Georg Struth Modal Semirings Revisited. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez Generic Views on Data Types. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Georg Struth Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kim Solin, Joakim von Wright Refinement Algebra with Operators for Enabledness and Termination. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Clare E. Martin, Sharon A. Curtis Nondeterministic Folds. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Olivier Danvy Refunctionalization at Work. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philippe Audebaud, Christine Paulin-Mohring Proofs of Randomized Algorithms in Coq. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kamal Aboul-Hosn, Dexter Kozen Relational Semantics for Higher-Order Programs. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard S. Bird Loopless Functional Algorithms. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Larissa Meinicke, Ian J. Hayes Continuous Action System Refinement. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard S. Bird Improving Saddleback Search: A Lesson in Algorithm Design. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jeremy Gibbons Fission for Program Comprehension. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1J. Robin B. Cockett What Is a Good Process Semantics? Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi Swapping Arguments and Results of Recursive Functions. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble Aspects and Data Refinement. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ralf Hinze, Andres Löh "Scrap Your Boilerplate" Revolutions. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard Möller The Linear Algebra of UTP. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wolfram Kahl, Jacques Carette, Xiaoheng Ji Bimonadic Semantics for Basic Pattern Matching Calculi. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tarmo Uustalu (eds.) Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Arjan J. Mooij Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carroll Morgan The Shadow Knows: Refinement of Ignorance in Sequential Programs. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jevgeni Kabanov, Varmo Vene Recursion Schemes for Dynamic Programming. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yifeng Chen, Jeff W. Sanders Compositional Reasoning for Pointer Structures. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 253 (100 per page; Change: )
Pages: [1][2][3][>>]
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