Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. (English) Zbl 1386.68007

Lecture Notes in Computer Science 10818. Cham: Springer (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). xvi, 281 p. (2018).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1331.68016].
Indexed articles:
Mizuno, Masayuki; Sumii, Eijiro, Formal verification of the correspondence between call-by-need and call-by-name, 1-16 [Zbl 06900722]
Matsuoka, Satoshi, Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic, 17-32 [Zbl 06900723]
Kiselyov, Oleg, \(\lambda\) to SKI, semantically – declarative pearl, 33-50 [Zbl 06900724]
Sakaguchi, Kazuhiko, Program extraction for mutable arrays, 51-67 [Zbl 06900725]
Cheng, Chen-Mou; Hsu, Ruey-Lin; Mu, Shin-Cheng, Functional pearl: folding polynomials of polynomials, 68-83 [Zbl 06900726]
Cheung, Steven; Darvariu, Victor; Ghica, Dan R.; Muroya, Koko; Rowe, Reuben N. S., A functional perspective on machine learning via programmable induction and abduction, 84-98 [Zbl 06900727]
Hamana, Makoto, Polymorphic rewrite rules: confluence, type inference, and instance validation, 99-115 [Zbl 06900728]
Gall, Daniel; Frühwirth, Thom, Confluence modulo equivalence with invariants in constraint handling rules, 116-131 [Zbl 06900729]
Avanzini, Martin; Dal Lago, Ugo; Yamada, Akihisa, On probabilistic term rewriting, 132-148 [Zbl 06900730]
Morihata, Akimasa; Emoto, Kento; Matsuzaki, Kiminori; Hu, Zhenjiang; Iwasaki, Hideya, Optimizing declarative parallel distributed graph processing by using constraint solvers, 166-181 [Zbl 06900731]
Codish, Michael; Ehlers, Thorsten; Gange, Graeme; Itzhakov, Avraham; Stuckey, Peter J., Breaking symmetries with lex implications, 182-197 [Zbl 06900732]
Riesco, Adrián, Model checking parameterized by the semantics in Maude, 198-213 [Zbl 06900733]
Moser, Georg; Schneckenreither, Manuel, Automated amortised resource analysis for term rewrite systems, 214-229 [Zbl 06900734]
Tsushima, Kanae; Chitil, Olaf, A common framework using expected types for several type debugging approaches, 230-246 [Zbl 06900735]
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán, Cauder: a causal-consistent reversible debugger for Erlang, 247-263 [Zbl 06900736]
Walker, Michael; Runciman, Colin, Cheap remarks about concurrent programs, 264-279 [Zbl 06900737]


68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N17 Logic programming
68N18 Functional programming and lambda calculus
00B25 Proceedings of conferences of miscellaneous specific interest


Zbl 1331.68016
Full Text: DOI