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

      Programming Language Implementation and Logic Programming

      International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings

      AvPierre Deransart,Jan Maluszynski

      Häftad, Engelska, 1990

      Del i serien Lecture Notes in Computer Science

      579 kr

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

      Beskrivning

      This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.

      Produktinformation

      • Utgivningsdatum:1990-08-08
      • Mått:155 x 233 x 23 mm
      • Vikt:628 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:542
      • Upplaga:1990
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540530107

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programspråk inom Data och IT

      Innehållsförteckning

      • Implementing parallel rewriting.- Compilation of narrowing.- Inference-based overloading resolution for ADA.- An approach to verifiable compiling specification and prototyping.- Bug localization by algorithmic debugging and program slicing.- A constraint logic programming shell.- Modifying the simplex algorithm to a constraint solver.- Implementing a meta-logical scheme.- The vienna abstract machine.- A new data structure for implementing extensions to Prolog.- Finding the least fixed point using wait-declarations in Prolog.- Elementary logic programs.- A new presburger arithmetic decision procedure based on extended prolog execution.- Reasoning about programs with effects.- Towards a characterization of termination of logic programs.- Static type analysis of prolog procedures for ensuring correctness.- Integrating strict and lazy evaluation: the ?sl-calculus.- Efficient data representation in polymorphic languages.- A logic-based approach to data flow analysis problems.- Systematic semantic approximations of logic programs.- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity.- On the automatic generation of events in delta prolog.- Compilation of non-linear, second order patterns on S-expressions.- Pattern matching in a functional transformation language using treeparsing.- Logic programming within a functional framework.- Compiling logic programs with equality.
      Hoppa över listan

      Du kanske också är intresserad av

      Pierre Deransart, Bernard Lorho, Jan Maluszynski - Programming Languages Implementation and Logic Programming, Häftad

      Programming Languages Implementation and Logic Programming

      Pierre Deransart, Bernard Lorho, Jan Maluszynski

      Häftad, 1989

      579 kr

      Victor Terras, Victor Terras - Handbook of Russian Literature, Häftad

      Handbook of Russian Literature

      Victor Terras, Victor Terras

      Häftad, 1990

      1 243 kr

      Alan Garfinkel - Forms of Explanation, Häftad

      Forms of Explanation

      Alan Garfinkel

      Häftad, 1990

      392 kr

      V. Lee Hamilton, Herbert Kelman - Crimes of Obedience, Häftad

      Crimes of Obedience

      V. Lee Hamilton, Herbert Kelman

      Häftad, 1990

      464 kr

      Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert - Reasoning Web, Häftad

      Reasoning Web

      Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert

      Häftad, 2008

      579 kr

      David Rios Insua - Sensitivity Analysis in Multi-objective Decision Making, Häftad
      Del 347

      Sensitivity Analysis in Multi-objective Decision Making

      David Rios Insua

      Häftad, 1990

      563 kr

      John Hollander - Melodious Guile, Häftad

      Melodious Guile

      John Hollander

      Häftad, 1990

      389 kr

      George C. Edwards III - At the Margins, Häftad

      At the Margins

      George C. Edwards III

      Häftad, 1990

      445 kr

      Ruth Solski - Heidi Lit Link/Novel Study, Häftad

      Heidi Lit Link/Novel Study

      Ruth Solski

      Häftad, 1990

      234 kr

      L. Motus, S. Narita - Distributed Computer Control Systems 1989, Inbunden

      Distributed Computer Control Systems 1989

      L. Motus, S. Narita

      Inbunden, 1990

      378 kr