• 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. Systemvetenskap och AI

    Programming Language Implementation and Logic Programming

    4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

    AvMaurice Bruynooghe,Martin Wirsing

    Häftad, Engelska, 1992

    Del i serien Lecture Notes in Computer Science

    559 kr

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

    Beskrivning

    This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992.Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for implementationof all kinds of programming languages, whether algorithmicor declarative. The symposium gathered researchers fromthe fields of algorithmic programming languages as well aslogic, functional, and object-oriented programming.The topics discussed in the volume include:- Declarative implementation techniques;- Implementation of declarative concepts and modules;- Compiler specification and construction;- Program transformation;- Programming environments for declarative languages;- Amalgamation of logic programming with algorithmic,functional, or object-oriented techniques;- Executable specification.

    Produktinformation

    • Utgivningsdatum:1992-08-12
    • Mått:170 x 244 x 28 mm
    • Vikt:867 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:494
    • Upplaga:1992
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540558446

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Improving control of logic programs by using functional logic languages.- Independent AND-parallel implementation of narrowing.- Binding techniques and garbage collection for OR-parallel CLP systems.- Path analysis for lazy data structures.- Why the occur-check is not a problem.- Incremental evaluation of natural semantics specifications.- Subsumption-oriented Push-Down Automata.- Unlimp uniqueness as a leitmotiv for implementation.- Using cached functions and constructors for incremental attribute evaluation.- Strictness analysis for attribute grammars.- Checking and debugging of two-level grammars.- On safe folding.- Unfold/fold transformations preserving termination properties.- A technique for transforming logic programs by fold-unfold transformations.- FOLON: An environment for declarative construction of logic programs.- A complete indexing scheme for WAM-based abstract machines.- Fast prolog with a VAM1p based Prolog compiler.- Metastructures vs. attributed variables in the context of extensible unification.- Comparing the Galois connection and widening/narrowing approaches to abstract interpretation.- Derivation of linear size relations by abstract interpretation.- Generic abstract interpretation algorithms for prolog: Two optimization techniques and their experimental evaluation.- A bottom-up interpreter for a higher-order logic programming language.- Camel: An extension of the categorical abstract machine to compile functional/logic programs.- On the interaction of lazy evaluation and backtracking.- Interprocedural dynamic slicing.- Algorithmic debugging for lazy functional languages.- A general trace query mechanism based on Prolog.- Fully declarative logic programming.- Our LIPS are sealed: Interfacing functional and logic programming systems.- Analyses of inconsistency for incremental equational logic programming.- I/O trees and interactive lazy functional programming.- UCG-E: An equational logic programming system.- A relational programming system with inferred representations.- An implementation of action semantics (Summary).- BinProlog: A continuation passing style Prolog engine.- LaToKi: A language toolkit for bottom-Up evaluation of functional programs.- Implementing higher-order functions in an algebraic specification language with narrowing.- Implementing attribute grammars by computational models.- ProQuery: Logical access to an OODB.- Inference of inheritance relationships from Prolog programs: a system developed with PrologIII.- CLP(PB).