Coverart for item
The Resource Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, Tom Schrijvers, Peter Thiemann (eds.), (electronic book)

Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, Tom Schrijvers, Peter Thiemann (eds.), (electronic book)

Label
Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Title
Functional and logic programming
Title remainder
11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Statement of responsibility
Tom Schrijvers, Peter Thiemann (eds.)
Title variation
FLOPS 2012
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/1
Index
index present
LC call number
QA76.62
LC item number
.F85 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
Fuji International Symposium on Functional and Logic Programming
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Schrijvers, Tom
  • Thiemann, Peter
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7294
http://library.link/vocab/subjectName
  • Functional programming (Computer science)
  • Logic programming
Label
Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, Tom Schrijvers, Peter Thiemann (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Compiling a Functional Logic Language: The Basic Scheme
  • Sergio Antoy and Arthur Peters
  • Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts
  • Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata and Alexis Saurin
  • Normal Form Bisimulations for Delimited-Control Operators
  • Dariusz Biernacki and Sergueï Lenglet
  • Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)
  • Gerlof Bouma
  • Declarative Debugging of Wrong and Missing Answers for SQL Views
  • Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez
  • Programming with Boolean Satisfaction
  • Improving the Performance of FD Constraint Solving in a CFLP System
  • Ignacio Castiñeiras and Fernando Sáenz-Pérez
  • A General Implementation Framework for Tabled CLP
  • Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo and Peter Stuckey
  • Michael Codish
  • Automated Verification of Higher-Order Functional Programs
  • Tachio Terauchi
  • Dependently-Typed Programming in GHC
  • Stephanie Weirich
  • Call-by-Value Solvability, Revisited
  • Beniamino Accattoli and Luca Paolini
Control code
SPR794273012
Dimensions
unknown
Extent
1 online resource (x, 331 p.)
File format
unknown
Form of item
online
Isbn
9783642298226
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Functional and logic programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, Tom Schrijvers, Peter Thiemann (eds.), (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Compiling a Functional Logic Language: The Basic Scheme
  • Sergio Antoy and Arthur Peters
  • Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts
  • Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata and Alexis Saurin
  • Normal Form Bisimulations for Delimited-Control Operators
  • Dariusz Biernacki and Sergueï Lenglet
  • Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)
  • Gerlof Bouma
  • Declarative Debugging of Wrong and Missing Answers for SQL Views
  • Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez
  • Programming with Boolean Satisfaction
  • Improving the Performance of FD Constraint Solving in a CFLP System
  • Ignacio Castiñeiras and Fernando Sáenz-Pérez
  • A General Implementation Framework for Tabled CLP
  • Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo and Peter Stuckey
  • Michael Codish
  • Automated Verification of Higher-Order Functional Programs
  • Tachio Terauchi
  • Dependently-Typed Programming in GHC
  • Stephanie Weirich
  • Call-by-Value Solvability, Revisited
  • Beniamino Accattoli and Luca Paolini
Control code
SPR794273012
Dimensions
unknown
Extent
1 online resource (x, 331 p.)
File format
unknown
Form of item
online
Isbn
9783642298226
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...