第11届ICLP 1994，W2研讨会：（并发）逻辑语言的验证和分析

• 
  弗兰克·S·德·波尔,毛里齐奥·加布里埃利:
  ICLP 1994年W2研讨会：（并发）逻辑语言的验证和分析，意大利圣玛格丽塔利古雷，1994年6月。 1994

本研讨会旨在讨论逻辑程序及其并发（约束）扩展。更多具体来说，我们对基于抽象的证明方法感兴趣不同方法的解释和适用性编程范例，如进程代数、Hoare逻辑等研讨会还讨论了开发（并发的）逻辑程序。

逻辑程序验证

• 
  利维奥·科卢西,埃琳娜·马尔奇奥里,马西莫·马尔奇奥里:
  结合逻辑和控制来表征Prolog程序的全局不变量。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  埃里克·维蒂拉德:
  带声明的约束逻辑程序：理论与实现。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  保罗·马斯切拉尼,迪诺·佩德莱斯基:
  逻辑和纯Prolog程序的完全正确性。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  萨尔瓦托·鲁杰里:
  证明Prolog程序的（完全）正确性。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994

并发约束程序的验证

• 
  帕斯卡·钱布雷,皮埃尔·德兰萨特:
  并发约束逻辑程序非暂停的一种证明方法。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  约格·沃茨:
  有限域推理领域中并发约束程序的验证。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994:87-107
• 
  弗兰克·S·德·波尔,毛里齐奥·加布里埃利,埃琳娜·马尔奇奥里,帕拉米德斯猫:
  证明并发约束程序的正确性。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994

抽象解释I

• 
  埃娜·扎法内拉,乔治·列维,罗伯托·贾科巴齐:
  并发约束编程中的抽象同步。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  莫雷诺·法拉斯基,毛里齐奥·加布里埃利,金·马里奥特,帕拉米德斯猫:
  并发约束程序分析的表示语义。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  罗伯托·贾科巴齐:
  关于逻辑程序语义的收集。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  德米特里·布朗格,莫里斯·布吕诺格:
  抽象领域：一种模型理论方法。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994

摘要解释II

• 
  迈克尔·科迪什,巴特·德梅恩:
  使用属性的多重化身导出逻辑程序的多态类型依赖。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  莫里斯·布吕诺格,迈克尔·科迪什,安妮·穆克斯:
  导出程序变量共享和自由属性的复合域的抽象统一。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  罗伯托·巴格纳拉:
  CLP程序中隐含和冗余数字约束的检测。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  Jean-Marie Jacquet女士:
  从度量语义验证逻辑程序。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994
• 
  米歇尔·贝盖尔,杰拉德·费兰德,Jean-Hugues Réty女士:
  具有延迟的SLD推导的计算规则的独立性。 ICLP研讨会：（并发）逻辑语言的验证和分析 1994