Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Marcio Cornelio  @ NUS Home/Search
Context Related
| nazare.cin.ufpe.br/twiki/pub/...SCP.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: We present algebraic laws for a language similar to a subset of sequential Java that includes inheritance, recursive classes, dynamic binding, access control, type tests and casts, assignment, but no sharing. These laws are proved sound with respect to a weakest precondition semantics. We also show that they are complete in the sense that they are sufficient to reduce an arbitrary program to a normal form substantially close to an imperative program; the remaining object-oriented constructs... (Update)
Cited by: More
Proving Aspect-Oriented Programming Laws - Leonardo Cole Lcn (2005) (Correct)
Active bibliography (related documents): More All
0.8: A Refinement Algebra for Object-Oriented Programming - Borba, Sampaio, Cornelio (2003) (Correct)
0.6: A Weakest Precondition Semantics for an Object-oriented.. - Cavalcanti, Naumann (1999) (Correct)
0.5: Procedures, Parameters, And Substitution In The.. - Cavalcanti, Sampaio.. (1997) (Correct)
Similar documents based on text: More All
0.3: Refactoring Alloy Specifications - Gheyi, Borba (2004) (Correct)
0.3: Implementing Distribution and Persistence Aspects with AspectJ - Soares, Laureano, Borba (2002) (Correct)
0.2: Concurrency Control with Java and Relational Databases - Soares, Borba (2001) (Correct)
BibTeX entry: (Update)
P. H. M. Borba, A. C. A. Sampaio, A. L. C. Cavalcanti, and M. L. Cornelio. Algebraic reasoning for object-oriented programming. Science of Computer Programming, January 2004. http://citeseer.comp.nus.edu.sg/701162.html More
@article{ borba04algebraic,
author = "P. Borba and A. Sampaio and A. Cavalcanti and M. Cornelio",
title = "Algebraic reasoning for object-oriented programming",
journal = "Science of Computer Programming",
month = jan,
year = "2004",
url = "citeseer.comp.nus.edu.sg/701162.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma - 1994
862 The Java Language Specification - Gosling, Joy et al. - 1996
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
681 The Unified Modeling Language User Guide (context) - Booch, Jacobson et al. - 1999
652 A Discipline of Programming (context) - Dijkstra - 1976
306 Self: The Power of Simplicity (context) - Ungar, Smith - 1987
293 Programming from Specifications (context) - Morgan - 1994
126 Refactoring Object-oriented Frameworks - Opdyke - 1992
126 A Logical Theory of Concurrent Objects and its Realization i.. (context) - Meseguer - 1993
121 Kluwer Academic Publishers (context) - Smith, Specification - 1999
104 Algebra of Programming (context) - Bird, de Moor - 1997
72 Unifying Theories of Programming (context) - Hoare, He - 1998
56 The UML as a Formal Modeling Notation - Evans - 1999
53 Object-Preserving Class Transformations - Bergstein - 1991
35 Class refinement and Interface refinement in Object-oriented.. - Mikhajlova, Sekerinski - 1997
35 Automatic Inheritance Hierarchy Restructuring and Method Ref.. - Moore - 1996
35 Formal Aspects of Computing (context) - Jifeng, Bowen et al. - 1994
29 Theoretical Computer Science (context) - Roscoe, Hoare et al. - 1988
21 Practical Analysis for Refactoring (context) - Roberts - 1999
20 An Algebraic Approach to Compiler Design (context) - Sampaio - 1997
19 IEEE Transactions on Software Engineering (context) - Mahony, Dong et al. - 2000
19 Semantics and Transformations for UML Models (context) - Lano, Bicarregui - 1999
17 An Object-Oriented Refinement Calculus with Modular Reasonin.. - Utting - 1992
16 Recursive Object Types in a Logic of Objectoriented Programm.. - Leino - 1998
15 Procedural Abstraction in the Refinement Calculus (context) - Back - 1987
10 confinement and access control (context) - Banerjee, Naumann - 2001
10 Transformation Rules for UML Class Diagrams (context) - Gogolla, Richters - 1987
10 Prentice-Hall Series in Computer Science (context) - Roscoe, Practice - 1998
8 Algebra of Logic Programming - Seres, Spivey et al. - 1999
3 Forward simulation for data refinement of classes (context) - Cavalcanti, Naumann - 2002
3 A Refinement Algebra for Object-oriented Programming - Borba, Sampaio et al. - 2003
3 A Weakest Precondition Semantics for Refinement of Object-or.. - Cavalcanti, Naumann - 2000
2 A Language for Specifying Java Transformations - Castor, Borba - 2001
2 Procedures and Recursion in the Refinement Calculus (context) - Cavalcanti, Sampaio et al. - 1998
2 Technical Monograph TM-PRG (context) - Morgan, Robinson et al. - 1988
1 Reasoning with UML Diagrams (context) - Evans - 1998
1 Static Composition of Refactorings (context) - Kniesel, Koch - 2004
1 Object-Oriented Refactorings and Patterns as Formal Refineme.. (context) - Cornelio - 2004
1 cient Algorithm for Inferring Inheritance Hierarchies (context) - Moore, Clement et al. - 1996
1 Refactoring by Transformation (context) - Cornelio, Cavalcanti et al. - 2002
1 A Strategy for Compiling Classes (context) - Duran, Cavalcanti et al. - 2003
1 Automation of a Normal Form Reduction Strategy for Object-or.. (context) - Lira, Cavalcanti et al. - 2002
1 Specification and Transformation of Programs: a formal appro.. (context) - Partcsh - 1990
Documents on the same site (http://nazare.cin.ufpe.br/twiki/bin/view/SPG/GenteAreaPublications): More
A Refinement Algebra for Object-Oriented Programming - Borba, Sampaio, Cornelio (2003) (Correct)
Using Aspects to Structure Small Devices Adaptive Applications - Dantas, Borba, Alves (Correct)
JaTS: A Java Transformation System - Kellen (2001) (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.