Coverart for item
The Resource Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings, edited by John P. Gallagher, Martin Sulzmann, (electronic book) | (electronic book)

Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings, edited by John P. Gallagher, Martin Sulzmann, (electronic book) | (electronic book)

Label
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Title
Functional and Logic Programming
Title remainder
14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Statement of responsibility
edited by John P. Gallagher, Martin Sulzmann
Creator
Contributor
Editor
Subject
Language
eng
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.
Member of
Cataloging source
UPM
Dewey number
005.1
Index
no index present
LC call number
QA76.758
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2018
http://bibfra.me/vocab/lite/meetingName
Fuji International Symposium on Functional and Logic Programming
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Gallagher, John P.
  • Sulzmann, Martin
Series statement
Lecture Notes in Computer Science,
Series volume
10818
http://library.link/vocab/subjectName
  • Computer science
  • Computers, Special purpose
  • Computer system failures
  • Computer programming
  • Software engineering
  • Programming languages (Electronic computers)
  • Computers
  • Computer Science
  • Software Engineering
  • Programming Languages, Compilers, Interpreters
  • Programming Techniques
  • The Computing Profession
  • System Performance and Evaluation
  • Special Purpose and Application-Based Systems
Label
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings, edited by John P. Gallagher, Martin Sulzmann, (electronic book) | (electronic book)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (XVI, 281 p. 74 illus.)
File format
multiple file formats
Form of item
online
Isbn
9783319906850
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-90686-7
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • on1038402516
  • (OCoLC)1038402516
Label
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings, edited by John P. Gallagher, Martin Sulzmann, (electronic book) | (electronic book)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (XVI, 281 p. 74 illus.)
File format
multiple file formats
Form of item
online
Isbn
9783319906850
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-90686-7
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • on1038402516
  • (OCoLC)1038402516

Library Locations

Processing Feedback ...