Programs as data objects : :: SCD d'Orléans

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

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

Uloženo v:

Podrobná bibliografie
Korporativní autor:	Symposium on Programs as data objects :Aarhus, Danemark
Další autoři:	Danvy, Olivier, 1960- (Šéfredaktor, odpovědný redaktor), Filinski, Andrzej, 1965- (Šé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 2053
Témata:	Génie logiciel Informatique Langages de programmation Logiciels 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:	• Programs as data objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, proceedings, Olivier Danvy, Andrzej Filinski (eds.), 2001, New York, Springer, 1 vol. (VIII-277 p.), Lecture notes in computer science, 3-540-42068-1 • Programs as Data Objects, Texte imprimé, 9783662164662

Podobné jednotky

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

Program development in computational logic : a decade of research advances in logic-based program development
Autor: Bruynooghe, Maurice

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

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

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

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

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

FST TCS 2001 : foundations of software technology and theoretical computer science : 21st Conference, Bangalore, India, December 13 15, 2001 : proceedings

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13 17, 1989 advanced seminar on foundations of innovative software development II and colloquium on current issues in programming languages (CCIPL)

ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15 18, 1990 : proceedings

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP)

Termination proofs for logic programs
Autor: Plümer, Lutz, 1951-

Building tightly integrated software development environments : the IPSEN approach
Autor: Nagl, Manfred, 1944-

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

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 6, 2001 : proceedings

Algebraic and coalgebraic methods in the mathematics of program construction : international Summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Modular specification and verification of object-oriented programs
Autor: Müller, Peter, 1961-...., informaticien

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

Compiler construction : 10th International Conference, CC 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Static analysis : second international symposium, SAS '95, Glasgow, UK, September 25 27, 1995 : proceedings

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

A systematic catalogue of reusable abstract data types
Autor: Uhl, Jürgen, a další

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
Autor: Sherman, Mark Steven, 19..-

Category theory and computer science : Paris, France, September 3-6, 1991, proceedings

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Compiler construction : 9th International Conference, CC 2000held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Foundations of software science and computation structures : 7th international conference, FOSSACS 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

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13 17, 1989 advanced seminar on foundations of innovative software development I and colloquium on trees in algebra an programming (CAAP '89)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

The Munich project CIP. the wide spectrum language CIP-L
Autor: Bauer, Friedrich Ludwig, 1924-2015, a další

Efficient graph rewriting and its implementation
Autor: Dörr, Heiko, 19..-

© 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