Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/562
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFioravanti, Fabio. ;en_US
dc.contributor.authorGallagher, John P. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:18:53Z-
dc.date.available2020-05-17T08:18:53Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319944609 ;en_US
dc.identifier.isbn9783319944593 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/562-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319944593. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Roeeu. 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. ;en_US
dc.description.statementofresponsibilityedited by Fabio Fioravanti, John P. Gallagher.en_US
dc.description.tableofcontentsAnalysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. ;en_US
dc.format.extentXVI, 341 p. 59 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10855. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10855. ;en_US
dc.relation.haspart9783319944593.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectArtificial Intelligenceen_US
dc.subjectComputer Scienceen_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectProgramming Techniquesen_US
dc.subjectArtificial Intelligence and Roboticsen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subject.ddc005.1015113 ; 23 ;en_US
dc.subject.lccQA76.63 ;en_US
dc.titleLogic-Based Program Synthesis and Transformationen_US
dc.title.alternative27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319944593.pdf9.68 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFioravanti, Fabio. ;en_US
dc.contributor.authorGallagher, John P. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:18:53Z-
dc.date.available2020-05-17T08:18:53Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319944609 ;en_US
dc.identifier.isbn9783319944593 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/562-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319944593. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Roeeu. 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. ;en_US
dc.description.statementofresponsibilityedited by Fabio Fioravanti, John P. Gallagher.en_US
dc.description.tableofcontentsAnalysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. ;en_US
dc.format.extentXVI, 341 p. 59 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10855. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10855. ;en_US
dc.relation.haspart9783319944593.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectArtificial Intelligenceen_US
dc.subjectComputer Scienceen_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectProgramming Techniquesen_US
dc.subjectArtificial Intelligence and Roboticsen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subject.ddc005.1015113 ; 23 ;en_US
dc.subject.lccQA76.63 ;en_US
dc.titleLogic-Based Program Synthesis and Transformationen_US
dc.title.alternative27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319944593.pdf9.68 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFioravanti, Fabio. ;en_US
dc.contributor.authorGallagher, John P. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:18:53Z-
dc.date.available2020-05-17T08:18:53Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319944609 ;en_US
dc.identifier.isbn9783319944593 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/562-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319944593. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017. The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Roeeu. 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. ;en_US
dc.description.statementofresponsibilityedited by Fabio Fioravanti, John P. Gallagher.en_US
dc.description.tableofcontentsAnalysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. ;en_US
dc.format.extentXVI, 341 p. 59 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10855. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10855. ;en_US
dc.relation.haspart9783319944593.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectArtificial Intelligenceen_US
dc.subjectComputer Scienceen_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectProgramming Techniquesen_US
dc.subjectArtificial Intelligence and Roboticsen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subject.ddc005.1015113 ; 23 ;en_US
dc.subject.lccQA76.63 ;en_US
dc.titleLogic-Based Program Synthesis and Transformationen_US
dc.title.alternative27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319944593.pdf9.68 MBAdobe PDFThumbnail
Preview File