BIBFRAME Work

Title

Functional and Logic Programming

Type

  • Monograph
  • Text

Contribution

Subject

Language

Classification

  • DDC: 005.1
  • LCC: QA76.758 (Status: nuba, p)

Content

Summary

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.

Authorized Access Point

Functional and Logic Programming

Admin Metadata

  • Date: 2026-09-11T20:12:19.621465+00:00
  • Agent: cbc
  • Status: c
  • Derived from: 21937808

Admin Metadata

  • Date: 2026-09-11
  • Cataloger id: Unknown
  • Description level: http://id.loc.gov/ontologies/bibframe-2-6-0/
  • Description language: eng
  • Description authentication: pcc

Alternative Formats

Blue Core Actions

  • Load to Marva Marva loads Instances, not Works. Open one of this Work's Instances and load that into Marva instead.
  • Load to Sinopia
  • Export to Catalog Only Instances can be exported. Open one of this Work's Instances and export that instead.