PEPM '16 : Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 18-19, 2016, St. Petersburg, FL, USA / / edited by Martin Erwig and Tiark Rompf ; sponsored by ACM SIGPLAN |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (108 pages) |
Disciplina | 005.453 |
Soggetto topico |
Compiling (Electronic computers)
Programming languages (Electronic computers) Computer programming |
ISBN | 1-4503-4097-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Partial Evaluation and Program Manipulation 2016 : proceedings of the 2016 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Partial Evaluation and Program Manipulation : January 18-19, 2016, St. Petersburg, FL, USA
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Proceedings of the 2016 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Partial Evaluation and Program Manipulation POPL '16 : the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : St. Petersburg, FL, USA, January 20-22, 2016 Principles of Programming Languages 2016 |
Record Nr. | UNINA-9910376550603321 |
New York : , : ACM, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Language Engineering [[electronic resource] ] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 385 p. 156 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
ISBN | 3-319-02654-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Domain-Specific Languages -- Language Patterns and Evolution -- Grammars -- Tools -- Language Analysis -- Meta- and Megamodelling. |
Record Nr. | UNISA-996465746303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 385 p. 156 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
ISBN | 3-319-02654-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Domain-Specific Languages -- Language Patterns and Evolution -- Grammars -- Tools -- Language Analysis -- Meta- and Megamodelling. |
Record Nr. | UNINA-9910739439203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|