Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
Edición: | 1st ed. 2014. |
Colección: | Theoretical Computer Science and General Issues,
8901 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Specification
- Synthesis
- Verification
- Analysis
- Optimization
- Specialization
- Security
- Certification
- Applications and tools
- Program/model manipulation
- Transformation techniques for any programming language paradigm.