• 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

      ESOP '90

      3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

      AvNeil Jones

      Häftad, Engelska, 1990

      Del i serien Lecture Notes in Computer Science

      532 kr

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

      Beskrivning

      This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.

      Produktinformation

      • Utgivningsdatum:1990-04-25
      • Mått:170 x 250 x 25 mm
      • Vikt:680 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:440
      • Upplaga:1990
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540525929

      Utforska kategorier

      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Types in lambda calculi and programming languages.- Symbolic finite differencing - Part I.- Implementation of an interpreter for a parallel language in centaur.- Automatic autoprojection of higher order recursive equations.- From interpreting to compiling binding times.- Implementing finite-domain constraint logic programming on top of a PROLOG-system with delay-mechanism.- Type inference for action semantics.- On the expressive power of programming languages.- Higher order escape analysis: Optimizing stack allocation in functional program implementations.- Development of concurrent systems by incremental transformation.- Set domains.- Resolution and Type Theory.- A syntactic theory of transparent parameterization.- A backwards analysis for compile-time garbage collection.- Techniques for improving grammar Flow Analysis.- The specificity rule for lazy pattern-matching in ambiguous term rewrite systems.- Graph-based implementation of a functional logic language.- Eureka definitions for free! or Disagreement points for fold/unfold transformations.- Synthesis of eureka predicates for developing logic programs.- Algebraic properties of program integration.- Arity raiser and its use in program specialization.- Complexity analysis for a lazy higher-order language.- On the weak adequacy of branching-time temporal logic.- The value flow graph: A program representation for optimal program transformations.- Type inference and implicit scaling.- Towards the theory of programming in constructive logic.
      Hoppa över listan

      Du kanske också är intresserad av

      F. Reese Harvey - Spinors and Calibrations, E-bok

      Spinors and Calibrations

      F. Reese Harvey

      E-bok
      1990

      789 kr

      Andre Arnold - CAAP '90, Häftad

      CAAP '90

      Andre Arnold

      Häftad, 1990

      549 kr

      Aaron Brower, Sheldon D Rose - Advances in Group Work Research, Inbunden

      Advances in Group Work Research

      Aaron Brower, Sheldon D Rose

      Inbunden, 1990

      1 605 kr

      F. Reese Harvey - Spinors and Calibrations, Inbunden

      Spinors and Calibrations

      F. Reese Harvey

      Inbunden, 1990

      667 kr

      Semiconductors and Semimetals, E-bok

      Semiconductors and Semimetals

      Elsevier Science

      E-bok
      1990

      789 kr

      Minzhu Han - Cries For Democracy, Häftad

      Cries For Democracy

      Minzhu Han

      Häftad, 1990

      688 kr

      Jean Little - Hey World, Here I am!, Häftad

      Hey World, Here I am!

      Jean Little

      Häftad, 1990

      194 kr

      Alexander Schill - Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen, Häftad
      Del 241

      Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen

      Alexander Schill

      Häftad, 1990

      581 kr

      Bo Steinholtz, Arne Soelvberg, Lars Bergman - Advanced Information Systems Engineering, Häftad

      Advanced Information Systems Engineering

      Bo Steinholtz, Arne Soelvberg, Lars Bergman

      Häftad, 1990

      566 kr

      Dieter W. Heermann - Computer Simulation Methods in Theoretical Physics, Häftad

      Computer Simulation Methods in Theoretical Physics

      Dieter W. Heermann

      Häftad, 1990

      551 kr