首页    期刊浏览 2024年11月30日 星期六
登录注册

文章基本信息

  • 标题:Concurrent Typestate-Oriented Programming in Java
  • 本地全文:下载
  • 作者:Rosita Gerbo ; Luca Padovani
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2019
  • 卷号:291
  • 页码:24-34
  • DOI:10.4204/EPTCS.291.3
  • 语种:English
  • 出版社:Open Publishing Association
  • 摘要:We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement objects exposing a state-sensitive interface using a high-level synchronization abstraction that synchronizes methods with the states of the receiver object in which those methods have an effect. An external tool takes care of generating all the boilerplate code that implements the synchronization logic. Behavioral types are used to specify object protocols. The tool integrates protocol conformance verification with the synchronization logic so that protocol violations are promptly detected at runtime.
国家哲学社会科学文献中心版权所有