作者: Paulo Borba , Augusto Sampaio , Márcio Cornélio
DOI: 10.1007/978-3-540-45070-2_20
关键词:
摘要: In this article we introduce a comprehensive set of algebraic laws for ROOL, language similar to sequential Java but with copy semantics. We present few commands, focus on the object-oriented features language. show that is complete in sense it sufficient reduce an arbitrary ROOL program normal form expressed restricted subset operators. also propose law data refinement generalises technique from traditional modules class hierarchies. Together, these are expressive enough derive more elaborate rules can be useful, example, formalize design practices; illustrated through systematic derivation refactoring proposed laws.