Vai al contenuto principale della pagina

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'00), Boston, Massachusetts, January 22-23, 2000



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Lawall Julia L Visualizza persona
Titolo: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'00), Boston, Massachusetts, January 22-23, 2000 Visualizza cluster
Pubblicazione: [Place of publication not identified], : Association for Computing Machinery, 2000
Disciplina: 005.13/1
Soggetto topico: Computer programming
Engineering & Applied Sciences
Computer Science
Note generali: Bibliographic Level Mode of Issuance: Monograph
Titolo autorizzato: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'00), Boston, Massachusetts, January 22-23, 2000  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910376219303321
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
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
Formal Methods and Software Engineering [[electronic resource] ] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / / edited by Jin Song Dong, Jim Woodcock