Mathematical foundations of programming semantics : :: SCD d'Orléans

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International conference on Mathematical foundations of programming semantics (Autor)
Další autoři:	Melton, Austin, 1949- (Šé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 239
Témata:	Informatique Langages de programmation > sémantique Ordinateurs 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:	• Mathematical foundations of programming semantics, international conference, Manhattan, Kansas, April 11-12, 1985, proceedings, edited by Austin Melton, Berlin, Springer-Verlag, 1986, 1 vol. (VI-395 p.), Lecture notes in computer science, 0-387-16816-8 • Mathematical Foundation of Programming Semantics, Texte imprimé, 9783662180983

Podobné jednotky

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

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

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

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

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

Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27 31, 2001 : proceedings

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

Mathematical foundations of computer science 2000 : ; proceedings 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000

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

Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25 29, 1997 : 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

Languages and compilers for parallel computing : 12th International Workshop, LCPC 99 La Jolla, CA, USA, August 4 6, 1999 : proceedings

Logic programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1 3, 1985

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
Autor: Furukawa, Kōichi, 1938-

Principles and practice of declarative programming : International Conference, PPDP 99, Paris, France, September, 29 - October 1, 1999 : proceedings

Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977

Functional and logic programming : ; proceedings 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004

Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996 : proceedings

Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19 20, 2002 : proceedings

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

Practical aspects of declarative languages : ; proceedings 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004
Autor: Jayaraman, Bharat

Programming languages implementation and logic programming : [first] International Workshop PLILP '88 Orléans, France, May 16 18, 1988 : proceedings

Functional and logic programming : 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987 : proceedings

ECOOP' 97 - object-oriented programming : 11th European Conference Jyväskylä, Finland, June 9 13, 1997 : proceedings

ECOOP 95 - object-oriented programming : 9th European Conference, Åarhus, Denmark, August 7 11, 1995 : proceedings

ECOOP 96 - object-oriented programming : 10th European Conference Linz, Austria, July 8 12, 1996 : proceedings

Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings

Programming symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974
Vydáno: (2005)

Advanced functional programming : Third International School, AFP 98, Braga, Portugal, September 12-19, 1998 : revised lectures

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

A discipline of programming
Autor: Dijkstra, Edsger Wybe, 1930-2002
Vydáno: (1976)

Object-oriented programming : 8th European Conference, ECOOP '94 Bologna, Italy, July 4 8, 1994 : proceedings

Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

© 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