×

雅加达

swMATH ID: 1269
软件作者： 丹妮拉·朱尼奥·德安德拉德（Daniela Junho de Andrade）、圣母玛利亚·德索萨（Simáo Melo de Sousa）
描述： JaKarTa是一个用于指定和推理JavaCard平台的工具集。该工具集的主要组成部分是：JaKarTa规范语言（JSL），它是生成高度可读的可执行规范的前端；JaKarTa转换工具包（JTK），一个通过抽象和细化操作和转换JSL规范的程序；JaKarTa验证程序接口（JPI），一个将JSL规范转换为验证助手的编译器；JaKarTa自动化工具包（JAK），这是一个支持在证明助手中推理可执行规范的工具集。这项工作的目标是通过从JavaCard虚拟机的规范中抽象出经过认证的字节码验证程序。该工具将Coq中开发的JavaCard虚拟机规范（在CertiCartes项目的上下文中）作为输入。这是一个防御性虚拟机，通过抽象，可以将其转换为字节码验证器和攻击性虚拟机。
主页： 网址：http://www.di.ubi.pt/~德苏萨/雅加达/
编程语言： Java语言
操作系统： 多平台
相关软件： Coq公司;OCaml公司;莱索斯;半人马座;SEAWAT公司;少数民族;JUnit公司;乳胶;Freshml公司;一般证明;哈斯克尔;修补程序类型;伊莎贝尔/HOL;奥特;Nuprl公司;斯派克;乐高;莫德;A3PAT飞机;合同专用条款
引用于： 17文件

标准条款

1出版物描述软件，包括1出版物在zbMATH中 年份
雅加达：一个关于JavaCard的推理工具集。 Zbl 1002.68649号
G·巴特。;杜菲，G。;侯斯曼，M。;德索萨，S.Melo
2001
全部的 前5名

37位作者引用

5 吉尔·巴特
三 纪尧姆·杜菲
三 西芒，索萨甜瓜
2 大卫·卡切拉
2 咖啡，杰夫
2 皮埃尔·考蒂厄
2 大卫·皮哈迪
2 铃木、佐藤
1 塞伊德·贝尔卡西姆
1 克拉拉·贝托利西
1 弗雷德里克·贝松
1 奥利维尔·博伊特
1 纪尧姆·考蒙
1 亚历山大·郑（Alexander H.-D.Cheng）。
1 玛丽贝尔·费尔南德斯
1 安德鲁·P·哈里森。
1 玛丽克·赫斯曼
1 Jakubiec，线路
1 阿卜杜勒卡德·拉拉比
1 Mohd，Noor Md Sap
1 艾哈迈德·穆罕默德·纳吉
1 德利斯·瓦扎
1 斯科特·欧文斯
1 吉尔斯·佩斯金
1 哈立德·加曼
1 复习，A.系统
1 里奇，托马斯
1 弗拉德·鲁苏
1 Defit Sarjon先生
1 萨卡，苏斯米特
1 彼得·休厄尔
1 斯特拉图拉特，索林
1 斯特尼萨，洛克
1 拉杰·桑德拉曼
1 伊恩·泰勒。
1 弗朗西斯科·扎帕·纳德利
1 张燕青
全部的 前5名

8篇连载文章中引用

1 理论计算机科学
1 信息与计算
1 自动推理杂志
1 函数编程杂志
1 高阶和符号计算
1 计算地球科学
1 随机环境研究与风险评估
1 数学地球科学
全部的 前5名

在6个字段中引用

14 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
2 地球物理学（86-XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 运筹学、数学规划（90-XX）
1 生物学和其他自然科学（92-XX）

按年份列出的引文