A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Semantics of Objects As Processes (SOAP)
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
Object Models in the πL-Calculus (Jean-Guy Schneider) The development of concurrent object-based programming languages has suffered from the lack of any generally accepted formal foundation for defining ...
As an approach to overcome the problems of existing models, we present a (meta-level) framework for object models in the πL-calculus. ...
doi:10.1007/3-540-46589-8_18
fatcat:njv6znlwo5f65fiw6ellpuovfm
Requirements for a composition language
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Object-oriented techniques help by allowing applications to be viewed as compositions of collaborating objects, but are limited in supporting other kinds of abstractions that may have finer or coarser ...
In this position paper we will elaborate our requirements and outline a strategy for the design and implementation of a composition language for the development of open systems. ...
Acknowledgements We gratefully acknowledge the financial support of the Swiss National Science Foundation under project no. 21-40610.94. ...
doi:10.1007/3-540-59450-7_9
fatcat:56l5z2nbdfchjowosd3bq6kj7e
A pattern-based object calculus
1994
The VLDB journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
The object calculus is based on first-order logic. It provides the formalism for interpreting precisely and unifor/nly the semantics of queries and integrity constraints in object-oriented databases. ...
The power of the object calculus is shown in four aspects. First, associations among objects are expressed explicitly in an object-oriented database. ...
Non-~sociation link The object calculus provides a formalism to formally express queries that are to be processed against an object-oriented database. ...
doi:10.1007/bf01231358
fatcat:nt2i3gevj5dxpk5imb4cyh45hu
A Mechanized Model of the Theory of Objects
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In particular, we present (a) a formal model of objects and its operational semantics based on de Bruijn indices (b) a parallel reduction relation for objects (c) the proof of confluence for the theory ...
In this paper we present a formalization of Abadi's and Cardelli's theory of objects in the interactive theorem prover Isabelle/ HOL. ...
We would like to thank Larry Paulson for providing us the formalization of the ς-calculus in Isabelle/ZF written by Ehmety. ...
doi:10.1007/978-3-540-72952-5_12
fatcat:zhdvufkxv5hrjnf4yfmv6btlnu
OPUS: a formal approach to object-orientation
[chapter]
1994
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
OPUS is an elementary calculus that models object-orientation. ...
Thanks to the way objects are constructed in this calculus, we can deal with selfreference, recursion and even mutual recursion in a straightforward way. ...
Because the calculus provides a formal foundation in which object-oriented features can be expressed, we will call it OPUS, which is an acronym for Object-oriented Programming calculUS. ...
doi:10.1007/3-540-58555-9_103
fatcat:zk766ken25fs3cg4jxgvg3k6hi
Formalizing Composable Software Systems — A Research Agenda
[chapter]
1997
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose, instead, to develop a rigorous foundation for composable software systems by a series of experiments in modelling concurrent and object-based software abstractions as composable, communicating ...
Eventually we hope to identify and realize the most useful compositional idioms as a composition language for open systems specification. ...
Compositional Idioms Modelling object-oriented features in the π calculus is tedious work, akin to programming in a "concurrent assembler." ...
doi:10.1007/978-0-387-35082-0_20
fatcat:bugqw47sk5g3nihurxlh7cvuve
Preface
2005
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This special issue opens with two articles describing different algebraic approaches to formal models of the behavior of object oriented systems. J. Bergstra and I. ...
Preface The second International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 4 to 7, 2003. ...
In this paper, he considers an application of the calculus to signal flow graphs. ...
doi:10.1016/j.tcs.2005.06.011
fatcat:x7jiv4474ngq7hvw4tljcxgvji
Workshop on Foundations of Object-Oriented Languages
2002
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The authors study this notion of object migration in a formal calculus, Øjeblik, which is intended to model the concurrent core of the language Obliq. ...
The first paper in this issue, "Aliasing Models for Mobile Objects," by Uwe Nestmann, Hans Hüttel, Josva Kleist, and Massimo Merro, discusses a formal model of object migration. ...
changes allow objects to take on new (perhaps incompatible) roles. To model this phenomenon Ghelli introduces a role calculus that is an extension of Abadi and Cardelli's object calculus. ...
doi:10.1006/inco.2001.2944
fatcat:abzwd3tcgngydcux2yrdh3zq6y
Qualitative Spatial Scene Modeling for Ambient Intelligence Environments
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a qualitative model for representing the relevant aspects of these environments in an adequate manner. ...
The model is suited for reasoning about spatial configurations and dynamics in spatial environments. We clarify and elaborate on our ideas with examples grounded in a smart home environment. ...
Orientation and the OPRA m Calculus For representing relative orientation information we apply the OPRA m calculus [5] . ...
doi:10.1007/978-3-540-88513-9_77
fatcat:gid3cwkirzbnxp32dpx43nbsea
Calculi for Concurrent Objects
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Concurrent object-oriented languages, such as POOL [1], ABCL [12], Obliq [3] or Java [7], usually structure the program into objects, model the parallelism with threads and the mutual exclusion with locks ...
.), Formal Methods for Open Object-Based Distributed Systems ...
Some progress in this direction is done in [5] , where a class based calculus has been developed out of a well known process calculus -the join-calculus -and a formal analysis of inheritance and possible ...
doi:10.1007/978-0-387-35562-7_27
fatcat:voouacz54nevzmou5gsj576soq
Un estudio de los cálculos computacionales usados en aplicaciones musicales
1969
Ingeniería y Competitividad
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
En las últimas décadas muchos modelos formales han sido propuestos para formalizar aplicaciones musicales,para resolver problemas musicales y de improvisación, y para probar propiedades en la música. ...
En este artículodescribiremos brevemente algunos de estos modelos formales (los cálculos computacionales); proveeremos unadescripción de algunas aplicaciones de dichos formalismos; finalmente discutiremos ...
The λ&-calculus is a formal model for the Common Lisp Object System, CLOS, (Steele, 1990) . The following are programming languages based on or formalized with the λ-calculus or its variants. ...
doi:10.25100/iyc.v15i2.2598
fatcat:zpsa3sdd3nbyfcwtflexpewunu
Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and Pi-Calculus
[chapter]
2010
Petri Nets Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Software Architecture Formal Model A visual software architecture formal model (SAFM) based on Object-oriented Petri nets and π-calculus, is proposed. ...
Object-oriented Petri Nets, π-calculus and Their Integration
A New Object-oriented Petri Nets (OPN) The ordinary Petri nets models are very complicated, which highly depend on the system and lack the ...
Conclusion Based on two complementary formalisms, namely Object-oriented Petri nets and π-calculus, software architecture formal model (SAFM) is proposed, which describes the components, connectors and ...
doi:10.5772/7522
fatcat:poyrwpcpavamzdmheqcicjduzm
An Algebra of Actors
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
There have been several attempts to adopt the lI'-calculus and its asynchronous version, for modelling interaction in the context of concurrent object oriented programming languages [18, 29, 23] , but ...
The idea is to define a formalism that enjoys a clean formal definition allowing the reuse of the rich algebraic theory typical of the process algebras in a context where an high level object oriented ...
Acknowledgments This research was partially supported by the Italian Ministry of Universities (MURST). We are also grateful to the anonymous referee for their helpful suggestions. ...
doi:10.1007/978-0-387-35562-7_2
fatcat:znrdz5qlfvg3bd6ej6cjvsj2w4
Page 7891 of Mathematical Reviews Vol. , Issue 99k
[page]
1999
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
of the z-calculus as a metalanguage for the semantics of typed object-oriented languages. ...
This is the first interpretation of a typed object-oriented language into a process calculus. ...
Formalizing φ-calculus: a purely object-oriented calculus of decorated objects
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Many calculi exist for modelling various features of object-oriented languages. ...
We formalize untyped calculus of decorated objects, informally presented by Bugayenko, which is defined in terms of objects and relies on decoration as a primary mechanism of object extension. ...
ACKNOWLEDGMENTS This research has been generously funded by Huawei in the framework of Polystat project. ...
arXiv:2204.07454v1
fatcat:5nij2n44hrdnnkkyz5d3ymswku
« Previous
Showing results 1 — 15 out of 40,355 results