Paulo Borba, Augusto Sampaio, Marcio Cornelio  @ NUS Home/Search
Context Related
| nazare.cin.ufpe.br...aOOProgramming.pdf Cached: PS.gz PS PDF Image Update Help From: nazare.cin.ufpe...reaPublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this article we introduce a comprehensive set of algebraic laws for rool, a language similar to sequential Java but with a copy semantics. We present a few laws of commands, but focus on the objectoriented features of the language. We show that this set of laws is complete in the sense that it is su#cient to reduce an arbitrary rool program to a normal form expressed in a restricted subset of the rool operators. (Update)
Cited by: More
A Predicative Semantics of Objects and References - Chen (Correct)
Refactoring Alloy Specifications - Gheyi, Borba (2004) (Correct)
Algebraic Reasoning for Object-Oriented Programming - Borba, Sampaio, Cavalcanti, .. (2004) (Correct)
Active bibliography (related documents): More All
0.3: Formalising Eiffel References and Expanded Types in PVS - Paige, Ostroff, Brooke (Correct)
0.2: Basic Laws of ROOL: an Object-Oriented Language - Borba, Sampaio (2000) (Correct)
0.2: Towards a Refinement Calculus for Object Systems - He (2002) (Correct)
Similar documents based on text: More All
0.3: Implementing Distribution and Persistence Aspects with AspectJ - Soares, Laureano, Borba (2002) (Correct)
0.3: Concurrency Control with Java and Relational Databases - Soares, Borba (2001) (Correct)
0.3: Model-Checking CSP-Z: Strategy, Tool Support and Industrial.. - Mota, Sampaio (Correct)
Related documents from co-citation: More All
2: Semantics and Transformations for UML Models (context) - Lano, Bicarregui - 1998
2: The Java Language Specification - Gosling, Joy et al. - 1997
2: Unifying Theories of Programming (context) - Hoare, He - 1998
BibTeX entry: (Update)
P. H. M. Borba, A. C. A. Sampaio, and M. L. Cornelio. A Refinement Algebra for Object-oriented Programming. In Luca Cardelli, editor, European Conference on Object-oriented Programming 2003 --- ECOOP 2003, volume 2743 of Lecture Notes in Computer Science, pages 457 -- 482. Springer-Verlag, 2003. http://citeseer.comp.nus.edu.sg/694555.html More
@misc{ borba03refinement,
author = "P. Borba and A. Sampaio and M. Cornelio",
title = "A Refinement Algebra for Object-oriented Programming",
text = "P. H. M. Borba, A. C. A. Sampaio, and M. L. Cornelio. A Refinement Algebra
for Object-oriented Programming. In Luca Cardelli, editor, European Conference
on Object-oriented Programming 2003 --- ECOOP 2003, volume 2743 of Lecture
Notes in Computer Science, pages 457 -- 482. Springer-Verlag, 2003.",
year = "2003",
url = "citeseer.comp.nus.edu.sg/694555.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
737 The Java Programming Language (context) - Arnold, Gosling - 1996
293 Programming from Specifications (context) - Morgan - 1994
245 Refactoring---Improving the design of existing code (context) - Fowler - 1999
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
126 Refactoring Object-Oriented Frameworks - Opdyke - 1992
114 Concurrent Programming in Java (context) - Lea - 1997
108 Communications of the ACM (context) - Hoare - 1987
104 Algebra of Programming (context) - Bird, de Moor - 1997
79 The Unified Modelling Language User Guide (context) - Booch, Jacobson et al. - 1999
72 Unifying Theories of Programming (context) - Hoare, Jifeng - 1998
56 The UML as a formal modeling notation - Evans, France et al. - 1999
35 Class refinement and interface refinement in objectoriented .. - Mikhajlova, Sekerinsk - 1997
30 Reasoning with UML class diagrams - Evans - 1998
29 Theoretical Computer Science (context) - Roscoe, Hoare - 1988
21 Practical Analysis for Refactoring (context) - Roberts - 1999
20 An Algebraic Approach to Compiler Design (context) - Sampaio - 1997
19 Semantics and transformations for UML models (context) - Lano, Bicarregui - 1999
16 Recursive Object Types in a Logic of Object-oriented Program.. - Leino - 1998
11 A weakest precondition semantics for an objectoriented langu.. - Cavalcanti, Naumann - 1999
10 Transformation rules for UML class diagrams (context) - Gogolla, Richters - 1999
8 Algebra of logic programming - Seres, Spivey et al. - 1999
3 A weakest precondition semantics for refinement of object-or.. - Cavalcanti, Naumann - 2000
1 Automacao de Regras para Programacao Orientada a Objetos (context) - Lira - 2002
1 Applying Object-oriented Refactoring and Patterns as Formal .. (context) - Cornelio - 2003
Documents on the same site (http://nazare.cin.ufpe.br/twiki/bin/view/SPG/GenteAreaPublications): More
Using Aspects to Structure Small Devices Adaptive Applications - Dantas, Borba, Alves (Correct)
JaTS: A Java Transformation System - Kellen (2001) (Correct)
PIP: Progressive Implementation Pattern - Soares, Borba (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.