Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/988
Title: | Logic-based program synthesis and transformation : |
Other Titles: | 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers / LOPSTR 2016 ; |
Authors: | LOPSTR (Symposium) ; (26th : ; 2016 : ; Edinburgh, Scotland) ;;Hermenegildo, Manuel, ; editor ;;Lopez-Garcia, Pedro, ; editor ; |
subject: | Logic programming ; Congresses ;;Computer logic ; Congresses ;;Computer software ; Development ; Congresses ; |
Year: | 2017 |
place: | Cham, Switzerland : |
Publisher: | Springer, |
Series/Report no.: | Lecture notes in computer science, ; 0302-9743 ; ; 10184 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues ; Lecture notes in computer science ; ; 10184. ; 0302-9743 ; LNCS sublibrary. ; SL 1, ; Theoretical computer science and general issues ; |
Abstract: | This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools ; |
Description: | Ohio Library and Information Network ; Available to OhioLINK libraries ; Original ; 3319631381 ; 9783319631387 ; (OCoLC)991683829 ; |
URI: | http://localhost/handle/Hannan/988 |
ISBN: | 9783319631394 ; 331963139X ; |
More Information: | 1 online resource (xvi, 361 pages) : ; illustrations ; Includes author index ; |
Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319631394.pdf | 11.86 MB | Adobe PDF | Preview File |
Title: | Logic-based program synthesis and transformation : |
Other Titles: | 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers / LOPSTR 2016 ; |
Authors: | LOPSTR (Symposium) ; (26th : ; 2016 : ; Edinburgh, Scotland) ;;Hermenegildo, Manuel, ; editor ;;Lopez-Garcia, Pedro, ; editor ; |
subject: | Logic programming ; Congresses ;;Computer logic ; Congresses ;;Computer software ; Development ; Congresses ; |
Year: | 2017 |
place: | Cham, Switzerland : |
Publisher: | Springer, |
Series/Report no.: | Lecture notes in computer science, ; 0302-9743 ; ; 10184 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues ; Lecture notes in computer science ; ; 10184. ; 0302-9743 ; LNCS sublibrary. ; SL 1, ; Theoretical computer science and general issues ; |
Abstract: | This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools ; |
Description: | Ohio Library and Information Network ; Available to OhioLINK libraries ; Original ; 3319631381 ; 9783319631387 ; (OCoLC)991683829 ; |
URI: | http://localhost/handle/Hannan/988 |
ISBN: | 9783319631394 ; 331963139X ; |
More Information: | 1 online resource (xvi, 361 pages) : ; illustrations ; Includes author index ; |
Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319631394.pdf | 11.86 MB | Adobe PDF | Preview File |
Title: | Logic-based program synthesis and transformation : |
Other Titles: | 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers / LOPSTR 2016 ; |
Authors: | LOPSTR (Symposium) ; (26th : ; 2016 : ; Edinburgh, Scotland) ;;Hermenegildo, Manuel, ; editor ;;Lopez-Garcia, Pedro, ; editor ; |
subject: | Logic programming ; Congresses ;;Computer logic ; Congresses ;;Computer software ; Development ; Congresses ; |
Year: | 2017 |
place: | Cham, Switzerland : |
Publisher: | Springer, |
Series/Report no.: | Lecture notes in computer science, ; 0302-9743 ; ; 10184 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues ; Lecture notes in computer science ; ; 10184. ; 0302-9743 ; LNCS sublibrary. ; SL 1, ; Theoretical computer science and general issues ; |
Abstract: | This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools ; |
Description: | Ohio Library and Information Network ; Available to OhioLINK libraries ; Original ; 3319631381 ; 9783319631387 ; (OCoLC)991683829 ; |
URI: | http://localhost/handle/Hannan/988 |
ISBN: | 9783319631394 ; 331963139X ; |
More Information: | 1 online resource (xvi, 361 pages) : ; illustrations ; Includes author index ; |
Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319631394.pdf | 11.86 MB | Adobe PDF | Preview File |