The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1999-2001 (26) 2002 (19) 2004 (22) 2006 (20) 2008 (24) 2010 (25) 2012 (26) 2014 (22) 2016 (16) 2018 (18)
Publication types (Num. hits)
inproceedings(207) proceedings(11)
Venues (Conferences, Journals, ...)
FLOPS(218)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 40 keywords

Results
Found 218 publication records. Showing 218 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Avanzini, Ugo Dal Lago, Akihisa Yamada 0002 On Probabilistic Term Rewriting. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Satoshi Matsuoka Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Masayuki Mizuno, Eijiro Sumii Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal CauDEr: A Causal-Consistent Reversible Debugger for Erlang. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Equivalence Checking of Non-deterministic Operations. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kanae Tsushima, Olaf Chitil A Common Framework Using Expected Types for Several Type Debugging Approaches. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Makoto Hamana Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu Functional Pearl: Folding Polynomials of Polynomials. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov \lambda λ to SKI, Semantically - Declarative Pearl. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe A Functional Perspective on Machine Learning via Programmable Induction and Abduction. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrián Riesco Model Checking Parameterized by the Semantics in Maude. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georg Moser, Manuel Schneckenreither Automated Amortised Resource Analysis for Term Rewrite Systems. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Martin Sulzmann (eds.) Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Walker, Colin Runciman Cheap Remarks About Concurrent Programs. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kazuhiko Sakaguchi Program Extraction for Mutable Arrays. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Gall, Thom W. Frühwirth Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey Breaking Symmetries with Lex Implications. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Markus Triska The Boolean Constraint Solver of SWI-Prolog (System Description). Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler A Coq Library for Internal Verification of Running-Times. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Taus Brock-Nannestad Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo A Transformational Approach to Parametric Accumulated-Cost Static Profiling. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeremy Yallop, David Sheets, Anil Madhavapeddy Declarative Foreign Function Binding Through Generic Programming. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond Proof Relevant Corecursive Resolution. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kazunori Ueda Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ian Mackie, Shinya Sato An Interaction Net Encoding of Gödel's System T - Declarative Pearl. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Akimasa Morihata Incremental Computing with Abstract Data Structures. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov, Andy King (eds.) Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arthur Blot, Pierre-Évariste Dagand, Julia Lawall From Sets to Bits in Coq. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá Polymorphic Types in Erlang Function Specifications. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wouter Swierstra, João Alpuim From Proposition to Program - Embedding the Refinement Calculus in Coq. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov Probabilistic Inference by Program Transformation in Hakaru (System Description). Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1André van Delft, Anatoliy Kmetyuk Declarative Programming with Algebra. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ki Yung Ahn, Andrea Vezzosi Executable Relational Specifications of Polymorphic Type Systems Using Prolog. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Hoffmann 0002, Zhong Shao Type-Based Amortized Resource Analysis with Integers and Arrays. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Akimasa Morihata, Masato Koishi, Atsushi Ohori Dynamic Programming via Thinning and Incrementalization. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin Constraint Logic Programming for Hedges: A Semantic Reconstruction. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Akihisa Yamada 0002, Sarah Winkler, Nao Hirokawa, Aart Middeldorp AC-KBO Revisited. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jael Kriener, Andy King Semantics for Prolog with Cut - Revisited. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hyunik Na, Sukyoung Ryu A New Formalization of Subtyping to Match Subclasses to Subtypes. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Adrián Riesco Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Karim Barkati, Haisheng Wang, Pierre Jouvelot Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Patrick Bahr Proving Correctness of Compilers Using Structured Graphs. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thibaut Balabonski, François Pottier, Jonathan Protzenko Type Soundness and Race Freedom for Mezzo. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuichiro Hanada, Atsushi Igarashi On Cross-Stage Persistence in Multi-Stage Programming. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pawel Parys How Many Numbers Can a Lambda-Term Contain? Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Jonas Duregård, Michal H. Palka Generating Constrained Random Data with Uniform Distribution. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov The Design and Implementation of BER MetaOCaml - System Description. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xiaojuan Cai, Mizuhito Ogawa Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Kenny Zhuo Ming Lu POSIX Regular Expression Parsing with Derivatives. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sheng Chen 0008, Martin Erwig Guided Type Debugging. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Pedro Magalhães Generic Programming with Multiple Parameters. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cláudio Amaral, Mário Florido, Vítor Santos Costa PrologCheck - Property-Based Testing in Prolog. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jorge Luis Sacchini Linear Sized Types in the Calculus of Constructions. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Codish, Eijiro Sumii (eds.) Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremy Yallop, Leo White Lightweight Higher-Kinded Polymorphism. Search on Bibsonomy FLOPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato A Data Flow Language for Hybrid Query and Programming Languages. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Codish Programming with Boolean Satisfaction. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov Iteratees. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Akimasa Morihata Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Luca Paolini Call-by-Value Solvability, Revisited. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yoichi Hirai A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Markus Triska The Finite Domain Constraint Solver of SWI-Prolog. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tachio Terauchi Automated Verification of Higher-Order Functional Programs. Search on Bibsonomy FLOPS 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
1Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez Extending the TOY System with the ECLiPSe Solver over Sets of Integers. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey A General Implementation Framework for Tabled CLP. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Asami Tanaka, Yukiyoshi Kameyama A Call-by-Name CPS Hierarchy. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi 0001 Exact Flow Analysis by Higher-Order Model Checking. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gerlof Bouma Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl). Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tarmo Uustalu Explicit Binds: Effortless Efficiency with and without Trees. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Oleg Lobachev Parallel Computation Skeletons with Premature Termination Property. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Makoto Hamana Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Neil Toronto, Jay McCarthy Computing in Cantor's Paradise with λ ZFC. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dariusz Biernacki, Sergueï Lenglet Normal Form Bisimulations for Delimited-Control Operators. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Dependently-Typed Programming in GHC. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Arthur Peters Compiling a Functional Logic Language: The Basic Scheme. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Neda Saeedloei, Gopal Gupta Coinductive Constraint Logic Programming. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez Declarative Debugging of Wrong and Missing Answers for SQL Views. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ignacio Castiñeiras, Fernando Sáenz-Pérez Improving the Performance of FD Constraint Solving in a CFLP System. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jael Kriener, Andy King Mutual Exclusion by Interpolation. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata 0001, Alexis Saurin Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana An Integrated Distance for Atoms. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Brigitte Pientka Beluga: Programming with Dependent Types, Contextual Data, and Contexts. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez Applying Constraint Logic Programming to SQL Test Case Generation. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Florian Haftmann, Tobias Nipkow Code Generation via Higher-Order Rewrite Systems. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Konstantinos Sagonas Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001 Towards Normalization by Evaluation for the betaeta-Calculus of Constructions. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Masahiko Sakai Proving Injectivity of Functions via Program Inversion in Term Rewriting. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dominic A. Orchard, Tom Schrijvers Haskell Type Constraints Unleashed. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara Solving Constraint Satisfaction Problems with SAT Technology. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov Delimited Control in OCaml, Abstractly and Concretely: System Description. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jeroen Ketema, Jakob Grue Simonsen Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Seidel, Janis Voigtländer Automatically Generating Counterexamples to Naive Free Theorems. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexis Saurin Standardization and Böhm Trees for Lambdaµ-Calculus. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
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
1Gilles Barthe, Pablo Buiras, César Kunz A Functional Framework for Result Checking. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Javier Álvez, Francisco Javier López-Fraguas A Complete Axiomatization of Strict Equality. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Didier Rémy, Boris Yakobowski A Church-Style Intermediate Language for MLF. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury PiSigma: Dependent Types without the Sugar. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 218 (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