首页>外文会议>Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

召开年：2003
召开地：Uppsala(SE);Uppsala(SE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Program Transformation for Backwards Analysis of Logic Programs

机译：用于逻辑程序向后分析的程序转换
- 作者：John P. Gallagher
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
2.Adding Concrete Syntax to a Prolog-Based Program Synthesis System

机译：在基于Prolog的程序综合系统中添加具体语法
- 作者：Bernd Fischer;Eelco Visser
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
3.Constructively Characterizing Fold and Unfold

机译：建设性地表征折叠和展开
- 作者：Tjark Weber;James Caldwell
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
4.Continuation Semantics as Horn Clauses

机译：延续语义学作为号角从句
- 作者：Qian Wang;Gopal Gupta
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
5.Correct OO Systems in Computational Logic

机译：在计算逻辑中正确的OO系统
- 作者：Kung-Kiu Lau;Mario Ornaghi
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
6.Deterministic Higher-Order Patterns for Program Transformation

机译：程序转换的确定性高阶模式
- 作者：Tetsuo Yokoyama;Zhenjiang Hu;Masato Takeichi
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
- higher-order pattern matching;
- functional programming;
- program derivation;
- program transformation;
- fusion transformation;
7.Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables

机译：使用辅助变量的近似算法的形式开发和验证
- 作者：Rudolf Berghammer;Markus Mueller-Olm
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
8.Formal Reasoning about Efficient Data Structures: A Case Study in ACL2

机译：有效数据结构的形式推理：以ACL2为例
- 作者：Jose Luis Ruiz-Reina;Jose Antonio Alonso-Jimenez;Maria Jose Hidalgo;Francisco Jesus Martin-Mateos
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
9.From Interpreter to Logic Engine by Defunctionalization

机译：通过解功能从解释器到逻辑引擎
- 作者：Dariusz Biernacki;Olivier Danvy
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
10.Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce

机译：程序专业的归纳定理证明：使用Ecce生成Isabelle的证明
- 作者：Helko Lehmann;Michael Leuschel
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
11.Integration and Optimization of Rule-Based Constraint Solvers

机译：基于规则的约束求解器的集成和优化
- 作者：Slim Abdennadher;Thom Fruhwirth
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
12.Introducing ESRA, a Relational Language for Modelling Combinatorial Problems

机译：引入ESRA，一种用于组合问题建模的关系语言
- 作者：Pierre Flener;Justin Pearson;Magnus Agren
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
13.Linearization by Program Transformation

机译：通过程序转换进行线性化
- 作者：Sandra Alves;Mario Florido
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
14.Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures

机译：基于错误猜想的归纳证明谓词综合
- 作者：Francis Alexandre;Khaled Bsaiees;Moussa Demba
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
15.Simplification of Database Integrity Constraints Revisited: A Transformational Approach

机译：再谈数据库完整性约束的简化：一种转换方法
- 作者：Henning Christiansen;Davide Martinenghi
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年
16.Specification and Synthesis of Hybrid Automata for Physics-Based Animation

机译：基于物理的动画混合自动机的规范和综合
- 作者：Thomas Ellman
- 会议名称：《Logic Based Program Synthesis and Transformation》 | 2004年