Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换

Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2001-06
版次: 1
ISBN: 3540421270 或 9783540421276
定价: 465.30
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 181页
1人买过
  • The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and Societies, LNCS has grown into the most comprehensive computer science research forum available.
      
      
      The scope of LNCS, including its sub series LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes

      - Proceedings(published in time for the respective conference)
       
      - Post-proceedings(consisting of thoroughly revised final full papers)
       
      -research monographs(which may be based on outstanding PhD work, research projects, technical reports, etc.) Synthesis

      A Formal Framework for Synthesis and Verification of Logic Programs

      Protocols between Programs and Proofs

      A Technique for Modular Logic Program Refinement

    Transformation

      Higher-Order Transrormation of Logic Programs

    Analysis

      Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings

    Specialisation

      A Model for Inter-module Analysis and Optimizing Compilation

      Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages

      Automated Strategies for Specializing Constraint Logic Programs

    Abstract Interpretation

      Measuring the Precision of Abstract Interpretations

    Debugging

      Specifying Prolog Trace Models with a Continuation Semantics

    Author Index
  • 内容简介:
    The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and Societies, LNCS has grown into the most comprehensive computer science research forum available.
      
      
      The scope of LNCS, including its sub series LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes

      - Proceedings(published in time for the respective conference)
       
      - Post-proceedings(consisting of thoroughly revised final full papers)
       
      -research monographs(which may be based on outstanding PhD work, research projects, technical reports, etc.)
  • 目录:
    Synthesis

      A Formal Framework for Synthesis and Verification of Logic Programs

      Protocols between Programs and Proofs

      A Technique for Modular Logic Program Refinement

    Transformation

      Higher-Order Transrormation of Logic Programs

    Analysis

      Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings

    Specialisation

      A Model for Inter-module Analysis and Optimizing Compilation

      Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages

      Automated Strategies for Specializing Constraint Logic Programs

    Abstract Interpretation

      Measuring the Precision of Abstract Interpretations

    Debugging

      Specifying Prolog Trace Models with a Continuation Semantics

    Author Index
查看详情
相关图书 / 更多
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Lolita(PenguinEssentials)[洛丽塔]
Vladimir Nabokov 著
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Low-E节能玻璃应用技术问答(2版)
许武毅 主编
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
LonelyPlanet世界旅行清单-500经典目的地榜单
[爱尔兰]Lonely Planet公司 著
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Look What I Made!
作者诸敏刚;李丹芷;译者李朝渊;李放;[美]Gary Rybold
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
LoRa物联网通信技术
甘泉
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
LonelyPlanet中国旅行指南系列-LP江苏
[爱尔兰]Lonely Planet公司 著
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Lotuslantern(宝莲灯)
James Beans ;Gillian Flaherty
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Logic Pro X 10.4 音频编辑高级教程
[美]David Nahmani(大卫·纳赫马尼
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Low Voltage Electrician Certification Training Course(低压电工考证培训教程)
孙红霞 主编;杨清德;余明飞
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Love Live!动漫偶像人物设计教程
[日]室田雄平 著;陈旭 译
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Loon Lake A Novel
Doctorow, E.L
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Logic as a Liberal Art(作为通识学科的逻辑学)
john Deely 著;张杰、余红兵 编