Functional and Logic Programming

>> Google Books

Functional and Logic Programming / David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2012

著者名:

ISBN:

9783642298219 [3642298214]
9783642298226 [3642298222]

書誌ID:

OB00356639

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Computer Science (Hardware & Networks); Information Technology - Software Engineering

言語:

英語

目次情報:

Programming with Boolean Satisfaction (Abstract) / Michael Codish

Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi

Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich

Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini

Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters

Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin

Normal Form Bisimulations for Delimited-Control Operators / Dariusz Biernacki ; 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 ; Fernando Sáenz-Pérez

Improving the Performance of FD Constraint Solving in a CFLP System / Ignacio Castiñeiras

A General Implementation Framework for Tabled CLP / Pablo Chico de Guzmán ; Manuel Carro ; Manuel V. Hermenegildo ; Peter Stuckey

Extending the TOy System with the ECL PS^e Solver over Sets of Integers

Sonia Estévez-Martín / Jesús Correas Fernández

Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell / Makoto Hamana

A Lambda Calculus for Gödel-Durnmett Logic Capturing Waitfreedom / Yoichi Hirai

Iteratees / Oleg Kiselyov

Mutual Exclusion by Interpolation / Jael Kriener ; Andy King

Parallel Computation Skeletons with Premature Termination Property / Oleg Lobachev

Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems / Akimasa Morihata

A Data Flow Language for Hybrid Query and Programming Languages / Kristoffer H. Rose ; Lionel Villard ; Naoto Sato

Coinductive Constraint Logic Programming / Neda Saeedloei ; Gopal Gupta

A Call-by-Name CPS Hierarchy / Asami Tanaka ; Yukiyoshi Kameyama

Exact Flow Analysis by Higher-Order Model Checking / Yoshihiro Tobita ; Takeshi Tsukada ; Naoki Kobayashi

Computing in Cantor's Paradise With λZFC / Neil Toronto ; Jay McCarthy

The Finite Domain Constraint Solver of SWI-Prolog / Markus Triska

Explicit Binds: Effortless Efficiency with and without Trees / Tarmo Uustalu

Author Index

Programming with Boolean Satisfaction (Abstract) / Michael Codish

Automated Verification of Higher-Order Functional Programs (Abstract) / Tachio Terauchi

Dependently-Typed Programming in GHC (Abstract) / Stephanie Weirich

Call-by-Value Solvability, Revisited / Beniamino Accattoli ; Luca Paolini

Compiling a Functional Logic Language: The Basic Scheme / Sergio Antoy ; Arthur Peters

Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts / Zena M. Ariola ; Paul Downen ; Hugo Herbelin ; Keiko Nakata ; Alexis Saurin

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	7 電子ブック Proceedings of the 10th international conference on Functional and Logic Programming Blume, Matthias, Kanade, Takeo, Kobayashi, Naoki, Vidal, Germán, Association for Computing Machinery-Digital Library., … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Proceedings of the 11th international conference on Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef, Thiemann, Peter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Proceedings of the 24th European conference on Object-oriented programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Functional and Logic Programming Blume, Matthias, Kanade, Takeo, Kobayashi, Naoki, Vidal, Germ?n, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック ECOOP 2012 ? Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Functional and Logic Programming Blume, Matthias, Kanade, Takeo, Kobayashi, Naoki, Vidal, Germán, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	10 電子ブック ECOOP 2012 EObject-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg
5 電子ブック ECOOP 2010 ? Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Models in Software Engineering K?hne, Thomas, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック ECOOP 2010 EObject-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	12 電子ブック Models in Software Engineering Kühne, Thomas, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12