首页>外文会议>其他>International Symposium on Logic-Based Program Synthesis and Transformation

International Symposium on Logic-Based Program Synthesis and Transformation

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Automated Termination Analysis for Logic Programs by Term Rewriting

机译：通过术语重写自动终止分析逻辑程序
- 作者：Peter Schneider-Kamp;Jürgen Giesl;Alexander Serebrenik;René Thiemann
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
2.On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors

机译：关于携带携带禁用时间参考监视器的自动合成
- 作者：Simon Winwood;Gerwin Klein;Manuel M. T. Chakravarty
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
3.How to Talk to a Human: The Semantic Web and the Clash of the Titans

机译：如何与人类交谈：语义网络和泰坦的冲突
- 作者：Massimo Marchiori
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
4.Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

机译：使用在线技术监督逻辑程序的离线部分评估
- 作者：Michael Leuschel;Stephen-John Craig;Dan Elphick
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
5.Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator

机译：使用展开运营商检测无终止术语重写系统
- 作者：Etienne Payet
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
6.Constructing Consensus Logic Programs

机译：构建共识逻辑计划
- 作者：Chiaki Sakama;Katsumi Inoue
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
7.Towards Description and Optimization of Abstract Machines in an Extension of Prolog

机译：在Prolog推广中的抽象机器描述和优化
- 作者：José F. Morales;Manuel Carro;Manuel Hermenegildo
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
- Prolog;
- Abstract Machines;
- Compilation;
- Optimization;
- Program Transformation;
8.A Comparative Study of Algorithmic Debugging Strategies

机译：算法调试策略的比较研究
- 作者：Josep Silva
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
9.Grids: A Domain for Analyzing the Distribution of Numerical Values

机译：网格：用于分析数值分布的域
- 作者：Roberto Bagnara;Katy Dobson;Patricia M. Hill;Matthew Mundell;Enea Zaffanella
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
10.CHESS: Systematic Stress Testing of Concurrent Software

机译：国际象棋：并发软件的系统压力测试
- 作者：Madan Musuvathi;Shaz Qadeer
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
11.Polytool: Proving Termination Automatically Based on Polynomial Interpretations

机译：Polytool：根据多项式解释自动证明终止
- 作者：Manh Thang Nguyen;Danny De Schreye
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
12.ARM: Automatic Rule Miner

机译：ARM：自动规则矿工
- 作者：Slim Abdennadher;Abdellatif Olama;Noha Salem;Amira Thabet
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
13.A Program Transformation for Tracing Functional Logic Computations

机译：用于跟踪功能逻辑计算的程序转换
- 作者：Bernd Brassel;Sebastian Fischer;Frank Huch
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
14.Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

机译：使用尺寸更改图改善离线狭窄驱动的部分评估
- 作者：Gustavo Arroyo;J. Guadalupe Ramos;Josep Silva;Germán Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
15.Synthesis of Asynchronous Systems

机译：异步系统的合成
- 作者：Sven Schewe;Bernd Finkbeiner
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
16.Combining Different Proof Techniques for Verifying Information Flow Security

机译：结合不同证明技术来验证信息流安全
- 作者：Heiko Mantel;Henning Sudbrock;Tina KrauBer
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2007年
17.Action Refinement in Process Algebra and Security Issues

机译：过程代数和安全问题的行动细化
- 作者：Annalisa Bossi;Carla Piazza;Sabina Rossi
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
18.Termination Analysis of Logic Programs Based on Dependency Graphs

机译：基于依赖图的逻辑程序终止分析
- 作者：Manh Thang Nguyen;Jurgen Giesl;Peter Schneider-Kamp;Danny De Schreye
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
19.Synthesis of Data Views for Communicating Processes

机译：用于通信过程的数据视图的合成
- 作者：Iman Poernomo
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
20.Generation of Rule-Based Constraint Solvers: Combined Approach

机译：基于规则的约束求解器：组合方法
- 作者：Slim Abdennadher;Ingi Sobhi
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
21.Denotation by TransformationTowards Obtaining a Denotational Semantics by Transformation to Point-Free Style

机译：转换无线记录通过转换为无点样式获取表示语义
- 作者：Bernd Brassel;Jan Christiansen
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
22.A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

机译：一种灵活的，（c）基于LP的对面向对象计划分析的方法
- 作者：Mario Mendez-Lojo;Jorge Navas;Manuel V. Hermenegildo
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
23.Aggregates for CHR through Program Transformation

机译：通过程序转换聚集CHR
- 作者：Peter Van Weert;Jon Sneyers;Bart Demoen
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
24.Towards a Normal Form for Mercury Programs

机译：迈向汞程序的正常形式
- 作者：Francois Degrave;Wim Vanhoof
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
25.A Scalable Inclusion Constraint Solver Using Unification

机译：使用统一的可扩展包含约束求解器
- 作者：Ye Zhang;Flemming Nielson
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
26.Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

机译：逻辑程序中不受限制独立和并行性的注释算法
- 作者：Amadeo Casas;Manuel Carro;Manuel V. Hermenegildo
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
- Logic Programming;
- Automatic Parallelization;
- And-Parallelism;
- Program Transformation;
27.Snapshot Generation in a Constructive Object-Oriented Modeling Language

机译：以建设性面向对象的建模语言生成快照
- 作者：Mauro Ferrari;Camillo Fiorentini;Alberto Momigliano;Mario Ornaghi
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
28.Proving Termination with (Boolean) Satisfaction

机译：证明（布尔）满意度终止
- 作者：Michael Codish
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
29.Denotation by Transformation Towards Obtaining a Denotational Semantics by Transformation to Point-Free Style

机译：通过转换通过转换为无点样式而转换的转换
- 作者：Bernd Brassel;Jan Christiansen
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
30.Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

机译：基于类型的同内嵌入及其在线部分评估的应用
- 作者：Elvira Albert;John Gallagher;Miguel Gomez-Zamalloa;German Puebla
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
31.Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

机译：在懒惰功能计划部分评估中保留分享
- 作者：Sebastian Fischer;Josep Silva;Salvador Tamarit;German Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2008年
32.Fast Offline Partial Evaluation of Large Logic Programs

机译：大型逻辑计划的快速离线部分评估
- 作者：Michael Leuschel;German Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
33.Analytical Inductive Functional Programming

机译：分析归纳功能规划
- 作者：Emanuel Kitzelmann
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
34.On Negative Unfolding in the Answer Set Semantics

机译：在答案集语义中的负面展开
- 作者：Hirohisa Seki
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
35.From Monomorphic to Polymorphic Well-Typings and Beyond

机译：从单数到多晶型井打字和超越
- 作者：Tom Schrijvers;Maurice Bruynooghe;John P. Gallagher
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
36.Test Data Generation of Bytecode by CLP Partial Evaluation

机译：通过CLP部分评估测试字节码的数据生成
- 作者：Elvira Albert;Miguel Gomez-Zamalloa;German Puebla
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
37.A Modular Equational Generalization Algorithm

机译：模块化实体泛化算法
- 作者：Maria Alpuente;Santiago Escobar;Jose Meseguer;Pedro Ojeda
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
38.The MEB and CEB Static Analysis for CSP Specifications

机译：CSP规范的MEB和CEB静态分析
- 作者：Michael Leuschel;Marisa Llorens;Javier Oliver;Josep Silva;Salvador Tamarit
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
- Concurrent Programming;
- CSP;
- Program Slicing;
39.Analysis of Linear Hybrid Systems in CLP

机译：CLP中线性混合系统分析
- 作者：Gourinath Banda;John P. Gallagher
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
40.A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs

机译：高阶函数计划的多价能BTA的变革方法
- 作者：Gustavo Arroyo;J. Guadalupe Ramos;Salvador Tamarit;German Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
41.An Inference Algorithm for Guaranteeing Safe Destruction

机译：一种保证安全破坏的推理算法
- 作者：Manuel Montenegro;Ricardo Pena;Clara Segura
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
- Memory management;
- Type-based analysis;
- Type inference;
42.Automatic Generation of Test Inputs for Mercury

机译：自动生成汞的测试输入
- 作者：Francois Degrave;Tom Schrijvers;Wim Vanhoof
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
43.Space Invading Systems Code

机译：空间入侵系统代码
- 作者：Cristiano Calcagno;Dino Distefano;Peter OHearn;Hongseok Yang
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2009年
44.Deciding Full Branching Time Logic by Program Transformation

机译：通过程序转换决定完整的分支时间逻辑
- 作者：Alberto Pettorossi;Maurizio Proietti;Valerio Senni
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
45.Program Parallelization Using Synchronized Pipelining

机译：使用同步流水线程序并行化
- 作者：Leonardo Scandolo;Cesar Kunz;Manuel Hermenegildo
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
46.LP with Flexible Grouping and Aggregates Using Modes

机译：LP具有灵活分组和使用模式的聚集体
- 作者：Marcin Czenko;Sandro Etalle
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
- Grouping in Logic Programs;
- Moded Logic Programming;
- Stratified Logic Programs;
- Termination of Logic Programs;
47.Defining Datalog in Rewriting Logic

机译：在重写逻辑中定义Datalog
- 作者：M. Alpuente;M. A. Feliu;C. Joubert;A. Villanueva
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
48.Towards a Framework for Constraint-Based Test Case Generation

机译：迈向基于约束的测试用例的框架
- 作者：Frangois Degrave;Tom Schrijvers;Wim Vanhoof
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
49.Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing

机译：用于证明缩小终止的目标导向和相对依赖性对
- 作者：Jose Iborra;Naoki Nishida;German Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
50.Towards Scalable Partial Evaluation of Declarative Programs

机译：朝着可扩展部分评估陈述计划
- 作者：German Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
51.The Dependency Triple Framework for Termination of Logic Programs

机译：逻辑程序终止的依赖性三框架
- 作者：Peter Schneider-Kamp;Jurgen Giesl;Manh Thang Nguyen
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
52.On Inductive and Coinductive Proofs via Unfold/Fold Transformations

机译：通过展开/折叠变换的电感和配合证明
- 作者：Hirohisa Seki
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
- Preservation of equivalence;
- Negative unfolding;
- Conduction;
- Unfold/fold transformation;
53.A Transformational Approach for Proving Properties of the CHR Constraint Store

机译：用于证明CHR约束存储的属性的变换方法
- 作者：Paolo Pilozzi;Tom Schrijvers;Maurice Bruynooghe
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
- Constraint Handling Rules;
- Program Transformation;
54.Towards Just-In-Time Partial Evaluation of Prolog

机译：朝着立即局部评估Prolog评估
- 作者：Carl Friedrich Bolz;Michael Leuschel;Armin Rigo
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
55.Using Rewrite Strategies for Testing BUpL Agents

机译：使用重写策略来测试Bupl代理
- 作者：Lacramioara Astefanoaei;Frank S. de Boer;M. Birna van Riemsdijk
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
- Agent Languages;
- Testing;
- Rewriting;
- Strategies;
56.Coinductive Logic Programming with Negation

机译：否定配合逻辑编程
- 作者：Richard Min;Gopal Gupta
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
- Coinductive Logic Programming;
- Negation as Failure;
- Program Completion;
- Kripke-Kleene three-valued logic;
57.Refining Exceptions in Four-Valued Logic

机译：四价逻辑中的精炼例外
- 作者：Susumu Nishimura
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2010年
58.Drill and Join: A Method for Exact Inductive Program Synthesis

机译：钻取和加入：精确感应程序合成方法
- 作者：Remis Balaniuk
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
59.Pre-indexed Terms for Prolog

机译：预先索引的prolog术语
- 作者：J. F. Morales;M. Hermenegildo
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
60.Concolic Execution and Test Case Generation in Prolog

机译：调情执行和测试案例在prolog中生成
- 作者：German Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
61.CHRAnimation: An Animation Tool for Constraint Handling Rules

机译：Chranimation：约束处理规则的动画工具
- 作者：Nada Sharaf;Slim Abdennadher;Thom Fruhwirth
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Constraint Handling Rules;
- Algorithm visualization;
- Algorithm animation;
- Source-to-source transformation;
62.Exhaustive Execution of CHR Through Source-to-Source Transformation

机译：通过源源到源转换的穷举执行CHR
- 作者：Ahmed Elsawy;Amira Zaki;Slim Abdennadher
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
63.Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies

机译：具有广义原子的逻辑节目良好语义的多项式近似：案例研究
- 作者：Solimul Chowdhury;Fangfang Liu;Wu Chen;Arash Karimi;Jia-Huai You
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Polynomial approximation;
- Well-founded semantics;
- Generalized atoms;
64.A Formal Semantics for the Cognitive Architecture ACT-R

机译：认知架构ACT-R的正式语义
- 作者：Daniel Gall;Thom Fruhwirth
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Computational psychology;
- Cognitive systems;
- ACT-R;
- Production rule systems;
- Constraint handling rules;
- Operational semantics;
65.Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications

机译：Cafeobj中的情趣属性 - 以元级规格为例
- 作者：Norbert Preining;Kazuhiro Ogata;Kokichi Futatsugi
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Algebraic specification;
- Liveness;
- CAFEOBJ;
- Verification;
66.Confluence Modulo Equivalence in Constraint Handling Rules

机译：约束处理规则中的汇合模数等价
- 作者：Henning Christiansen;Maja H. Kirkeby
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
67.Analyzing Array Manipulating Programs by Program Transformation

机译：通过程序转换分析阵列操纵程序
- 作者：J. Robert M. Cornish;Graeme Gange;Jorge A. Navas;Peter Schachte;Harald Sondergaard;Peter J. Stuckey
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
68.A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols

机译：一种验证和合成参数化自稳定协议的混合方法
- 作者：Amer Tahat;Ali Ebnenasir
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Mechanical verification;
- Program synthesis;
- Self-stabilization;
- Parameterized systems;
69.Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics

机译：基于类别的元模型的访问控制和义务：基于重写的语义
- 作者：Sandra Alves;Anatoli Degtyarev;Maribel Fernandez
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Security policies;
- Access control;
- Obligations;
- Rewriting;
70.Functional Kleene Closures

机译：功能性Kleene封闭
- 作者：Nikita Danilenko
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
71.Declarative Compilation for Constraint Logic Programming

机译：约束逻辑编程的陈述编译
- 作者：Emilio Jesus Gallego Arias;James Lipton;Julio Marino
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Logic programming;
- Constraint programming;
- Relation algebra;
- Rewriting;
- Semantics;
72.Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

机译：用抽象联合局部扣除分析与编制金属卷取
- 作者：Danny De Schreye;Vincent Nys;Colin Nicholson
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
73.Partial Evaluation for Java Malware Detection

机译：Java Malware检测的部分评估
- 作者：Ranjeet Singh;Andy King
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
74.Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems

机译：扩展2D依赖性对框架，以进行条件术语重写系统
- 作者：Salvador Lucas;Jose Meseguer;Raul Gutierrez
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Conditional rewriting;
- Dependency pairs;
- Operational termination;
- Program analysis;
75.On Completeness of Logic Programs

机译：关于逻辑计划的完整性
- 作者：Wlodzimierz Drabent
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Logic programming;
- Program completeness;
- Declarative programming;
- Approximate specification;
76.Checking Java Assertions Using Automated Test-Case Generation

机译：检查Java断言使用自动测试案例
- 作者：Rafael Caballero;Manuel Montenegro;Herbert Kuchen;Vincent von Hof
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Assertions;
- Conditions;
- Test-cases;
- Java;
- Test-case generation;
77.Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

机译：为什么CP投资组合求解器（下面）使用？问题和挑战
- 作者：Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
78.Compiling Collapsing Rules in Certain Constructor Systems

机译：在某些构造函数系统中编译折叠规则
- 作者：Sergio Antoy;Andy Jost
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
79.A Generic Intermediate Representation for Verification Condition Generation

机译：验证条件生成的通用中间表示
- 作者：Manuel Montenegro;Ricardo Pena;Jaime Sanchez-Hernandez
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Verification platforms;
- Intermediate representation;
- Verification conditions;
- Program transformation;
80.From Boolean Equalities to Constraints

机译：从布尔等于约束
- 作者：Sergio Antoy;Michael Hanus
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
81.Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis

机译：使用动态推动网络自动化模块化信息流分析
- 作者：Heiko Mantel;Markus Muller-Olm;Matthias Perner;Alexander Wenner
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Information-flow security;
- Concurrency;
- Static analysis;
82.Correctness of Context-Moving Transformations for Term Rewriting Systems

机译：用于术语重写系统的上下文变换的正确性
- 作者：Koichi Sato;Kentaro Kikuchi;Takahito Aoto;Yoshihito Toyama
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Tail-recursion;
- Program transformation;
- Term rewriting system;
- Inductive theorem proving;
83.SHIP - A Logic-Based Language and Tool to Program Smart Environments

机译：船舶 - 基于逻辑的语言和工具来编程智能环境
- 作者：Serge Autexier;Dieter Hutter
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Description logic;
- Programming paradigm;
- Smart environments;
84.Proof Checking and Logic Programming

机译：证明检查和逻辑编程
- 作者：Dale Miller
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
85.A Global Occurrence Counting Analysis for Brane Calculi

机译：Brane Calculi的全球次数计数分析
- 作者：Chiara Bodei;Linda Brodo;Roberta Gori;Diana Hermith;Francesca Levi
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
86.CHR in Action

机译：Chr在行动中
- 作者：Arwa Ismail;Nada Sharaf;Slim Abdennadher
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Constraint Handling Rules;
- Animation;
- Source-to-source transformation;
- XPCE;
87.Combining Top-Down and Bottom-Up Techniques in Program Derivation

机译：在程序推导中结合自上而下和自下而上的技术
- 作者：Dipak L. Chaudhari;Om Damani
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Calculational style;
- Program derivation;
88.A Typed Language for Events

机译：一个类型的事件语言
- 作者：Sandra Alves;Sabine Broda;Maribel Fernandez
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Event;
- Event type;
- Access control;
- Obligation;
- Rewriting;
89.Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras

机译：初始订单分类代数中的公式公式和模式操作
- 作者：Jose Meseguer;Stephen Skeirik
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Pattern operations;
- Initial decidability;
- Order-Sorted logic;
90.Concolic Execution in Functional Programming by Program Instrumentation

机译：通过程序仪器功能规划的Con Con Con Con Con Con Con Con Con Con Con Con Constum执行
- 作者：Adrian Palacios;German Vidal
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
91.A Generalized Model for Algorithmic Debugging

机译：算法调试的广义模型
- 作者：David Insa;Josep Silva
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
92.Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

机译：精度优化对数值迭代方法融合的影响
- 作者：Nasrine Damouche;Matthieu Martel;Alexandre Chapoutot
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Program transformation;
- Floating-point numbers;
- IEEE754 Standard;
- Numerical analysis;
- Convergence acceleration;
93.On Dual Programs in Co-Logic Programming

机译：关于共同逻辑编程的双程
- 作者：Hirohisa Seki
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
94.A Type-Theoretic Approach to Resolution

机译：解决方案的一种理论方法
- 作者：Peng Fu;Ekaterina Komendantskaya
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Logic programming;
- Typed lambda calculus;
- Realizability transformation;
- Reduction systems;
- Structural resolution;
95.Applying Sorting Networks to Synthesize Optimized Sorting Libraries

机译：应用排序网络以合成优化的排序库
- 作者：Michael Codish;Luis Cruz-Filipe;Markus Nebel;Peter Schneider-Kamp
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
96.Memory Policy Analysis for Semantics Specifications in Maude

机译：Maude中语义规范的记忆策略分析
- 作者：Adrian Riesco;Irina Mariuca Asavoae;Mihail Asavoae
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Formal semantics;
- Maude;
- Slicing;
- Analysis;
- Memory policies;
97.Abstract Analysis of Universal Properties for tccp

机译：TCCP的普遍属性分析
- 作者：Marco Comini;Maria del Mar Gallardo;Laura Titolo;Alicia Villanueva
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2015年
- Concurrent constraint paradigm;
- Abstract analysis;
98.A New Functional-Logic Compiler for Curry: SPRITE

机译：用于咖喱的新功能逻辑编译器：Sprite
- 作者：Sergio Antoy;Andy Jost
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2017年
- Functional logic programming;
- Compiler implementation;
- Operational completeness;
99.A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms

机译：通过数量级的徒步旅行：为关闭简单类型的Lambda术语和正常形式提供高效的发电机
- 作者：Paul Tarau
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2017年
100.Automata Theory Approach to Predicate Intuitionistic Logic

机译：自动机理论方法探测直觉逻辑
- 作者：Maciej Zielenkiewicz;Aleksy Schubert
- 会议名称：《International Symposium on Logic-Based Program Synthesis and Transformation》 | 2017年