[Scala资源总汇]Implementing a Universe Type Checker in Scala

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Implementing A Universe Type System for Scala

Manfred Stock

Master Thesis Project Report

Software Component Technology Group

Department of Computer Science

ETH Zurich

http://sct.inf.ethz.ch/

August 2007 – January 2008

Abstract
The Universe type system is based on the concept of ownership where everyobject has at most one owner object. It structures the object store usingdifferent contexts, which are sets of objects with the same owner, andrestricts how references can be passed and used. When enforcing theowner-as-modifier property, the Universe type system guarantees that anymodification of an object can only be initiated by its owner object.
Scala is a multi-paradigm programming language combining features ofobject-oriented and functional languages. It supports compiler plugins andannotations on types which allows the implementation of additional typeconstraints such as those imposed by the Universe type system.
This thesis presents an implementation of the Universe type system forScala. The implementation supports a subset of the Scala language. Itprovides two compiler plugins for the Scala compiler and a set ofannotations for the use in programs. One plugin performs the staticUniverse type checks and the other plugin inserts additional runtimechecks during compilation.

本帖隐藏的内容

Implementing a Universe Type Checker in Scala.pdf (1.01 MB, 需要: 5 个论坛币)

2015-4-26 20:34:50 上传

2008 master thesis
需要: 5 个论坛币  [购买]

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏1 回帖

关键词：Implementing implement Universe SCALA check references contexts objects system store