Functional and Logic Programming

>> Google Books

Functional and Logic Programming / Matthias Blume, Takeo Kanade, Naoki Kobayashi, Germán Vidal, Association for Computing Machinery-Digital Library.

資料種別:

電子ブック

出版情報:

ACM Digital Library Proceedings
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642122507 [3642122507]
9786613564009 [6613564001]

書誌ID:

OB00400921

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

LECTURE NOTES IN COMPUTER SCIENCE / THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

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 ; Mutsunori Banbara

Refereed Papers

Types

A Church-Style Intermediate Language for ML^F / Didier Rémy ; Boris Yakobowski

IIσDependent Types without the Sugar / Thorsten Altenkirch ; Nils Anders Danielsson ; Andres Löh ; Nicolas Oury

Haskell Type Constraints Unleashed / Dominic Orchard ; Tom Schrijvers

Program Analysis and Transformation

A Functional Framework for Result Checking / Gilles Barthe ; Pablo Buiras ; César Kunz

Tag-Free Combinatory for Binding-Time Polymorphic Program Generation / Peter Thiemann ; Martin Sulzmann

Code Generation via Higher-Order Rewrite Systems / Florian Haftmann ; Tobias Nipkow

Foundations

A Complete Axiomatization of Strict Equality / Javier Álvez ; 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 ; M. José Ramírez-Quintana

Logic Programming

A Pearl on SAT Solving in Prolog / Jacob M. Howe ; Andy King

Automatically Generating Counterexamples to Naive Free Theorems / Daniel Seidel ; Janis Voigtländer

Applying Constraint Logic Programming to SQL Test Case Generation / Rafael Caballero ; Yolanda García-Ruiz ; Fernando Sáenz-Pérez

Evaluation and Normalization

Internal Normalization, Compilation and Decompilation for System F_βη / Stefano Berardi ; 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 ; Ian Zerny

Term Rewriting

Complexity Analysis by Graph Rewriting / Martin Avanzini ; Georg Moser

Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus / Jeroen Ketema ; Jakob Grue Simonsen

Proving Injectivity of Functions via Program Inversion in Term Rewriting / Naoki Nishida ; 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 ; Kiminori Matsuzaki

A Skeleton for Distributed Work Pools in Eden / Mischa Dieterle ; Jost Berthold ; Rita Loogen

Author Index

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 ; Mutsunori Banbara

Refereed Papers

Types

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック 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	7 電子ブック ECOOP 2010 EObject-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg
2 電子ブック 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	8 電子ブック Generative Programming and Component Engineering GPCE 2005, Glück, Robert, Kanade, Takeo, Lowry, Michael Randolph, Association for Computing Machinery-Digital Library., … ACM Digital Library Proceedings, Springer Berlin Heidelberg
3 電子ブック Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Springer Berlin Heidelberg	9 電子ブック Generative Programming and Component Engineering GPCE 2005, Gl?ck, Robert, Kanade, Takeo, Lowry, Michael Randolph, Association for Computing Machinery-Digital Library., … Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Functional and Logic Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック 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
5 電子ブック 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	11 電子ブック Proceedings of the 4th international conference on Generative Programming and Component Engineering GPCE 2005, Glück, Robert, Kanade, Takeo, Lowry, Michael Randolph, Association for Computing Machinery-Digital Library., … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック ECOOP 2010 ? Object-Oriented Programming Hutchison, David, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Models in Software Engineering K?hne, Thomas, Kanade, Takeo, Association for Computing Machinery-Digital Library. Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12