• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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 @ CookiesAnpassa 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

    560 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 510 kr

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

    Multiprocessor Execution of Logic Programs

    Gopal Gupta

    Häftad, 2012

    1 666 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

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

    Logic Programming

    Maurizio Gabbrielli, Gopal Gupta

    Häftad, 2005

    560 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

    523 kr

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

    Parallel Execution of Logic Programs

    Anthony Beaumont, Gopal Gupta

    Häftad, 1991

    560 kr

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

    Multiprocessor Execution of Logic Programs

    Gopal Gupta

    E-bok
    2012

    2 105 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