Електронна книга > Наука > Информатика > Информатика > Matthias Blume & Naoki Kobayashi: Functional and Logic Programming (PDF)

Matthias Blume & Naoki Kobayashi
Functional and Logic Programming
10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

поддержка

Обложка Matthias Blume & Naoki Kobayashi: Functional and Logic Programming (PDF)

€79.72

Содержание

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.

язык английский ● Формат PDF ● страницы 355 ● ISBN 9783642122514 ● редактор Matthias Blume & Naoki Kobayashi ● издатель Springer Berlin ● город Heidelberg ● Страна DE ● опубликованный 2010 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 2171791 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Matthias Blume Naoki Kobayashi German Vidal-Oriola

16 155 Электронные книги в этой категории

Обложка Paul Crickard: Data Engineering with Python

Paul Crickard: Data Engineering with Python

Build, monitor, and manage real-time data pipelines to create data engineering infrastructure efficiently using open-source Apache projects Key Features

Become well-versed in data archit …

Обложка Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph's University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing

Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph’s University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing

Advances in artificial intelligence (AI), widespread mobile devices, internet technologies, multimedia data sources, and information processing have led to the emergence of multimedia processing. Mul …

Обложка Josue R. Batista: Learn OpenAI Whisper

Josue R. Batista: Learn OpenAI Whisper

Master automatic speech recognition (ASR) with groundbreaking generative AI for unrivaled accuracy and versatility in audio processing Key Features Uncover the intricate architecture and mechanics …

Обложка Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

This book covers the technology of digital image processing in various fields with big data and their applications. Readers will understand various technologies and strategies used in digital image …

Обложка Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

The Future of the Artificial Mind is about the social and technological challenges posed by the new wave of artificial intelligence, both from a technical and a cognitive perspective. Deep neural net …

Обложка Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality

Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality

This book focuses on augmented reality (AR) technology, which uses the real environment to superimpose virtual elements. Therefore, the reader can create applications that simulate scenarios that can …

Обложка Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras

Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras

Build cutting edge machine and deep learning systems for the lab, production, and mobile devices. Purchase of the print or Kindle book includes a free e Book in PDF format. Key Features

Обложка Pushpak (CSE Dept, IIT Bombay) Bhattacharyya & Anoop (Microsoft R&D India Pvt. Ltd, India) Kunchukuttan: Machine Translation and Transliteration involving Related, Low-resource Languages

Pushpak (CSE Dept, IIT Bombay) Bhattacharyya & Anoop (Microsoft R&D India Pvt. Ltd, India) Kunchukuttan: Machine Translation and Transliteration involving Related, Low-resource Languages

Machine Translation and Transliteration involving Related, Low-resource Languages discusses an important aspect of natural language processing that has received lesser attention: translation and tran …

Обложка T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each cha …

Обложка Dinesh C. Verma: Federated AI for Real-World Business Scenarios

Dinesh C. Verma: Federated AI for Real-World Business Scenarios

This book provides an overview of Federated Learning and how it can be used to build real-world AI-enabled applications. Real-world AI applications frequently have training data distributed in many d …

Следущая страница >>>