Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020)

• Record Type: Book
• Further Information: Note: Keisuke Nakano, Konstantinos Sagonas.
• Editors: Nakano, Keisuke; Sagonas, Konstantinos
• Contents: Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL.- ​The Bang Calculus Revisited.- Functional Pearl: The Distributive λ-Calculus.- Polynomial time over the reals with parsimony.- Session Types without Sophistry (System Description).- Restriction on cut in cyclic proof system for symbolic heaps.- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.- Declarative Pearl: Deriving Monadic Quicksort.- Language-Integrated Query with Nested Data Structures and Grouping.- An efficient composition of bidirectional programs by memoization and lazy update.- Implementing, and Keeping in Check, a DSL Used in E-Learning.- System Description: Lang-n-Change -- A Tool for Transforming Languages.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource (221 pages)
• Subjects: Computer science; Software engineering; Programming languages (Electronic computers); Computer programming; Artificial intelligence; Computer logic; Mathematical logic; Computers -- Programming Languages -- General; Computers -- Programming -- General; Computers -- Intelligence (AI) & Semantics; Mathematics -- Logic; Programming & scripting languages: general; Computer programming / software development; Artificial intelligence; Mathematical theory of computation; Computers -- Software Development & Engineering -- General; Software Engineering
• Languages: English
• ISBNs: 9783030590253
• Related ISBNs: 9783030590246
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.