| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | José Nuno Macedo, Marcos Viera, João Saraiva |
Zipping Strategies and Attribute Grammars.  |
FLOPS  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Pietro Barbieri, Elena Zucca |
Enhancing Expressivity of Checked Corecursive Streams. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Basel Shbita, Abha Moitra |
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
Generating C - System Description. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Chen, Md. Rabib Noor |
Improving Type Error Reporting for Type Classes. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shujun Zhang, Naoki Nishida 0001 |
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Masuda, Yukiyoshi Kameyama |
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato 0001 |
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Birthe van den Berg, Tom Schrijvers |
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Huaduo Wang, Gopal Gupta 0001 |
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Atsushi Igarashi (eds.) |
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra |
Translation Certification for Smart Contracts. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu |
A Lazy Desugaring System for Evaluating Programs with Sugars. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Explanations as Programs in Probabilistic Logic Programming. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Rozplokhas, Dmitry Boulytchev |
Scheduling Complexity of Interleaving Search. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Hamana |
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Tsung-Ju Chiang |
Declarative Pearl: Deriving Monadic Quicksort. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Okura, Yukiyoshi Kameyama |
Language-Integrated Query with Nested Data Structures and Grouping. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
Restriction on Cut in Cyclic Proof System for Symbolic Heaps. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Westphal, Janis Voigtländer |
Implementing, and Keeping in Check, a DSL Used in E-Learning. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini |
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu |
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Mourad, Matteo Cimini |
System Description: Lang-n-Change - A Tool for Transforming Languages. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Keisuke Nakano 0001, Konstantinos Sagonas (eds.) |
Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucciarelli, Delia Kesner, Alejandro Ríos 0001, Andrés Viso |
The Bang Calculus Revisited. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Alejandro Díaz-Caro |
Functional Pearl: The Distributive λ-Calculus. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal |
An SMT-Based Concolic Testing Tool for Logic Programs. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov, Keigo Imai |
Session Types Without Sophistry - System Description. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hainry, Damiano Mazza, Romain Péchoux |
Polynomial Time over the Reals with Parsimony. |
FLOPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Michael Hanus |
Equivalence Checking of Non-deterministic Operations. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Masayuki Mizuno, Eijiro Sumii |
Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
\lambda λ to SKI, Semantically - Declarative Pearl. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki |
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiko Sakaguchi |
Program Extraction for Mutable Arrays. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001 |
Model Checking Parameterized by the Semantics in Maude. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
Breaking Symmetries with Lex Implications. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser, Manuel Schneckenreither |
Automated Amortised Resource Analysis for Term Rewrite Systems. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gall, Thom W. Frühwirth |
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Hamana |
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kanae Tsushima, Olaf Chitil |
A Common Framework Using Expected Types for Several Type Debugging Approaches. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Avanzini, Ugo Dal Lago, Akihisa Yamada 0002 |
On Probabilistic Term Rewriting. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Walker 0004, Colin Runciman |
Cheap Remarks About Concurrent Programs. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe |
A Functional Perspective on Machine Learning via Programmable Induction and Abduction. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Martin Sulzmann (eds.) |
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Matsuoka |
Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu |
Functional Pearl: Folding Polynomials of Polynomials. |
FLOPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Taus Brock-Nannestad |
Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Swierstra, João Alpuim |
From Proposition to Program - Embedding the Refinement Calculus in Coq. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata |
Incremental Computing with Abstract Data Structures. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ki Yung Ahn, Andrea Vezzosi |
Executable Relational Specifications of Polymorphic Type Systems Using Prolog. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond |
Proof Relevant Corecursive Resolution. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Yallop, David Sheets, Anil Madhavapeddy |
Declarative Foreign Function Binding Through Generic Programming. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazunori Ueda |
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov |
Probabilistic Inference by Program Transformation in Hakaru (System Description). |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá |
Polymorphic Types in Erlang Function Specifications. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Triska |
The Boolean Constraint Solver of SWI-Prolog (System Description). |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ré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. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler |
A Coq Library for Internal Verification of Running-Times. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Blot, Pierre-Évariste Dagand, Julia Lawall |
From Sets to Bits in Coq. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie, Shinya Sato |
An Interaction Net Encoding of Gödel's System T - Declarative Pearl. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | André van Delft, Anatoliy Kmetyuk |
Declarative Programming with Algebra. |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov, Andy King (eds.) |
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings |
FLOPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Chen 0008, Martin Erwig |
Guided Type Debugging. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | José Pedro Magalhães |
Generic Programming with Multiple Parameters. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jael Kriener, Andy King |
Semantics for Prolog with Cut - Revisited. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Proving Correctness of Compilers Using Structured Graphs. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Yallop, Leo White |
Lightweight Higher-Kinded Polymorphism. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001 |
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Luis Sacchini |
Linear Sized Types in the Calculus of Constructions. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Kenny Zhuo Ming Lu |
POSIX Regular Expression Parsing with Derivatives. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Zhong Shao |
Type-Based Amortized Resource Analysis with Integers and Arrays. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyunik Na, Sukyoung Ryu |
A New Formalization of Subtyping to Match Subclasses to Subtypes. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
The Design and Implementation of BER MetaOCaml - System Description. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Parys |
How Many Numbers Can a Lambda-Term Contain? |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Eijiro Sumii (eds.) |
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihisa Yamada 0002, Sarah Winkler, Nao Hirokawa, Aart Middeldorp |
AC-KBO Revisited. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojuan Cai, Mizuhito Ogawa |
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudio Amaral, Mário Florido, Vítor Santos Costa |
PrologCheck - Property-Based Testing in Prolog. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata, Masato Koishi, Atsushi Ohori |
Dynamic Programming via Thinning and Incrementalization. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Balabonski, François Pottier, Jonathan Protzenko |
Type Soundness and Race Freedom for Mezzo. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Jonas Duregård, Michal H. Palka |
Generating Constrained Random Data with Uniform Distribution. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichiro Hanada, Atsushi Igarashi |
On Cross-Stage Persistence in Multi-Stage Programming. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin |
Constraint Logic Programming for Hedges: A Semantic Reconstruction. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Barkati, Haisheng Wang, Pierre Jouvelot |
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. |
FLOPS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Declarative Debugging of Wrong and Missing Answers for SQL Views. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich |
Dependently-Typed Programming in GHC. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonia 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. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Sergueï Lenglet |
Normal Form Bisimulations for Delimited-Control Operators. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerlof Bouma |
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl). |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Luca Paolini |
Call-by-Value Solvability, Revisited. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Asami Tanaka, Yukiyoshi Kameyama |
A Call-by-Name CPS Hierarchy. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Castiñeiras, Fernando Sáenz-Pérez |
Improving the Performance of FD Constraint Solving in a CFLP System. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Lobachev |
Parallel Computation Skeletons with Premature Termination Property. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi 0001 |
Exact Flow Analysis by Higher-Order Model Checking. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu |
Explicit Binds: Effortless Efficiency with and without Trees. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Arthur Michener Peters |
Compiling a Functional Logic Language: The Basic Scheme. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
A General Implementation Framework for Tabled CLP. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato |
A Data Flow Language for Hybrid Query and Programming Languages. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license