Programming Languages and Systems

7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

AvChris Hankin

Häftad, Engelska, 1998

Del i serien Lecture Notes in Computer Science

581 kr

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

Beskrivning

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.

Produktinformation

Utgivningsdatum:1998-03-11
Mått:155 x 235 x 17 mm
Vikt:458 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:289
Upplaga:1998
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540643029

Utforska kategorier

Programvaruutveckling inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Concurrent constraint programming based on functional programming.- A bisimulation method for cryptographic protocols.- A polyvariant binding-time analysis for off-line partial deduction.- Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$ .- Complexity of concrete type-inference in the presence of exceptions.- Synchronisation analysis to stop tupling.- Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems.- Reasoning about classes in object-oriented languages: Logical models and tools.- Language primitives and type discipline for structured communication-based programming.- The functional imperative: Shape!.- Code motion and code placement: Just synonyms?.- Recursive object types in a logic of object-oriented programs.- Mode-automata: About modes and states for reactive systems.- From classes to objects via subtyping.- Building a bridge between pointer aliases and program dependences.- A complete declarative debugger of missing answers.- Systematic change of data representation: Program manipulations and a case study.- A generic framework for specialization (abridged version).

Du kanske också är intresserad av

Confronting Injustice and Oppression

David G. Gil

Häftad, 1998

669 kr

Book of Jesus

Calvin Miller, Calvin Miller

Häftad, 1998

560 kr

Adequacy of the VA Persian Gulf Registry and Uniform Case Assessment Protocol

Institute of Medicine, Committee on the Evaluation of the Department of Veterans Affairs Uniform Case Assessment Protocol

Häftad, 1998

1 337 kr

Total Quality Management

Stephen George, Arnold Weimerskirch

Inbunden, 1998

469 kr

Magical Maze

Ian Stewart

E-bok

1998

209 kr

iWARP

Thomas Gross, David R. O'Hallaron

Inbunden, 1998

726 kr

Providing National Statistics on Health and Social Welfare Programs in an Era of Change

National Research Council, Division of Behavioral and Social Sciences and Education, Commission on Behavioral and Social Sciences and Education, Committee on National Statistics, John Pepper, Charles F. Manski, Constance F. Citro

Häftad, 1998

703 kr