第条

角色分析

作者:

维克多昆卡（Kuncak）,

帕特里克林,

马丁里纳德作者信息和声明

POPL'02：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

页17-32

https://doi.org/10.1145/503272.503276

出版:2002年1月1日出版历史

获取访问权限

摘要

我们推出了一款新的角色系统其中类型（或角色)每个对象的属性取决于其与其他对象的引用关系，随着这些关系的变化，角色也会发生变化。角色捕获重要的对象和数据结构属性，并提供有关程序操作如何与这些属性交互的有用信息。我们的角色系统使程序员能够指定合法的别名关系，这些关系定义了对象可能扮演的角色集、过程参数和对象字段的角色，以及过程在操作对象时执行的角色更改。我们提出了一种过程间、合成和上下文敏感的角色分析算法，用于验证程序是否保持角色约束。

工具书类

[1]

A.Albano、R.Bergamini、G.Ghelli和R.Orsini。介绍数据库编程语言斐波那契。VLDB期刊，4（3），1995年。]]

数字图书馆

[2]

保罗·塞尔吉奥·阿尔梅达。引出序号类型：控制数据类型中的状态共享。1997年第11届欧洲面向对象编程会议论文集。]]

[3]

Thomas Ball、Rupak Majumdar、2bdd Millstein和Sriram K.Rajamani。C程序的自动谓词抽象。在2001年SIGPLAN’01编程语言设计和实现会议记录中。]]

数字图书馆

[4]

Chandrasekar Boyapati和Martin C.Rinard。用于无种族java程序的参数化类型系统。《第16届面向对象编程系统、语言和应用年会论文集》，2001年

数字图书馆

[5]

约翰·博伊兰德。别名掩埋：没有破坏性读取的唯一变量。Sewar Practice 84 Experience，（31（6））：533 5532001年5月。]]

数字图书馆

[6]

克雷格·钱伯斯。谓词类。《7h欧洲会议录》（Uonfernce on Object-Oriented Programming，第268 296页，1998年）

数字图书馆

[7]

David R.Chase、Mark Wegman和F.Kenneth Zadeck。指针和结构分析。1990年SIGPLAN 90年编程语言设计与实现会议记录。]]

数字图书馆

[8]

大卫·G·克拉克、约翰·M·波特和詹姆斯·诺布尔。灵活别名保护的所有权类型。1998年第13届面向对象编程系统、语言和应用年会论文集。]]

数字图书馆

[9]

卡尔·克莱里（Karl Crary）、大卫·沃克（David Walker）和格雷格·莫里塞特（Greg Morrisett）。功能演算中的类型化内存管理。1999年第26届澳大利亚大学程序设计语言原理研讨会论文集。]]

数字图书馆

[10]

Robert DeLine和Manuel Fahndrich。在低级软件中实施高级协议。2001年SIGPLAN’01编程语言设计与实现会议记录。]]

数字图书馆

[11]

S.Drossopoulou、F.Damiani、M.Dezani-Ciancaglini和P.Giannini。Fickle：动态对象重新分类。《第15届欧洲面向对象编程会议论文集》，LNCS 2072，第130-149页。施普林格，2001年。]]

数字图书馆

[12]

Jeffrey S.Ibster和Alex Aiken。检查程序特定的非锯齿。技术报告CSD-01-1160，加州大学伯克利分校，2001年。]]

数字图书馆

[13]

帕斯卡·弗雷德（Pascal Fradet）和丹尼尔·勒·梅塔耶（Daniel Le Metayer）。形状类型。1997年第二届澳大利亚大学程序设计语言原理研讨会论文集。]]

数字图书馆

[14]

乔治·盖利和黛博拉·帕尔梅里尼。具有角色的可扩展对象的日期。1999年，巴黎，面向对象语言的数据绑定研讨会。]]

[15]

Rakesh Ghiya和Laurie Hendren。它是树、DAG还是循环图？第23届AUM编程语言原理年度研讨会论文集，佛罗里达州圣彼得堡海滩，1996年。]]

数字图书馆

[16]

Rakosh Ghiya和Laurio J.Hondron。连接分析：C的一种实用的语内语外hoap分析，载于第八届并行计算语言和编译器研讨会论文集，1995年

数字图书馆

[17]

Rakosh Ghiya和Laurio J.Hondron。使指针分析发挥作用。1998年第25届澳大利亚大学程序设计语言原理研讨会论文集。]]

数字图书馆

[18]

Goorg Gottlob、Michaol Schrofl和Brigitto Roock。用rolos扩展objoct-oriontod系统。资产管理规模；信息系统管理，14（3），1994。]]

[19]

Samuol Z.Guyor和Calvin Lin。用于优化软件库的注释语言。第二届领域特定语言会议，1999年。]]

数字图书馆

[20]

David Harol、Doxtor Kozon和Jorzy Tiuryn。动态逻辑。麻省理工学院普洛斯分校，马萨诸塞州剑桥市，2000年。]]

数字图书馆

[21]

Laurio J.Hondron、Josoph Hummol和Aloxandru Nicolau。动态的点或基数据结构丢失了一个人机工程学数据。1994年SIGPLAN第9届编程语言设计与实现会议论文集。]]

数字图书馆

[22]

约翰·霍格。岛屿：以objoct-orienttod-languagos表示的重叠原型。《第五届面向对象编程系统、语言和应用年会论文集》，1991年

数字图书馆

[23]

约索夫·亨莫尔（Josoph Hummol）。存在指针和基于指针的数据结构时的数据依赖性测试。thosis博士，兴奋剂。加利福尼亚大学Irvino分校Computer Scionco，1998年。]]

数字图书馆

[24]

Josoph Hummol、Laurio J.Hondron和Aloxandru Nicolau。指针或数据结构的抽象剂量：一种改进重要程序分析和优化的方法。编程语言和系统的CM信函，1（3），Soptombor 1993。]]

数字图书馆

[25]

Josoph Hummol、Laurio J.Hondron和Aloxandru Nicolau。一种用于保护动态、点或基数据结构的混淆比例的语言。1994年4月26日至29日在莫西科坎昆举行的第八届国际并行处理研讨会会议记录。]]

数字图书馆

[26]

雅各布·J·琼森（Jacob J.Jonson）、米歇尔·乔根森（Michaol E.Joorgonson）、尼尔斯·克拉伦德（Nils Klarlund）和米歇尔·施瓦茨巴赫（Michaol-I.Schwartzbach）。使用一元socond或ordor逻辑的指针程序的自动语音识别。《SIGPLAN’97编程语言设计与实现会议论文集》，内华达州拉斯沃加斯，1997年。]]

数字图书馆

[27]

Piorro Jouvolot和David K.Gifford。拼写错误和拼写错误的算法构造。1991年第18届美国计算机学会编程语言原理研讨会论文集。]]

数字图书馆

[28]

尼尔斯·克拉伦德（Nils Klarlund）和米歇尔·施瓦茨巴赫（Michaol I.Schwartzbach）。图形输入错误。第20届AG'M编程语言原理年度研讨会论文集，南卡罗来纳州Charloston，1993年。]]

数字图书馆

[29]

尼尔斯·克拉伦德（Nils Klarlund）和米歇尔·施瓦茨巴赫（Michaol I.Schwartzbach）。基于odgo约束的图和docidablo转导。程序中。板条J座谈会；程序设计中的res和代数，LNCS中的编号787，1994年。]]

数字图书馆

[30]

小林直树。准线性输入错误。1999年第26届美国计算机学会编程语言原理研讨会论文集。]]

数字图书馆

[31]

维克托·昆卡。为rolo分析添加算法。Mastor’s thosis，马萨诸塞州毒理研究所，2001年。]]

[32]

Viktor Kuncak、Patrick Lam和Martin Rinard。Rolos aro roally groat Tochnical Roport 822，麻省理工学院计算机科学实验室，http://www，mit，edu/vkuncak/papers/，2001.]]

[33]

Tal Lov-Ami公司。TVLA：用于kleone基本逻辑静态分析的框架。Mastor’s thosis，Tol-Aviv Univorsity，以色列，2000年。]]

[34]

Andors M011or和Michaol I.Schwartzbach。Tho Pointor Assortion Logic Engino，《SIGPLAN’01编程语言设计与实现会议论文集》，2001年，]]

数字图书馆

[35]

Jamos Noblo、监狱Vitok和John Pottor。Floxiblo别名协议。1998年第12届欧洲面向对象编程会议记录。]]

数字图书馆

[36]

特丽格沃·隆斯卡。使用对象。普伦提科大厅，1996年。]]

[37]

诺姆·里诺茨基和穆利·萨利。rocursivo项目的体内shapo分析。第十届编译器构造国际会议论文集，2001年。]]

数字图书馆

[38]

R.Rugina和M.Rinard。多线程程序的指针分析。《SIGPLAN’99编程语言设计与实现会议论文集》，佐治亚州亚特兰大，Ma w 1999。]]

数字图书馆

[39]

拉杜·鲁吉纳和马丁·里纳德。剂量驱动编译。在2001年第1届编译器构造国际会议的会议记录中。]]

数字图书馆

[40]

穆利·萨利（Mooly Sally）、托马斯·罗普斯（Thomas Rops）和罗尼哈德·威尔霍姆（Roinhard Wilholm）。使用dostructive更新解决语言中的shapo分析问题。第23届美国计算机学会编程语言原理年会论文集，佛罗里达州圣波托斯堡博阿赫，1996年。]]

数字图书馆

[41]

穆利·萨利（Mooly Sally）、托马斯·罗普斯（Thomas Rops）和罗尼哈德·威尔霍姆（Roinhard Wilholm）。通过三值逻辑进行的泛沙波分析。1999年第26届AUM编程语言原理研讨会会议记录。]]

数字图书馆

[42]

Micha Sharir和Amir Pnuoli。硬膜外数据流分析问题的两种方法。程序流分析：理论与应用。Prontico-Hall，Inc.，1981年。]]

[43]

F.Smith、D.Walkor和G.Morrisott。别名输入错误。2000年3月，在戈尔曼博林举行的第十届欧洲程序设计研讨会上发表的论文。]]

[44]

Robort E.Strom和Daniol M.Yollin。使用条件livonos分析排除排印阻塞。IEEE 7i关于S@wae En9ineering的评论，1993年5月。]]

数字图书馆

[45]

Robort E.Strom和Shaula Yomini。Typostato：一种用于增强软件可扩展性的编程语言。1、EE J；软件工程运行，1986年1月。]]

数字图书馆

[46]

沃尔夫冈·托马斯。语言、自动机和逻辑。《数字语言手册》第3卷：超越文字。Springor-Vorlag，1997年。]]

数字图书馆

[47]

Michaol VanHilst和David Notkin。使用rolo组分实现协作基础剂量。《第11届面向对象编程系统、语言和应用年会论文集》，1996年

数字图书馆

[48]

菲利普·瓦德勒。Linoar输入错误可以改变世界In 1FIP2（2编程概念和方法工作会议，加利利海，l'rael，1990）。]]

[49]

David Walkor和Grog Morrisott。rocursivo数据结构的别名输入错误。在2000年关于编译中的2pes的研讨会上。]]

数字图书馆

[50]

R.Wilson和M.S.Lam。C程序的高效context-sonsivo指针分析。1995年6月，SIGPLAN’95编程语言设计与实现会议记录。]]

数字图书馆

[51]

徐志雄（Zhichon Xu）、巴顿·米勒（Barton Millor）和托马斯·罗普斯（Thomas Rops）。Safotyl chocking of machino鳕鱼。2000年SIGPLAN’00编程语言设计与实现会议论文集。]]

数字图书馆

[52]

徐志雄（Zhichon Xu）、托马斯·罗普斯（Thomas Rops）和巴顿·米勒（Barton Millor）。机械尾的Typosato堵塞。在2001年第15届Euwpean b'ymposium on Programming会议记录中。]]

[53]

菲利普·尤兰德（Phillip M.Yolland）。Smalltalk的经验分类设施。1992年第六届面向对象编程系统、语言和应用年会论文集。]]

数字图书馆

引用人

罗斯O吉尔Y(2023)函数式语言中的流畅API美国计算机学会程序设计语言会议录10.1145/35860577：OOPSLA1(876-901)在线发布日期：2023年4月6日
https://dl.acm.org/doi/10.1145/3586057
朱H(2021)角色概念电子货运和基于角色的协作10.1002/9781119693123.ch2(35-67)在线发布日期：2021年11月19日
https://doi.org/10.1002/9781119693123.ch2
秦SHe G公司下巴WCraciun F公司他是M明Z(2017)通过用户定义的谓词在组合域中进行自动规范推理计算机程序设计科学2016年10月10日/j.scico.2017.5.007148：C(189-212)在线发布日期：2017年11月15日
https://dl.acm.org/doi/10.1016/j.scico.2017.05.007
显示更多引用人

建议

角色分析

我们推出了一款新的角色系统其中类型（或角色)每个对象的属性取决于其与其他对象的引用关系，随着这些关系的变化，角色也会发生变化。角色捕获重要的对象和数据结构属性，以及。。。
发现基于角色的虚拟知识流以支持组织知识

在知识密集型工作环境中，员工需要与任务相关的知识和文档来支持任务的执行。知识流（KF）代表个人或群体的知识需求和编码知识的参考行为。。。
观点和观念作为隐性知识类型的作用
摘要
目的：本文确定了在分布式个体中整体管理隐性知识的相关困难，并提出将隐性知识分类为类型/种类，以解决隐性知识的有效外化和测量。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

POPL'02：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

2002年1月

351页

国际标准图书编号：1581134509

内政部：10.1145/503272

会议主席：
约翰·朗奇伯里
OGI和Galois连接
,
项目主席：
约翰·米切尔
斯坦福大学

ACM SIGPLAN通知第37卷第1期
2002年1月
342页
国际标准编号：0362-1340
EISSN公司：1558-1160
内政部：10.1145/565816
期刊目录

版权所有©2002 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2002年1月1日

权限

请求对此文章的权限。

检查更新

限定符

第条

会议

POPL02系列

赞助商：

POPL02:2002年第29届ACM SIGPLAN-SIGACT编程语言原理年会

2002年1月16日至18日

俄勒冈州波特兰市

接受率

POPL'02论文接受率128份中的28份，22%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

府绸'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

91
引文总数
查看引文
831
总下载次数

下载次数（过去12个月）13
下载次数（最近6周）1

反映截至2024年8月18日的下载量

其他指标

查看作者指标

引文

引用人

罗斯O吉尔·Y(2023)函数式语言中的流畅API美国计算机学会程序设计语言会议录10.1145/35860577：OOPSLA1(876-901)在线发布日期：2023年4月6日
https://dl.acm.org/doi/10.1145/3586057
朱H(2021)角色概念电子货运和基于角色的协作10.1002/9781119693123.ch2(35-67)在线发布日期：2021年11月19日
https://doi.org/10.1002/9781119693123.ch2
秦SHe G公司下巴WCraciun F公司他是M明Z(2017)通过用户定义的谓词在组合域中进行自动规范推理计算机程序设计科学2016年10月10日/j.scico.2017.5.007148：C(189-212)在线发布日期：2017年11月15日
https://dl.acm.org/doi/10.1016/j.scico.2017.05.007
库列诺维奇MDonko D公司(2014)用于安全漏洞检测的静态代码分析方法综述2014年第37届信息通信技术、电子和微电子国际公约（MIPRO）10.1109/MIPRO.2014.6859783(1381-1386)在线发布日期：2014年5月
https://doi.org/10.109/MIPRO.2014.6859783
秦S何G罗C下巴W杨H(2014)自动细化堆操作程序的部分规范计算机程序设计科学2016年10月10日/j.scico.2013.03.00482(56-76)在线发布日期：2014年3月1日
https://dl.acm.org/doi/10.1016/j.scico.2013.03.004
秦SHe G公司下巴W杨H(2013)用于程序自动验证的组合域上的不变量综合程序设计理论与形式化方法10.5555/2554641.2554660(304-325)在线发布日期：2013年1月1日
https://dl.acm.org/doi/10.5555/2554641.2554660
He G公司秦S下巴WCraciun F公司(2013)通过用户定义的谓词自动发现规范形式化方法与软件工程10.1007/978-3-642-41202-8_26(397-414)网上发布日期：2013年
https://doi.org/10.1007/978-3642-41202-8_26
秦SHe G公司下巴W杨H(2013)用于程序自动验证的组合域上的不变量合成程序设计理论与形式化方法10.1007/978-3-642-39698-4_19(304-325)网上发布日期：2013年
https://doi.org/10.1007/978-3-642-39698-4_19
霍金斯P里纳德M艾肯A萨吉夫M费希尔K(2012)数据表示综合简介ACM通信10.1145/2380656.238067755:12(91-99)在线发布日期：2012年12月1日
https://dl.acm.org/doi/10.1145/2380656.2380677
雅哈夫EShoham S公司芬克S皮斯托亚M(2011)基于自动文摘的静态规范挖掘采矿软件规范10.1201/b10928-7(159-199)在线发布日期：2011年7月28日
https://doi.org/10.10201/b10928-7
显示更多引用人

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件的形式查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子