• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programspråk

      Practical Aspects of Declarative Languages

      First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings

      AvGopal Gupta

      Häftad, Engelska, 1999

      Del i serien Lecture Notes in Computer Science

      574 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation.

      Produktinformation

      • Utgivningsdatum:1999-01-05
      • Mått:155 x 235 x 21 mm
      • Vikt:581 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:376
      • Upplaga:1998
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540655275

      Utforska kategorier

      • Programspråk inom Data och IT

      Innehållsförteckning

      • Software Engineering.- Automated Benchmarking of Functional Data Structures.- np-spec: An Executable Specification Language for Solving All Problems in NP.- Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program.- Multi-agent Systems Development as a Software Engineering Enterprise.- Innovative Applications I.- From Functional Animation to Sprite-Based Display.- Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.- Lambda in Motion: Controlling Robots with Haskell.- Implementation.- CHAT: The Copy-Hybrid Approach to Tabling.- The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems.- Or-Parallelism within Tabling.- Declarative Query Processing.- Mnesia — A Distributed Robust DBMS for Telecommunications Applications.- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language.- Implementing a Declarative String Query Language with String Restructuring.- Systems Applications.- Client-Side Web Scripting with HaskellScript.- MCORBA: A CORBA Binding for Mercury.- Analysis.- Dead Code Elimination through Dependent Types.- Multiple Specialization of WAM Code.- A Flexible Framework for Dynamic and Static Slicing of Logic Programs.- Innovative Applications II.- Applying Logic Programming to Derive Novel Functional Information of Genomes.- An Application of Action Theory to the Space Shuttle.- Developing a Declarative Rule Language for Applications in Product Configuration.- Constraint Programming.- University Timetabling Using Constraint Logic Programming.- Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing.- Using Constraints in Local Proofs for CLP Debugging.- Declarative Languages and Software Engineering(Invited).- A Return to Elegance: The Reapplication of Declarative Notation to Software Design.- ECLiPSe: Declarative Specification and Scaleable Implementation.
      Hoppa över listan

      Du kanske också är intresserad av

      Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez - Logic Programming and Nonmonotonic Reasoning, Häftad
      Del 15245

      Logic Programming and Nonmonotonic Reasoning

      Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez

      Häftad, 2024

      1 549 kr

      Gopal Gupta - Multiprocessor Execution of Logic Programs, Häftad

      Multiprocessor Execution of Logic Programs

      Gopal Gupta

      Häftad, 2012

      1 709 kr

      Gopal Gupta, Maurizio Gabbrielli - Logic Programming, E-bok

      Logic Programming

      Gopal Gupta, Maurizio Gabbrielli

      E-bok
      2005

      732 kr

      Gopal Gupta - Practical Aspects of Declarative Languages, E-bok

      Practical Aspects of Declarative Languages

      Gopal Gupta

      E-bok
      2003

      734 kr

      Gopal Gupta, Ricardo Peña - Logic-Based Program Synthesis and Transformation, Häftad
      Del 8901

      Logic-Based Program Synthesis and Transformation

      Gopal Gupta, Ricardo Peña

      Häftad, 2014

      536 kr

      Maurizio Gabbrielli, Gopal Gupta - Logic Programming, Häftad

      Logic Programming

      Maurizio Gabbrielli, Gopal Gupta

      Häftad, 2005

      574 kr

      Anthony Beaumont, Gopal Gupta - Parallel Execution of Logic Programs, Häftad

      Parallel Execution of Logic Programs

      Anthony Beaumont, Gopal Gupta

      Häftad, 1991

      574 kr

      Gopal Gupta - Multiprocessor Execution of Logic Programs, E-bok

      Multiprocessor Execution of Logic Programs

      Gopal Gupta

      E-bok
      2012

      2 127 kr

      Maria Vanina Martinez, Gopal Gupta, Carmine Dodaro - Logic Programming and Nonmonotonic Reasoning, E-bok

      Logic Programming and Nonmonotonic Reasoning

      Maria Vanina Martinez, Gopal Gupta, Carmine Dodaro

      E-bok
      2024

      1 886 kr

      Ricardo Pena, Gopal Gupta - Logic-Based Program Synthesis and Transformation, E-bok

      Logic-Based Program Synthesis and Transformation

      Ricardo Pena, Gopal Gupta

      E-bok
      2015

      633 kr