• 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

5% studentrabatt – använd koden KURSBOK27 →

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

    Static Analysis

    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings

    AvRadhia Cousot,David A. Schmidt

    Häftad, Engelska, 1996

    Del i serien Lecture Notes in Computer Science

    559 kr

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

    Beskrivning

    This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

    Produktinformation

    • Utgivningsdatum:1996-09-11
    • Mått:155 x 235 x 23 mm
    • Vikt:616 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:398
    • Upplaga:1996
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540617396

    Utforska kategorier

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

    Innehållsförteckning

    • Constraint-based program analysis.- Semantics-directed program analysis: A tool-maker's perspective.- Property-oriented expansion.- Generalized dominators for structured programs.- Cache behavior prediction by abstract interpretation.- Termination analysis for offline partial evaluation of a higher order functional language.- Proving correctness of Constraint Logic Programs with dynamic scheduling.- Understanding mobile agents via a non-interleaving semantics for facile.- Termination analysis for partial functions.- A freeness and sharing analysis of logic programs based on a pre-interpretation.- Refinement types for program analysis.- A comparison of three occur-check analysers.- Analysis of the equality relations for the program terms.- An even faster solver for general systems of equations.- Inferring program specifications in polynomial-time.- Automated modular termination proofs for real Prolog programs.- Data-flow-based virtual function resolution.- Compiling laziness using projections.- Optimized algorithms for incremental analysis of logic programs.- Tractable constraints in finite semilattices.- Uniformity for the decidability of hybrid automata.- A backward slicing algorithm for Prolog.- Combining slicing and constraint solving for validation of measurement software.- Subtyping constrained types.- Abstract cofibered domains: Application to the alias analysis of untyped programs.- Stan: A static analyzer for CLP({ie383-01}) based on abstract interpretation.- Two applications of an incremental analysis engine for (constraint) logic programs.- PAN — The Prolog analyzer.