×

Isabelle/j编辑

swMATH ID: 6432
软件作者: 马卡里乌斯·温泽尔
描述: Isabelle/jEdit–PIDE框架中的证明者IDEPIDE是面向文档的证明程序交互和集成的通用框架,基于结合ML和Scala的双语体系结构[2]。总体目标是将诸如Isabelle[5,{S}6](或Coq[5,}S}4]或HOL[5,[S}1])之类的LCF风格的证明程序与JVM平台上的复杂前端技术连接起来,最终克服了命令行交互。
主页: 网址:http://www4.in.tum.de/~wenzelm/papers/isabelle-jedit-2011-1.pdf
相关软件: 伊莎贝尔;伊莎贝尔/HOL;Coq公司;一般证明;PIDE公司;存档正式证据;大锤;伊莎贝尔/伊萨尔;HOL公司;米扎尔;伊莎贝尔/PIDE;伊萨尔;HOL灯;斯卡拉;z3(零3);github;seL4级;Nitpick公司;区域设置;PVS公司
引用于: 34出版物
全部的 前5名

74位作者引用

11 马卡里乌斯·温泽尔
4 贾斯敏·克里斯蒂安·布兰切特
4 迈克尔·科尔哈斯
4 弗洛里安·拉贝
安德斯·施利奇特克鲁尔
2 蒂莫西·布鲁克
2 彼得·霍夫纳
2 拉尔斯·胡佩尔
2 君士坦丁·朱科维奇
2 克里斯托夫·吕斯
2 戒指,马丁
2 德米特里·特拉泰尔
2 范格拉贝克、罗伯特·扬
2 乌韦·沃尔德曼
1 戴夫·艾特肯
1 杰里米·阿维加德
1 布鲁诺·巴拉斯
1 马修·布雷(Matthew G.Bray)。
1 卢卡斯·布尔瓦恩
1 马可·布赖特·卡米纳蒂
1 雅克·卡雷特
1 安德烈亚·康多卢奇
1 西蒙·克鲁恩斯
1 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德
1 杰雷米·杜布特
1 Farmer,William M。
1 乔·菲利佩·费雷拉
1 西蒙·福斯特
1 马里奥·格雷舍尔
1 雨果·赫贝林
1 富利亚·霍罗扎尔
1 阿林·艾科布
1 丹尼斯·伊格纳托维奇
1 亚历山大·伯奇·延森
1 以利亚·卡根
1 克斯特亚·卡尼舍夫
1 蒂姆·凯利
1 曼弗雷德·科伯
1 格温·克莱恩
1 维克多·昆卡
1 克里斯托夫·兰格
1 约翰·布伦特·拉森
1 马丁·利什卡
1 达维德·卢普塔克
1 埃文·麦克林
1 亚历山大·门德斯
1 尼古拉·莫梅托
1 蒂尔·莫萨科夫斯基
1 穆勒,丹尼斯
1 中关村,Kazuhisa
1 雅库布·内穆奇
1 托比亚斯·尼普科
1 诺沃顿,维特
1 Pąk,卡罗尔
1 帕斯莫尔,格兰特·奥尼
1 劳伦斯·查尔斯·保尔森
1 亚当·皮斯
1 安德烈·波佩斯库
1 雷吉斯·贾纳斯,亚恩
1 肯尼思·罗伊
1 科林·罗亚特
1 米查尔·鲁齐卡
1 克劳迪奥·萨塞尔多蒂·科恩
1 Yasunai Shidama
1 鲍里斯·施明克(Boris A.Shminke)。
1 格雷戈·斯内尔廷
1 彼得·索伊卡
1 什蒂法尼克,米查尔
1 恩里科·塔西
1 约根·维拉德森
1 魏冉
1 沃尔夫冈·温斯特伊格
1 沃尔夫,伯克哈特
1 Akihisa山田

按年份列出的引文