计算机科学

哥德堡程序逻辑群

Chalmers的规划方法小组(PMG)成立于ca1980年,作为一群对语义简单、干净感兴趣的人以及强大的语言。从这个共同的哲学三大开发的研究线索:编程逻辑和马丁-洛夫类型理论;功能性程序设计语言,它们的使用和实施;过程结石比如CCS。虽然研究已经多样化,但我们仍然有一个共同的目标,即为得出正确有效的程序。

当前工作的中心程序逻辑是关于编程的逻辑框架; i、 形式系统的统一理论逻辑可以方便地表达。尤其是我们的大部分工作是基于马丁-洛夫的类型理论,它提供了框架。



成员
有链接的成员和过去的成员个人页面。
程序逻辑研讨会
演讲人、题目和即将和过去的谈话摘要。
出版物
论文、技术报告、软件等,其中有些是可用的通过WWW和/或ftp。
协作
证据系统
我们在哪里
计算机的位置、地址和电话/传真号码科学系。