Fuji International Symposium on Functional and Logic Programming - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 290

2022

Asynchronous Unfold/Fold Transformation for Fixpoint LogicMahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato. FLOPS 2022: 39-56 [doi]

Enhancing Expressivity of Checked Corecursive StreamsDavide Ancona, Pietro Barbieri, Elena Zucca. FLOPS 2022: 1-18 [doi]

Improving Type Error Reporting for Type ClassesSheng Chen, Md. Rabib Noor. FLOPS 2022: 19-38 [doi]

Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, ProceedingsMichael Hanus, Atsushi Igarashi, editors, Volume 13215 of Lecture Notes in Computer Science, Springer, 2022. [doi]

Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOLMichikazu Hirata, Yasuhiko Minamide, Tetsuya Sato. FLOPS 2022: 57-74 [doi]

Generating C - System DescriptionOleg Kiselyov. FLOPS 2022: 75-93 [doi]

Translation Certification for Smart ContractsJacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra. FLOPS 2022: 94-111 [doi]

Zipping Strategies and Attribute GrammarsJosé Nuno Macedo, Marcos Viera, João Saraiva. FLOPS 2022: 112-132 [doi]

Unified Program Generation and Verification: A Case Study on Number-Theoretic TransformMasahiro Masuda, Yukiyoshi Kameyama. FLOPS 2022: 133-151 [doi]

Scheduling Complexity of Interleaving SearchDmitry Rozplokhas, Dmitry Boulytchev. FLOPS 2022: 152-170 [doi]

Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System DescriptionBasel Shbita, Abha Moitra. FLOPS 2022: 171-185 [doi]

A Functional Account of Probabilistic Programming with Possible Worlds - Declarative PearlBirthe van den Berg, Tom Schrijvers. FLOPS 2022: 186-204 [doi]

Explanations as Programs in Probabilistic Logic ProgrammingGermán Vidal. FLOPS 2022: 205-223 [doi]

FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed DataHuaduo Wang, Gopal Gupta. FLOPS 2022: 224-242 [doi]

A Lazy Desugaring System for Evaluating Programs with SugarsZiyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu. FLOPS 2022: 243-261 [doi]

On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction ProofsShujun Zhang, Naoki Nishida 0001. FLOPS 2022: 262-281 [doi]

2020

Functional Pearl: The Distributive λ-CalculusBeniamino Accattoli, Alejandro Díaz-Caro. FLOPS 2020: 33-49 [doi]

The Bang Calculus RevisitedAntonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso. FLOPS 2020: 13-32 [doi]

On the Effectiveness of Higher-Order Logic Programming in Language-Oriented ProgrammingMatteo Cimini. FLOPS 2020: 106-123 [doi]

An SMT-Based Concolic Testing Tool for Logic ProgramsSophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal. FLOPS 2020: 215-219 [doi]

Polynomial Time over the Reals with ParsimonyEmmanuel Hainry, Damiano Mazza, Romain Péchoux. FLOPS 2020: 50-65 [doi]

Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOLMakoto Hamana. FLOPS 2020: 3-9 [doi]

Session Types Without Sophistry - System DescriptionOleg Kiselyov, Keigo Imai. FLOPS 2020: 66-87 [doi]

System Description: Lang-n-Change - A Tool for Transforming LanguagesBenjamin Mourad, Matteo Cimini. FLOPS 2020: 198-214 [doi]

Declarative Pearl: Deriving Monadic QuicksortShin-Cheng Mu, Tsung-Ju Chiang. FLOPS 2020: 124-138 [doi]

Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, ProceedingsKeisuke Nakano, Konstantinos Sagonas, editors, Volume 12073 of Lecture Notes in Computer Science, Springer, 2020. [doi]

Language-Integrated Query with Nested Data Structures and GroupingRui Okura, Yukiyoshi Kameyama. FLOPS 2020: 139-158 [doi]

Restriction on Cut in Cyclic Proof System for Symbolic HeapsKenji Saotome, Koji Nakazawa, Daisuke Kimura. FLOPS 2020: 88-105 [doi]

An Efficient Composition of Bidirectional Programs by Memoization and Lazy UpdateKanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu. FLOPS 2020: 159-178 [doi]

Implementing, and Keeping in Check, a DSL Used in E-LearningOliver Westphal, Janis Voigtländer. FLOPS 2020: 179-197 [doi]

2018

Equivalence Checking of Non-deterministic OperationsSergio Antoy, Michael Hanus. FLOPS 2018: 149-165 [doi]

On Probabilistic Term RewritingMartin Avanzini, Ugo Dal Lago, Akihisa Yamada 0002. FLOPS 2018: 132-148 [doi]

Functional Pearl: Folding Polynomials of PolynomialsChen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu. FLOPS 2018: 68-83 [doi]

A Functional Perspective on Machine Learning via Programmable Induction and AbductionSteven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe. FLOPS 2018: 84-98 [doi]

Breaking Symmetries with Lex ImplicationsMichael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey. FLOPS 2018: 182-197 [doi]

Confluence Modulo Equivalence with Invariants in Constraint Handling RulesDaniel Gall, Thom W. Frühwirth. FLOPS 2018: 116-131 [doi]

Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, ProceedingsJohn P. Gallagher, Martin Sulzmann, editors, Volume 10818 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance ValidationMakoto Hamana. FLOPS 2018: 99-115 [doi]

\lambda λ to SKI, Semantically - Declarative PearlOleg Kiselyov. FLOPS 2018: 33-50 [doi]

CauDEr: A Causal-Consistent Reversible Debugger for ErlangIvan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal. FLOPS 2018: 247-263 [doi]

Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear LogicSatoshi Matsuoka. FLOPS 2018: 17-32 [doi]

Formal Verification of the Correspondence Between Call-by-Need and Call-by-NameMasayuki Mizuno, Eijiro Sumii. FLOPS 2018: 1-16 [doi]

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint SolversAkimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki. FLOPS 2018: 166-181 [doi]

Automated Amortised Resource Analysis for Term Rewrite SystemsGeorg Moser, Manuel Schneckenreither. FLOPS 2018: 214-229 [doi]

Model Checking Parameterized by the Semantics in MaudeAdrián Riesco. FLOPS 2018: 198-213 [doi]

Program Extraction for Mutable ArraysKazuhiko Sakaguchi. FLOPS 2018: 51-67 [doi]

A Common Framework Using Expected Types for Several Type Debugging ApproachesKanae Tsushima, Olaf Chitil. FLOPS 2018: 230-246 [doi]

Cheap Remarks About Concurrent ProgramsMichael Walker, Colin Runciman. FLOPS 2018: 264-279 [doi]

2016

Proof Relevant Corecursive ResolutionPeng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond. FLOPS 2016: 126-143 [doi]

Executable Relational Specifications of Polymorphic Type Systems Using PrologKi Yung Ahn, Andrea Vezzosi. FLOPS 2016: 109-125 [doi]

From Sets to Bits in CoqArthur Blot, Pierre-Évariste Dagand, Julia Lawall. FLOPS 2016: 12-28 [doi]

Space-Efficient Planar Acyclicity Constraints - A Declarative PearlTaus Brock-Nannestad. FLOPS 2016: 94-108 [doi]

A Transformational Approach to Parametric Accumulated-Cost Static ProfilingRémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo. FLOPS 2016: 163-180 [doi]

Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, ProceedingsOleg Kiselyov, Andy King, editors, Volume 9613 of Lecture Notes in Computer Science, Springer, 2016. [doi]

Polymorphic Types in Erlang Function SpecificationsFrancisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá. FLOPS 2016: 181-197 [doi]

T - Declarative PearlIan Mackie, Shinya Sato. FLOPS 2016: 80-93 [doi]

A Coq Library for Internal Verification of Running-TimesJay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robby Findler. FLOPS 2016: 144-162 [doi]

Incremental Computing with Abstract Data StructuresAkimasa Morihata. FLOPS 2016: 215-231 [doi]

Probabilistic Inference by Program Transformation in Hakaru (System Description)Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov. FLOPS 2016: 62-79 [doi]

From Proposition to Program - Embedding the Refinement Calculus in CoqWouter Swierstra, Joao Alpuim. FLOPS 2016: 29-44 [doi]

The Boolean Constraint Solver of SWI-Prolog (System Description)Markus Triska. FLOPS 2016: 45-61 [doi]

Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer ProjectKazunori Ueda. FLOPS 2016: 1-11 [doi]

Declarative Programming with AlgebraAndré van Delft, Anatoliy Kmetyuk. FLOPS 2016: 232-251 [doi]

Declarative Foreign Function Binding Through Generic ProgrammingJeremy Yallop, David Sheets, Anil Madhavapeddy. FLOPS 2016: 198-214 [doi]

2014

Type-Based Amortized Resource Analysis with Integers and ArraysJan Hoffmann 0002, Zhong Shao. FLOPS 2014: 152-168 [doi]

Guided Type DebuggingSheng Chen 0008, Martin Erwig. FLOPS 2014: 35-51 [doi]

PrologCheck - Property-Based Testing in PrologCláudio Amaral, Mário Florido, Vítor Santos Costa. FLOPS 2014: 1-17 [doi]

Proving Correctness of Compilers Using Structured GraphsPatrick Bahr. FLOPS 2014: 221-237 [doi]

Type Soundness and Race Freedom for MezzoThibaut Balabonski, François Pottier, Jonathan Protzenko. FLOPS 2014: 253-269 [doi]

Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System DescriptionKarim Barkati, Haisheng Wang, Pierre Jouvelot. FLOPS 2014: 69-85 [doi]

Well-Structured Pushdown System: Case of Dense Timed Pushdown AutomataXiaojuan Cai, Mizuhito Ogawa. FLOPS 2014: 336-352 [doi]

Generating Constrained Random Data with Uniform DistributionKoen Claessen, Jonas Duregård, Michal H. Palka. FLOPS 2014: 18-34 [doi]

Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. ProceedingsMichael Codish, Eijiro Sumii, editors, Volume 8475 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Constraint Logic Programming for Hedges: A Semantic ReconstructionBesik Dundua, Mário Florido, Temur Kutsia, Mircea Marin. FLOPS 2014: 285-301 [doi]

On Cross-Stage Persistence in Multi-Stage ProgrammingYuichiro Hanada, Atsushi Igarashi. FLOPS 2014: 103-118 [doi]

The Design and Implementation of BER MetaOCaml - System DescriptionOleg Kiselyov. FLOPS 2014: 86-102 [doi]

Semantics for Prolog with Cut - RevisitedJael Kriener, Andy King. FLOPS 2014: 270-284 [doi]

Generic Programming with Multiple ParametersJosé Pedro Magalhães. FLOPS 2014: 136-151 [doi]

Dynamic Programming via Thinning and IncrementalizationAkimasa Morihata, Masato Koishi, Atsushi Ohori. FLOPS 2014: 186-202 [doi]

A New Formalization of Subtyping to Match Subclasses to SubtypesHyunik Na, Sukyoung Ryu. FLOPS 2014: 238-252 [doi]

How Many Numbers Can a Lambda-Term Contain?Pawel Parys. FLOPS 2014: 302-318 [doi]

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative DebuggingAdrián Riesco. FLOPS 2014: 52-68 [doi]

Linear Sized Types in the Calculus of ConstructionsJorge Luis Sacchini. FLOPS 2014: 169-185 [doi]

POSIX Regular Expression Parsing with DerivativesMartin Sulzmann, Kenny Zhuo Ming Lu. FLOPS 2014: 203-220 [doi]

Lightweight Higher-Kinded PolymorphismJeremy Yallop, Leo White. FLOPS 2014: 119-135 [doi]

AC-KBO RevisitedAkihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp. FLOPS 2014: 319-335 [doi]

2012

Compiling a Functional Logic Language: The Basic SchemeSergio Antoy, Arthur Peters. FLOPS 2012: 17-31 [doi]

Normal Form Bisimulations for Delimited-Control OperatorsDariusz Biernacki, Sergueï Lenglet. FLOPS 2012: 47-61 [doi]

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)Gerlof Bouma. FLOPS 2012: 62-72 [doi]

Declarative Debugging of Wrong and Missing Answers for SQL ViewsRafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. FLOPS 2012: 73-87 [doi]

Improving the Performance of FD Constraint Solving in a CFLP SystemIgnacio Castiñeiras, Fernando Sáenz-Pérez. FLOPS 2012: 88-103 [doi]

Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in HaskellMakoto Hamana. FLOPS 2012: 136-150 [doi]

A Lambda Calculus for Gödel-Dummett Logic Capturing WaitfreedomYoichi Hirai. FLOPS 2012: 151-165 [doi]

Parallel Computation Skeletons with Premature Termination PropertyOleg Lobachev. FLOPS 2012: 197-212 [doi]

Extending the TOY System with the ECLiPSe Solver over Sets of IntegersSonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez. FLOPS 2012: 120-135 [doi]

Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment ProblemsAkimasa Morihata. FLOPS 2012: 213-227 [doi]

Coinductive Constraint Logic ProgrammingNeda Saeedloei, Gopal Gupta. FLOPS 2012: 243-259 [doi]

Computing in Cantor's Paradise with λ ZFCNeil Toronto, Jay McCarthy. FLOPS 2012: 290-306 [doi]

The Finite Domain Constraint Solver of SWI-PrologMarkus Triska. FLOPS 2012: 307-316 [doi]

Explicit Binds: Effortless Efficiency with and without TreesTarmo Uustalu. FLOPS 2012: 317-331 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Fuji International Symposium on Functional and Logic Programming (FLOPS)

Viewing Publication 1 - 100 from 290

2022

2020

2018

2016

2014

2012

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Fuji International Symposium on Functional and Logic Programming (FLOPS)

Viewing Publication 1 - 100 from 290

2022

2020

2018

2016

2014

2012

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1