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

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

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

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	International Symposium on Practical Aspects of Declarative Languages :Las Vegas, Nev.
Altres autors:	Ramakrishnan, I. V., 1952- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1990
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, third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, proceedings, I.V. Ramakrishnan, 2001, New York, Springer, 1 vol. (VIII-351 p.), Lecture notes in computer science, 3-540-41768-0 • Practical Aspects of Declarative Languages, Texte imprimé, 9783662210116

Ítems similars

Practical aspects of declarative languages : second InternationalWorkshop, PADL 2000, Boston, MA, USA, January 17 18, 2000 : 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
per: Jayaraman, Bharat

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

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

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

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

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

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

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

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

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

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

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

Conclog : a methodological approach to concurrent logic programming
per: Jacquet, Jean-Marie, 19..-...., chercheur en informatique

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

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

Generic model management : concepts and algorithms
per: Melnik, Sergey

Semirings for soft constraint solving and programming
per: Bistarelli, Stefano

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

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

Languages and compilers for parallel computing : 12th International Workshop, LCPC 99 La Jolla, CA, USA, August 4 6, 1999 : 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

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

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

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

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

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

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

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

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : 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

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

Initiation à la programmation en PROLOG
per: Saint-Dizier, Patrick, 1954-...., chercheur en informatique
Publicat: (1987)

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

© 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