MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08143cam a2200877 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn663096322 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160004.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100909s2010 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
OCLCA |
| -- |
CUS |
| -- |
VLB |
| -- |
COF |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OHS |
| -- |
OCLCO |
| -- |
NLGGC |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
SOI |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
IOG |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
BUF |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
LQU |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
DCT |
| -- |
EUN |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 066 ## - CHARACTER SETS PRESENT |
|---|
| Alternate G0 or G1 character set |
(S |
| 019 ## - |
|---|
| -- |
607910540 |
| -- |
610856727 |
| -- |
769769819 |
| -- |
1136684366 |
| -- |
1204008320 |
| -- |
1205127135 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642122514 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642122515 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642122507 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642122507 |
| 024 8# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-12 |
| 028 52 - PUBLISHER NUMBER |
|---|
| Publisher number |
80012138 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048702410 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
326903690 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13521332 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000071283293 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)663096322 |
| Canceled/invalid control number |
(OCoLC)607910540 |
| -- |
(OCoLC)610856727 |
| -- |
(OCoLC)769769819 |
| -- |
(OCoLC)1136684366 |
| -- |
(OCoLC)1204008320 |
| -- |
(OCoLC)1205127135 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-642-12250-7 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.62 |
| Item number |
.F56 2010 |
| 060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER |
|---|
| Classification number |
QA 76.62 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/14 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.51 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Fuji International Symposium on Functional and Logic Programming |
| Number of part/section/meeting |
(10th : |
| Date of meeting |
2010 : |
| Location of meeting |
Sendai-shi (Miyagi-ken, Japan)) |
| 9 (RLIN) |
39605 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Functional and logic programming : |
| Remainder of title |
10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / |
| Statement of responsibility, etc. |
Matthias Blume, Naoki Kobayashi, German Vidal (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2010. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xi, 353 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6009 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary: SL 1-theoretical computer science and general issues |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via Higher-Order Rewrite Systems -- A Complete Axiomatization of Strict Equality -- Standardization and Böhm Trees for ??-Calculus -- An Integrated Distance for Atoms -- A Pearl on SAT Solving in Prolog -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call-by-Need Evaluation -- Complexity Analysis by Graph Rewriting -- Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program Inversion in Term Rewriting -- Delimited Control in OCaml, Abstractly and Concretely: System Description -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed Work Pools in Eden. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Functional programming (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18733 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14819 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic. |
| 9 (RLIN) |
25322 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic |
| 9 (RLIN) |
25322 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software |
| 9 (RLIN) |
16724 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation fonctionnelle |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20012 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation logique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14820 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique. |
| 9 (RLIN) |
31701 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels. |
| 9 (RLIN) |
26065 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
logic. |
| Source of heading or term |
aat |
| 9 (RLIN) |
25322 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
software. |
| Source of heading or term |
aat |
| 9 (RLIN) |
16724 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic |
| Source of heading or term |
fast |
| 9 (RLIN) |
25322 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Functional programming (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
18734 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic programming |
| Source of heading or term |
fast |
| 9 (RLIN) |
6178 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Blume, Matthias, |
| Dates associated with a name |
1966- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjKwcr8XYKMQ9pTJKD33kP |
| 9 (RLIN) |
39606 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kobayashi, Naoki. |
| 9 (RLIN) |
30548 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Vidal, Germán |
| Fuller form of name |
(Germán Francisco Vidal Oriola) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjMhrKgWmcRB963tkMJ8fm |
| 9 (RLIN) |
30885 |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Fuji International Symposium on Functional and Logic Programming (10th : 2010 : Sendai-shi (Miyagi-ken, Japan)). |
| Title |
Functional and logic programming. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2010 |
| International Standard Book Number |
9783642122507 |
| -- |
3642122507 |
| Record control number |
(DLC) 2010923409 |
| -- |
(OCoLC)607971269 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
6009. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-12251-4">https://link.springer.com/10.1007/978-3-642-12251-4</a> |
| 880 0# - ALTERNATE GRAPHIC REPRESENTATION |
|---|
| Linkage |
505-00/(S |
| a |
Invited talks. Beluga : programming with dependent types, contextual data, and contexts / Brigitte Pientka -- Using static analysis to detect type errors and concurrency defects in Erlang programs / Konstantinos Sagonas -- Solving constraint satisfaction problems with SAT technology / Naoyuki Tamura, Tomoya Tanjo, and Mutsunori Banbara -- Refereed papers. Types. A church-style intermediate language for MLF / Didier Rémy and Boris Yakobowski -- ΠΣ : dependent types without the sugar / Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, and Nicolas Oury -- Haskell type constraints unleashed / Dominic Orchard and Tom Schrijvers -- Program analysis and transformation. A functional framework for result checking / Gilles Barthe, Pablo Buiras, and César Kunz -- Tag-free combinators for binding-time polymorphic program generation / Peter Thiemann and Martin Sulzmann -- Code generation via higher-order rewrite systems / Florian Haftmann and Tobias Nipkow -- Foundations. A complete axiomatization of strict equality / Javier Álvez and Francisco J. López-Fraguas -- Standardization and Böhm trees for Λμ-calculus / Alexis Saurin -- An integrated distance for atoms / Vicent Estruch, César Ferri, José Hernández-Orallo, and M. José Ramírez-Quintana -- Logic programming. A pearl on SAT solving in Prolog / Jacob M. Howe and Andy King -- Automatically generating counterexamples to naive free theorems / Daniel Seidel and Janis Voigtländer -- Applying constraint logic programming to SQL test case generation / Rafael Caballero, Yolanda García-Ruiz, and Fernando Sáenz-Pérez -- Evaluation and normalization. Internal normalization, compilation and decompilation for system Fβη / Stefano Berardi and Makoto Tatsuta -- Towards normalization by evaluation for the βη-calculus of constructions / Andreas Abel -- Defunctionalized interpreters for call-by-need evaluation / Olivier Danvy, Kevin Millikin, Johan Munk, and Ian Zerny -- Term rewriting. Complexity analysis by graph rewriting / Martin Avanzini and Georg Moser -- Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus / Jeroen Ketema and Jakob Grue Simonsen -- Proving injectivity of functions via program inversion in term rewriting / Naoki Nishida and Masahiko Sakai -- Parallelism and control. Delimited control in OCaml, abstractly and concretely : system description / Oleg Kiselyov -- Automatic parallelization of recursive functions using quantifier elimination / Akimasa Morihata and Kiminori Matsuzaki -- A skeleton for distributed work pools in Eden / Mischa Dieterle, Jost Berthold, and Rita Loogen. |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |