Vai al contenuto principale della pagina

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93 : Copenhagen, Denmark, June 14-16, 1993



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Schmidt David Visualizza persona
Titolo: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93 : Copenhagen, Denmark, June 14-16, 1993 Visualizza cluster
Pubblicazione: [Place of publication not identified], : ACM Press, 1993
Disciplina: 005.13/1
Soggetto topico: Programming languages (Electronic computers) - Semantics
Engineering & Applied Sciences
Computer Science
Note generali: Bibliographic Level Mode of Issuance: Monograph
Titolo autorizzato: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93 : Copenhagen, Denmark, June 14-16, 1993  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910376197503321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Approaches to Software Testing [[electronic resource] ] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / / edited by Andreas Ulrich
PPDP 2006 : proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy
Bossi Annalisa
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'00), Boston, Massachusetts, January 22-23, 2000
Lawall Julia L
New Trends in Formal Languages [[electronic resource] ] : Control, Cooperation, and Combinatorics / / edited by Gheorghe Paun, Arto Salomaa
Grammatical Inference: Algorithms and Applications [[electronic resource] ] : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings / / edited by Arlindo L. Oliveira