首页 | 本学科首页   官方微博 | 高级检索  
     


An interpretation of typed OOP in a language with state
Authors:Jonathan Eifrig  Scott Smith  Valery Trifonov and Amy Zwarico
Affiliation:(1) Department of Computer Science, The Johns Hopkins University, USA
Abstract:In this paper we give semantics toLoop, an expressive typed object-oriented programming language with updatable instance variables.Loop has a rich type system that allows for the typing of methods operating over an open-ended ldquoselfrdquo type. We prove the type system given is sound;i.e., well-typed programs do not experience ldquomessage not understoodrdquo errors. The semantics ofLoop is given by a translation into a state-based language,Soop, that contains reference cells, records, and a form of F-bounded polymorphic type.Partially supported by NSF grant CCR-9109070Partially supported by AFOSR grant F49620-93-1-0169
Keywords:Object-oriented programming  type systems  state in programming
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号