书目名称 | Logic Program Synthesis and Transformation |
副标题 | Proceedings of LOPST |
编辑 | Yves Deville (Chair) |
视频video | http://file.papertrans.cn/588/587881/587881.mp4 |
丛书名称 | Workshops in Computing |
图书封面 |  |
描述 | This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop ment including: deductive synthesis, inductive synthesis, transforma tions for optimizing programs and exploiting parallelism, progra |
出版日期 | Conference proceedings 1994 |
关键词 | LOPSTR; algorithms; design; development; language; logic; logic programming; parallelism; program synthesis; |
版次 | 1 |
doi | https://doi.org/10.1007/978-1-4471-3234-9 |
isbn_softcover | 978-3-540-19864-2 |
isbn_ebook | 978-1-4471-3234-9Series ISSN 1431-1682 |
issn_series | 1431-1682 |
copyright | British Computer Society 1994 |