user

An interoperable calculus for external object access

被引：0
|
作者：
School of Information Science, JAIST, Ishikawa 923-1292, Japan [1 ]
不详 [2 ]
机构：
来源：
Proc ACM SIGPLAN Int Conf Funct Program ICFP | / 60-71期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Algorithms - Computational methods - Interoperability - Java programming language - Object oriented programming - Semantics
引用
收藏
相关论文
共 50 条
  • [31] rCOS: A refinement calculus of object systems
    He Jifeng
    Li, Xiaoshan
    Liu, Zhiming
    THEORETICAL COMPUTER SCIENCE, 2006, 365 (1-2) : 109 - 142
  • [32] An object oriented framework for distributed, interoperable process engineering environments
    Belkhatir, N
    TOOLS 23 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 1998, : 318 - 328
  • [33] Design and implementation of an Interoperable Object Platform for Multi-Databases
    Ning Gu
    Xuebiao Xu
    Baile Shi
    Journal of Computer Science and Technology, 2000, 15 : 249 - 260
  • [34] Design and Implementation of an Interoperable Object Platform for Multi-Databases
    顾宁
    许学标
    施伯乐
    Journal of Computer Science & Technology, 2000, (03) : 249 - 260
  • [35] OOlong: An Extensible Concurrent Object Calculus
    Castegren, Elias
    Wrigstad, Tobias
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1022 - 1029
  • [36] Relating π-calculus to Object-Z
    Taguchi, K
    Dong, JS
    Ciobanu, G
    NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 97 - 106
  • [37] ιDOT: A DOT Calculus with Object Initialization
    Kabir, Ifaz
    Li, Yufeng
    Lhotak, Ondrej
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
  • [38] Encoding an Object Calculus into Interaction Nets
    Fleutot, Fabien
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (05) : 83 - 111
  • [39] Producing interoperable queries for relational and object-oriented databases
    Chang, YH
    Raschid, L
    JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2000, 14 (01) : 51 - 75
  • [40] Interoperable conditional access with video selective encryption for portable devices
    Mamoona Naveed Asghar
    Martin Fleury
    Sohail Makki
    Multimedia Tools and Applications, 2017, 76 : 13139 - 13152
12345