Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

International Symposium on Programming

  • Kartonierter Einband
  • 356 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
InhaltStatic type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages f... Weiterlesen
20%
100.00 CHF 80.00
Sie sparen CHF 20.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt
Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- Échappements et continuations en semantique dénotationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.

Produktinformationen

Titel: International Symposium on Programming
Untertitel: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Editor:
EAN: 9783540099819
ISBN: 3540099816
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 356
Gewicht: 540g
Größe: H235mm x B155mm x T19mm
Jahr: 1980
Untertitel: Englisch
Auflage: 1980

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"