TY - BOOK ID - 2252123 TI - Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings AU - Kahn, Gilles AU - MacQueen, David B. AU - Plotkin, Gordon PY - 1984 VL - vol 173 SN - 0387133461 9780387133461 3540133461 9783540133469 3540388915 PB - Berlin New York Springer DB - UniCat KW - Programming languages (Electronic computers) KW - Data structures (Computer science) KW - sémantique langage programmation. KW - vérification programme. KW - type abstrait. KW - sémantique. KW - type donnée. KW - Langages de programmation KW - Structures de données (Informatique) KW - Structures de données (informatique) KW - Semantics KW - Congresses. KW - Sémantique KW - Sémantique. KW - Structures de données (informatique). KW - Sémantique langage programmation. KW - Vérification programme. KW - Type abstrait. KW - Type donnée. KW - 681.3*A0 KW - Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) KW - 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) KW - Programming KW - Mathematical linguistics KW - 681.3*D33 KW - 681.3*A0 General KW - General KW - Programming languages (Electronic computers) - Semantics - Congresses. KW - Data structures (Comptuer science) - Congresses. KW - Computer science. KW - Mathematical Logic and Formal Languages. KW - Programming Languages, Compilers, Interpreters. KW - Informatics KW - Science UR - https://www.unicat.be/uniCat?func=search&query=sysid:2252123 AB - ER -