Articles liés à Programming Languages and Systems: 7th European Symposium...

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... ... March 28 - April 4, 1998, Proceedings - Couverture souple

 
9783662184035: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... ... March 28 - April 4, 1998, Proceedings

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2014
  • ISBN 10 3662184036
  • ISBN 13 9783662184035
  • ReliurePaperback
  • Langueanglais
  • Coordonnées du fabricantnon disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783540643029: Programming Languages and Systems

Edition présentée

ISBN 10 :  3540643028 ISBN 13 :  9783540643029
Editeur : Springer, 2008
Couverture souple