Muutke küpsiste eelistusi

E-raamat: Functional And Logic Programming - Proceedings Of The Second Fuji International Workshop

Edited by (Univ Of Tokyo, Japan), Edited by (Jaist, Japan), Edited by (Univ Of Tesukuba, Japan)
  • Formaat: 328 pages
  • Ilmumisaeg: 18-Mar-1997
  • Kirjastus: World Scientific Publishing Co Pte Ltd
  • Keel: eng
  • ISBN-13: 9789814546690
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 39,78 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Functional And Logic Programming - Proceedings Of The Second Fuji International WorkshopSuurem pilt
  • Formaat: 328 pages
  • Ilmumisaeg: 18-Mar-1997
  • Kirjastus: World Scientific Publishing Co Pte Ltd
  • Keel: eng
  • ISBN-13: 9789814546690
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and concurrency.
Foreword vii Invited talk (1) 1(13) Mathematica as a Rewrite Language 1(13) Bruno Buchberger (Univ. Linz) Rewriting and Constraint Solving 14(55) Strong Completeness of a Lazy Conditional Narrowing Calculus 14(19) Mohamed Hamada Aart Middeldorp (Univ. Tsukuba) Extension of WAM for a Linear Logic Programming Language 33(18) Naoyuki Tamura Yukio Kaneda (Kobe Univ.) A Computational Study of Two Cumulative Scheduling Problems 51(18) Hendrik C. R. Lock (Univ. Karlsruhe) Invited Talk (2) 69(2) The Design and Implementation of Mondrian 69(2) Erik Meijer (Oregon Graduate Inst. & Utrecht Univ.) Joost van Dijk (Utrecht Univ.) Koen Claessen (Oregon Graduate Inst. & Utrecht Univ.) Arjan van Yzendoorn (Utrecht Univ.) Functional Programming 71(52) A Functional Perspective of Array Primitives 71(20) Tyng-Ruey Chuang (Academia Sinica, Taiwan) An Extension of the Acid Rain Theorem 91(15) Zhenjiang Hu Hideya Iwasaki Masato Takeichi (Univ. Tokyo) A New Formulation of the Catch/Throw Mechanism 106(17) Yukiyoshi Kameyama (Kyoto Univ.) Tutorial Lecture Curry -- A Truly Functional Logic Language Michael Hanus (RWTH Aachen) Program Analysis 123(40) On the Inference of Structured Recursive Effects with Subtyping 123(20) Mourad Debbabi Zahia Aidoud Ali Faour (Laval Univ.) Slicing Concurrent Logic Programs 143(20) Jianjun Zhao Jingde Cheng Kazuo Ushijima (Kyushu Univ.) Concurrency 163(29) Temporal Semantics of a Concurrency Monad with Choice and Services 163(13) Thomas Frauenstein Wolfgang Grieskamp Mario Suedholt (Technical Univ. Berlin) Concurrent Programming Using Traces in HASKELL 176(16) Victor M. Gulias Juan J. Quintela Jose L. Freire (Univ. La Coruna) Invited Talk (3) 192(2) Interactive Functional Programming 192(2) Henk Barendregt (Univ. Nijmegen) Semantics and Logic 194(52) Algebraic Semantics for Higher-Order Functional-Logic Programming 194(16) Makoto Hamana (Univ. Tsukuba) Subtype Relations Yielding Filter Lambda-Models 210(20) Toshihiko Kurata (Tokyo Institute of Technology) Bohm Trees, Bisimulations and Observations in Lambda Calculus 230(16) Fer-Jan de Vries (ETL) Invited Talk (4) 246(20) Higher-Order Functional-Logic Programming: A Systematic Development 246(20) Christian Prehofer (Technical Univ. Munchen) Type Systems 266 Currying Multi Methods in a Merge Calculus 266(20) Hideki Tsuiki (Kyoto Sangyo Univ.) Type Inference for the Mixture of Matching and Implicit Subtyping 286(15) Koji Kagawa (Kagawa Univ.) Compilation Based on a Calculus for Explicit Type Passing 301 Yasuhiko Minamide (Kyoto Univ.)
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97898145466902e.html