Semantics : :: SCD d'Orléans

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

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

Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume include...

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	REX workshop :Beekbergen
Muut tekijät:	Bakker, Jacobus Willem de, 1939- (Päätoimittaja), Roever, Willem-Paul de, 1943- (Päätoimittaja), Rozenberg, Grzegorz, 1942- (Päätoimittaja)
Aineistotyyppi:	Livre numérique
Kieli:	Anglais
Julkaistu:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sarja:	Lecture notes in computer science 666
Aiheet:	Génie logiciel Informatique Langages de programmation > sémantique Langages de programmation Ordinateurs Parallélisme (informatique) Actes de congrès
Linkit:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Huomautus:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Semantics, foundations and applications, REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992, proceedings, J.W. de Baker, W.P. de Roever, G. Rozenberg, eds, Berlin, Springer-Verlag, 1993, 1 vol. (VIII-659 p.), Lecture notes in computer science, 3-540-56596-5 • Semantics: Foundations and Applications, Texte imprimé, 9783662209080

Samankaltaisia teoksia

A Decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands June 1 4, 1993 : proceedings

Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings
Tekijä: Halstead, Robert H., Jr., 1953-

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

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

Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30 October 2, 1991 : proceedings

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

Parallel computation : Second International ACPC Conference Gmunden, Austria, October 4 6, 1993 : proceedings

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

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 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

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Tekijä: Lengauer, Christian

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

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

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings

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

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

Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989 : proceedings

Algebraic methods II : theory, tools and applications

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

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
Tekijä: Rao, Josyula Ramachandra, 19..-

Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 : proceedings

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26 27, 2003 : proceedings

PARLE : parallel architectures and languages Eindhoven, The Netherlands, June 15 19, 1987 : proceedings parallel languages :

Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings

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

Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings

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

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings

Object-oriented technology : ECOOP 97 workshop reader, ECOOP 97 workshops, Jyväskylä, Finland, June 9-13, 1997 : proceedings

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30 31, 2001 : proceedings

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Tekijä: Lauer, Peter E., 1934-

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

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

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

Parallel execution of Parlog
Tekijä: Cheese, Andrew, 19..-

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

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

CONCUR '90 : theories of concurrency : unification and extension : Amsterdam, The Netherlands, August 27 30, 1990 : 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