Semantics of Data Types : :: SCD d'Orléans

Semantics of Data Types : International symposium Sophia-Antipolis, France, June 27 29, 1984 : proceedings

Semantics of Data Types : International symposium Sophia-Antipolis, France, June 27 29, 1984 : proceedings

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International symposium on the semantics of data types :Sophia-Antipolis, Alpes-Maritimes
Další autoři:	Kahn, Gilles, 1946-2006 (Šéfredaktor, odpovědný redaktor), MacQueen, David B., 1946- (Šéfredaktor, odpovědný redaktor), Plotkin, Gordon, 1946-...., informaticien (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 173
Témata:	Informatique Langages de programmation > sémantique Langages de programmation Logique symbolique et mathématique Structures de données (informatique) Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Semantics of data types, International symposium, Sophia-Antipolis, June 27-29, 1984, edited by G. Kahn, D.B. MacQueen and G. Plotkin, Berlin, Springer-Verlag, 1984, 1 vol. (VI-391 p.), Lecture notes in computer science, 3-540-13346-1 • Semantics of Data Types, Texte imprimé, 9783662198223

Podobné jednotky

Mathematical foundations of programming semantics : 7th International conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
Autor: Brookes, Stephen

Mathematical foundations of programming language semantics : 3rd workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings

Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16 18, 2001 : proceedings

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
Autor: Brookes, Stephen

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Programming languages and systems : 12th European Symposium on Programming, ESOP 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7 11, 2003 : proceedings

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Attribute grammars, applications and systems : international summer school, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Compiling natural semantics
Autor: Pettersson, Mikael, 19..-

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9 15, 2000 : advanced lectures

Live data structures in logic programs : derivation by means of abstract interpretation
Autor: Mulkers, Anne, 19..-

Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

Advances in database technology - EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23 27, 1992 : proceedings

Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980

Recent trends in data type specification : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers

Types for proofs and programs : International Workshop TYPES 96 Aussois, France, December 15 19, 1996 : selected papers

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceeding

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI 97 Workshop, Aix-en-Provence, France, August 11 22, 1997 : revised lectures

Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Autor: Dershowitz, Nachum, 1951-

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings

Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings

ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990 : proceedings

Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales