International Symposium on Programming [electronic resource] : Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980 / edited by Bernard Robinet.
Material type: TextSeries: Lecture Notes in Computer Science ; 83Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Description: X, 350 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540392330Subject(s): Computer science | Computer Science | Programming TechniquesAdditional physical formats: Printed edition:: No titleDDC classification: 005.11 LOC classification: QA76.6-76.66Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4609 |
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.
There are no comments on this title.