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

Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2001-06
版次: 1
ISBN: 3540421270 或 9783540421276
定价: 465.30
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 181页
  • 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基于逻辑的程序合成与转换
LotsOfThingstoFindandColour
Fiona Watt(菲奥娜·瓦特) 著;Stella Baggott(斯特拉·巴戈特) 绘
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Look What I Made!
作者诸敏刚;李丹芷;译者李朝渊;李放;[美]Gary Rybold
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Logistic回归中的交互效应
詹姆斯·杰卡德 著
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
LoRa物联网通信技术
甘泉
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Lotuslantern(宝莲灯)
James Beans ;Gillian Flaherty
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Loon Lake A Novel
Doctorow, E.L
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
LoveLive!Sunshine!!动画官方典藏集天闻角川出版
日本电击G’s杂志编辑部 编
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Loss Sadness And Depression
Bowlby, John
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
LoveLive!Sunshine!!官方艺术典藏集天闻角川出版
日本电击G’s杂志编辑部 编
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Looking at Pictures
Walser, Robert,Bernofsky, Susan,Davis, Lydia
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
Logic as a Liberal Art(作为通识学科的逻辑学)
john Deely 著;张杰、余红兵 编