International Symposium on Programming
Springer Berlin (Verlag)
978-3-540-09981-9 (ISBN)
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.
Erscheint lt. Verlag | 1.4.1980 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | X, 350 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 170 x 250 mm |
Gewicht | 600 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Sozialwissenschaften | |
Schlagworte | algorithm • algorithms • LISP • Optimization • Programmierung • Programmierung (EDV) • programming • Semantics |
ISBN-10 | 3-540-09981-6 / 3540099816 |
ISBN-13 | 978-3-540-09981-9 / 9783540099819 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich