عنوان
پدید آورنده
موضوع
رده
QA76.62
QA76
.
62
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030162028
(Number (ISBN
9783030162023
Erroneous ISBN
9783030162016
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Functional and constraint logic programming :
General Material Designation
[Book]
Other Title Information
26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised selected papers /
First Statement of Responsibility
Josep Silva (ed.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (vii, 179 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
11285
GENERAL NOTES
Text of Note
Includes author index.
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030162023
PARALLEL TITLE PROPER
Parallel Title
WFLP 2018
TOPICAL NAME USED AS SUBJECT
Constraint programming (Computer science), Congresses.
Functional programming (Computer science), Congresses.
Logic programming, Congresses.
Constraint programming (Computer science)
Functional programming (Computer science)
Logic programming.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/14
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
62
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Silva, Josep
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
WFLP (Workshop)(26th :2018 :, Frankfurt am Main, Germany)
ORIGINATING SOURCE
Date of Transaction
20200823085041.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
