Argus (编程语言)

✍ dations ◷ 2025-09-13 15:09:03 #Argus (编程语言)

Argus是芭芭拉·利斯科夫在MIT于1982年到1988年之间创立的编程语言,协作者包括Maurice Herlihy(英语:Maurice Herlihy)、Paul Johnson、Bob Scheifler和William Weihl。它是CLU语言的扩展,利用了大多数的相同语法(英语:Syntax (programming languages))和语义。Argus被设计用来支持分布式程序,通过封装有关过程在叫做“守护者”的对象之中,和通过支持叫做“行动”的原子性操作。

相关

  • 专利蟑螂专利流氓又称专利蟑螂(英语:Patent Troll),用于形容一些积极发动专利侵权诉讼以获取赔偿,却从没生产其专利产品的个人或公司。至2008年为止美国是全世界专利纠纷最多的国家之一,其
  • 卤化银卤化银:卤素(氟、氯、溴、碘等)与银元素形成的盐(氟化银、氯化银、溴化银、碘化银等)因为具有相似化学性质而被统称为卤化银。由于其高感光性,氯化银和溴化银大量用于摄影技术中。
  • 淋巴丝虫病象皮病(又称淋巴丝虫病,拉丁语:elephantiasis, lymphatic filariasis),是由丝虫总科(英语:Filarioidea)的寄生虫引起的疾病。许多罹患此病的病患并无症状,然而有些个案却出现手臂、脚
  • 二力平衡公理二力平衡公理是指当系统只受两个力作用时,讨论该物体会发生的变化作用于刚体上的两力,使刚体保持平衡的充要条件是:该两力的大小相等,方向相反且作用于同一直线上。若两力互相平
  • 中国鳄蜥中国鳄蜥(学名:,意为“鳄尾辛氏蜥”)为鳄蜥科鳄蜥属的爬行动物,又称鳄蜥,瑶山鳄蜥,俗名大睡蛇、木睡鱼、落水狗。为中国的特有物种,中国国家一级保护动物。由于中国鳄蜥在广西金秀的
  • 加藤和彦加藤 和彦(1947年3月21日-2009年10月17日),出身于京都市伏见区,是一位日本著名的音乐制作人、作曲家及歌手。于1960年代中期与北山修(日语:北山修)、平沼义男、井村干生、芦田雅喜等
  • 曹雪芹 (2003年电视剧)《曹雪芹》是中国电视剧制作中心以清代人物曹雪芹为原型拍摄的一部古装剧,亦为纪念曹雪芹诞辰240周年。1999年末,女导演王静开始策划一部关于描写曹雪芹一生的电视连续剧,得到
  • 杜里达诺夫峰坐标:77°56′24″S 85°46′33″W / 77.94000°S 85.77583°W / -77.94000; -85.77583杜里达诺夫峰(英语:Duridanov Peak)是南极洲的山峰,位于埃尔斯沃思地,属于埃尔斯沃思山脉的
  • 汉莎城际航空汉莎城际航空(德语:Lufthansa CityLine)是一家总部位于德国科隆的支线航空公司,它由汉莎航空全资持有,是汉莎区域航空网络的成员,并且是欧洲规模最大的支线航空公司。 其枢纽机场
  • 张文彬 (1934年)张文彬(1934年8月-),男,汉族,重庆人,中国政治人物,重庆市政协原主席。大专毕业,高级经济师。1954年11月加入中国共产党。