International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980. 1st ed. 1980

種類:

電子ブック

責任表示:

edited by B. Robinet

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980

著者名:

• Robinet, B.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 83

ISBN:

9783540392330 [3540392335]    

注記:

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 -- Semant

ローカル注記:

学内専用E-BOOKS (local access only)