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

Chris Hankin (Herausgeber)

Online Resource

XI, 289 Seiten

2003
Springer Berlin (Hersteller)
978-3-540-69722-0 (ISBN)

Artikel merken

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).

Erscheint lt. Verlag	30.7.2003
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XI, 289 p.
Verlagsort	Berlin
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	algorithms • Automat • Automata • bisimulation • Complexity • Constraint • Exception • Functional Programming • Logic • object • programming • Programming language • Semantics • Simulation • verification
ISBN-10	3-540-69722-5 / 3540697225
ISBN-13	978-3-540-69722-0 / 9783540697220
Zustand	Neuware