Practical aspects of declarative languages : :: SCD d'Orléans

Practical aspects of declarative languages : second InternationalWorkshop, PADL 2000, Boston, MA, USA, January 17 18, 2000 : proceedings

Practical aspects of declarative languages : second InternationalWorkshop, PADL 2000, Boston, MA, USA, January 17 18, 2000 : proceedings

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	International Symposium on Practical Aspects of Declarative Languages :Boston, Mass.
Altres autors:	Pontelli, Enrico (Director editorial), Santos Costa, Vitor, 1961- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1753
Matèries:	Programmation déclarative Génie logiciel Informatique Langages de programmation > sémantique Langages de programmation Ordinateurs Intelligence artificielle Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Practical aspects of declarative languages, second International Workshop, PADL 2000, Boston, MA, USA, January 2000, proceedings, Enrico Pontelli, Vítor Santos Costa (ed.), 2000, Berlin, Springer, 1 vol. (X-323 p.), Lecture notes in computer science, 3-540-66992-2 • Practical Aspects of Declarative Languages, Texte imprimé, 9783662186343

Ítems similars

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
per: Jayaraman, Bharat

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

Practical aspects of declarative languages : First International Workshop, PADL 99, San Antonio, Texas, USA, January 18 19, 1999 : proceedings

Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

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

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

Generative programming and component engineering : Third international conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

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

Symposium on semantics of algorithmic languages
per: Engeler, Erwin, 1930-
Publicat: (1971)

Principles of declarative programming : 10th International Symposium, PLILP 98 held jointly with the 6th International Conference, ALP 98 Pisa, Italy, September 16 18, 1998 : proceedings

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

Programming language pragmatics
per: Scott, Michael Lee, 1959-
Publicat: (2015)

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

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

Theoretical and practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 : proceedings

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

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

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

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

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

Sciences du logiciel
per: Leroy, Xavier
Publicat: (2022)

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

Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings

Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers

Ada 95 rationale : the language, tha standard libraries
per: Barnes, John Gilbert Presslie, 1937-

Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings
per: Banâtre, Jean-Pierre

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

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

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
per: Taft, S. Tucker, 1953-

Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19 21, 1997 : proceedings

Formal syntax and semantics of Java
per: Alves-Foss, Jim, 1964-

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Parallel execution of Parlog
per: Cheese, Andrew, 19..-

Theoretical aspects of computer software : [second] international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Programming languages, information structures and machine organization
per: Wegner, Peter, 19..-
Publicat: (1971)

Numerical recipes in Fortran : the art of scientific computing
per: Press, William H., 1948-, et al.
Publicat: (1992)

An extended entity-relationship model : fundamentals and pragmatics
per: Gogolla, Martin

© 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