جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید. http://localhost/handle/Hannan/988
عنوان: Logic-based program synthesis and transformation :
عنوان دیگر: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /
LOPSTR 2016 ;
پدیدآورنده: LOPSTR (Symposium) ; (26th : ; 2016 : ; Edinburgh, Scotland) ;;Hermenegildo, Manuel, ; editor ;;Lopez-Garcia, Pedro, ; editor ;
کلید واژه ها: Logic programming ; Congresses ;;Computer logic ; Congresses ;;Computer software ; Development ; Congresses ;
تاریخ انتشار: 2017
محل نشر: Cham, Switzerland :
ناشر: Springer,
فروست / شماره : 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 ;
چکیده: 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 ;
توضیحات : Ohio Library and Information Network ;


Available to OhioLINK libraries ;
Original ; 3319631381 ; 9783319631387 ; (OCoLC)991683829 ;
آدرس: http://localhost/handle/Hannan/988
شابک : 9783319631394 ;
331963139X ;
اطلاعات بیشتر: 1 online resource (xvi, 361 pages) : ; illustrations ;
Includes author index ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319631394.pdf11.86 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Logic-based program synthesis and transformation :
عنوان دیگر: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /
LOPSTR 2016 ;
پدیدآورنده: LOPSTR (Symposium) ; (26th : ; 2016 : ; Edinburgh, Scotland) ;;Hermenegildo, Manuel, ; editor ;;Lopez-Garcia, Pedro, ; editor ;
کلید واژه ها: Logic programming ; Congresses ;;Computer logic ; Congresses ;;Computer software ; Development ; Congresses ;
تاریخ انتشار: 2017
محل نشر: Cham, Switzerland :
ناشر: Springer,
فروست / شماره : 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 ;
چکیده: 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 ;
توضیحات : Ohio Library and Information Network ;


Available to OhioLINK libraries ;
Original ; 3319631381 ; 9783319631387 ; (OCoLC)991683829 ;
آدرس: http://localhost/handle/Hannan/988
شابک : 9783319631394 ;
331963139X ;
اطلاعات بیشتر: 1 online resource (xvi, 361 pages) : ; illustrations ;
Includes author index ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319631394.pdf11.86 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Logic-based program synthesis and transformation :
عنوان دیگر: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /
LOPSTR 2016 ;
پدیدآورنده: LOPSTR (Symposium) ; (26th : ; 2016 : ; Edinburgh, Scotland) ;;Hermenegildo, Manuel, ; editor ;;Lopez-Garcia, Pedro, ; editor ;
کلید واژه ها: Logic programming ; Congresses ;;Computer logic ; Congresses ;;Computer software ; Development ; Congresses ;
تاریخ انتشار: 2017
محل نشر: Cham, Switzerland :
ناشر: Springer,
فروست / شماره : 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 ;
چکیده: 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 ;
توضیحات : Ohio Library and Information Network ;


Available to OhioLINK libraries ;
Original ; 3319631381 ; 9783319631387 ; (OCoLC)991683829 ;
آدرس: http://localhost/handle/Hannan/988
شابک : 9783319631394 ;
331963139X ;
اطلاعات بیشتر: 1 online resource (xvi, 361 pages) : ; illustrations ;
Includes author index ;
مجموعه(های):مهندسی فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319631394.pdf11.86 MBAdobe PDFتصویر
مشاهده فایل