Michael Hanus
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings - Programming and Software Engineering Michael Hanus 2007 edition

Name: Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings - Programming and Software Engineering
Price: 10344 JPY
Availability: OutOfStock
Author: Michael Hanus

価格

¥ 10.344

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月18日 - 年12月4日

クリスマスプレゼントは1月31日まで返品可能です

Michael Hanus の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings - Programming and Software Engineering

Michael Hanus

2007 edition

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages.

Marc Notes: Title from e-book title screen (viewed January 2, 2008).; Includes bibliographical references and index.; Electronic reproduction.; UK: MyiLibrary; 2007. Table of Contents: QuickCheck Testing for Fun and Profit.- A Constraint Programming Approach to Bioinformatics Structural Problems.- Rewriting Haskell Strings.- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning.- Algebraic Knowledge Discovery Using Haskell.- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang.- Automatic Incrementalization of Prolog Based Static Analyses.- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.- Combining Static Analysis and Profiling for Estimating Execution Times.- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation.- Compiling Constraint Handling Rules for Efficient Tabled Evaluation.- Prolog Performance on Larger Datasets.- BAD, a Declarative Logic-Based Language for Brain Modeling.- From Zinc to Design Model.- Inductive Logic Programming by Instance Patterns.- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.- The Joins Concurrency Library.- HPorter: Using Arrows to Compose Parallel Processes.- Coupled Schema Transformation and Data Conversion for XML and SQL.- Aspect-Oriented Programming in Higher-Order and Linear Logic.- Partial Evaluation of Pointcuts.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2006年12月22日
ISBN13	9783540696087
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	342
寸法	155 × 235 × 18 mm · 494 g
言語	フランス語
編集者	Hanus, Michael