Abstract
A semantics by translation to a process calculus is used as the basis for an investigation of transformations to programs expressed in a parallel object-oriented language. Two concrete examples are studied. In one it is shown that transformations introducing concurrency into the design of a priority queue class do not alter the observable behaviour. In the other, a more delicate relationship between two symbol table classes is established.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
P. America, J. de Bakker, J. Kok and J. Rutten, Operational semantics of a parallel object-oriented language, in Conference Record of the 13th Symposium on Principles of Programming Languages, 194–208 (1986).
P. America, J. de Bakker, J. Kok and J. Rutten, Denotational semantics of a parallel object-oriented language, Information and Computation, 83, 152–205 (1989).
P. America, Issues in the design of a parallel object-oriented language, Formal Aspects of Computing, 1, 366–411 (1989).
F. de Boer, Reasoning about dynamically evolving process structures, PhD thesis, Free University of Amsterdam (1991).
C. Jones, Constraining interference in an object-based design method, in Proc. TAPSOFT'93, Springer-Verlag LNCS vol. 668, 136–150 (1993).
C. Jones, A pi-calculus semantics for an object-based design notation, in Proc. CONCUR'93, Springer-Verlag LNCS vol. 715, 158–172 (1993).
R. Milner, Communication and Concurrency, Prentice Hall, 1989.
R. Milner, The polyadic π-calculus: a tutorial, in Logic and Algebra of Specification, F. Bauer et al. (eds.), Springer-Verlag (1993).
R. Milner, J. Parrow and D. Walker, A calculus of mobile processes, I and II, Information and Computation 100, 1–40 and 41–77 (1992).
R. Milner, J. Parrow and D. Walker, Modal logics for mobile processes, in Proc. CONCUR'91, Springer-Verlag LNCS vol. 527, 45–60 (1991).
B. Pierce and D. Sangiorgi, Typing and subtyping for mobile processes, in Proc. IEEE LICS'93, 376–385, Computer Society Press (1993).
D. Sangiorgi, Expressing mobility in process algebras: first-order and higher-order paradigms, PhD thesis, University of Edinburgh (1992).
D. Walker, π-calculus semantics for object-oriented programming languages, in Proc. TACS'91, Springer-Verlag LNCS 526, 532–547 (1991).
D. Walker, Objects in the π-calculus, to appear in Information and Computation (1992).
D. Walker, Process calculus and parallel object-oriented programming lanaguges, in Proc. International Summer Institute on Parallel Computer Architectures, Langauges and Algorithms, Prague, July 1993 (Computer Society Press, to appear).
D. Walker, Algebraic proofs of properties of objects, technical report, University of Warwick (1994).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Walker, D. (1994). Algebraic proofs of properties of objects. In: Sannella, D. (eds) Programming Languages and Systems — ESOP '94. ESOP 1994. Lecture Notes in Computer Science, vol 788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57880-3_33
Download citation
DOI: https://doi.org/10.1007/3-540-57880-3_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57880-2
Online ISBN: 978-3-540-48376-2
eBook Packages: Springer Book Archive