FLOPS

Keyphrases

Publications

2022

Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu
A Lazy Desugaring System for Evaluating Programs with Sugars. FLOPS (2022)
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Translation Certification for Smart Contracts. FLOPS (2022)
Birthe van den Berg, Tom Schrijvers
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. FLOPS (2022)
Basel Shbita, Abha Moitra
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description. FLOPS (2022)
Sheng Chen, Md. Rabib Noor
Improving Type Error Reporting for Type Classes. FLOPS (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhancing Expressivity of Checked Corecursive Streams. FLOPS (2022)
Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. FLOPS (2022)
Masahiro Masuda, Yukiyoshi Kameyama
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. FLOPS (2022)
Oleg Kiselyov
Generating C - System Description. FLOPS (2022)
Shujun Zhang, Naoki Nishida
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs. FLOPS (2022)
Dmitry Rozplokhas, Dmitry Boulytchev
Scheduling Complexity of Interleaving Search. FLOPS (2022)
José Nuno Macedo, Marcos Viera, João Saraiva
Zipping Strategies and Attribute Grammars. FLOPS (2022)
Huaduo Wang, Gopal Gupta
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. FLOPS (2022)
Germán Vidal
Explanations as Programs in Probabilistic Logic Programming. FLOPS (2022)
Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. FLOPS (2022)

volume 13215, 2022

Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings FLOPS 13215 (2022)

2020

volume 12073, 2020

Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings FLOPS 12073 (2020)

2018

volume 10818, 2018

Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings FLOPS 10818 (2018)

2016

Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá
Polymorphic Types in Erlang Function Specifications. FLOPS (2016)

volume 9613, 2016

Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings FLOPS 9613 (2016)