Cantitate/Preț
Produs
Total produse
Vezi coșul
ESOP '92 de Bernd Krieg-Brückner

ESOP '92

Editat de Bernd Krieg-Brückner
en Limba Engleză Paperback – 19 feb 1992
This volume contains selected papers presented at theEuropean Symposium on Programming (ESOP) held jointly withthe seventeeth Colloquium on Trees in Algebra andProgramming (CAAP) in Rennes, France, February 26-28, 1992(the proceedings of CAAP appear in LNCS 581). The previoussymposiawere held in France, Germany, and Denmark. Everyeven year, as in 1992, CAAPis held jointly with ESOP.ESOP addresses fundamental issues and important developmentsin the specification and implementation of programminglanguages and systems. It continues lines begun in Franceand Germany under the names "Colloque sur la Programmation"and the GI workshop on "Programmiersprachen undProgrammentwicklung". The programme committee received 71submissions, from which 28 have been selected for inclusionin this volume.
Citește tot Restrânge

Preț: 33260 lei

Preț vechi: 41575 lei
-20%

Puncte Express: 499

Carte tipărită la comandă

Livrare economică 18 iulie-01 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540552536
ISBN-10: 3540552537
Pagini: 504
Ilustrații: VIII, 496 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.76 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Model checking and boolean graphs.- SIGNAL as a model for real-time and hybrid systems.- Towards an adequate notion of observation.- Proving safety of speculative load instructions at compile-time.- Typed norms.- Compositional refinements in multiple blackboard systems.- Fully persistent arrays for efficient incremental updates and voluminous reads.- Back to direct style.- Extraction of strong typing laws from action semantics definitions.- Detecting determinate computations by bottom-up abstract interpretation.- ELIOS-OBJ theorem proving in a specification language.- Incremental garbage collection without tags.- Approximate fixed points in abstract interpretation.- Dynamic typing.- Automatic parallelization of lazy functional programs.- Reversing abstract interpretations.- A theory of qualified types.- A semantics for multiprocessor systems.- Interprocedural type propagation for object-oriented languages.- Using the Centaur system for data-parallel SIMD programming: a case study.- The tensor product in Wadler's analysis of lists.- Basic superposition is complete.- Observers for linear types.- Type inference for partial types is decidable.- A provably correct compiler generator.- An adequate operational semantics of sharing in lazy evaluation.- Modules for a model-oriented specification language: A proposal for metasoft.- Typing references by effect inference.