Search

Your search keyword '"Ábrahám, Erika"' showing total 8 results
Start Over Author "Ábrahám, Erika" Topic formal semantics
8 results on '"Ábrahám, Erika"'

1. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes

Author

Ábrahám, Erika, Grüner, Andreas, Steffen, Martin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Beckmann, Arnold, editor, Berger, Ulrich, editor, Löwe, Benedikt, editor, and Tucker, John V., editor

Published
2006
Full Text
View/download PDF

2. Abstract Interface Behavior of Object-Oriented Languages with Monitors

Author

Ábrahám, Erika, Grüner, Andreas, Steffen, Martin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gorrieri, Roberto, editor, and Wehrheim, Heike, editor

Published
2006
Full Text
View/download PDF

3. Observability, Connectivity, and Replay in a Sequential Calculus of Classes

Author

Ábrahám, Erika, Bonsangue, Marcello M., de Boer, Frank S., Grüner, Andreas, Steffen, Martin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2005
Full Text
View/download PDF

4. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes : Extended Abstract

Author

Ábrahám, Erika, Bonsangue, Marcello M., de Boer, Frank S., Steffen, Martin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Liu, Zhiming, editor, and Araki, Keijiro, editor

Published
2005
Full Text
View/download PDF

7. Behavioral interface description of an object-oriented language with futures and promises

Author

Ábrahám, Erika, Grabe, Immo, Grüner, Andreas, and Steffen, Martin

Subjects
*OBJECT-oriented programming languages, *IDL (Computer program language), *CONCURRENT Aggregates (Computer program language), *COMPUTER software
Abstract

Abstract: This paper formalizes the observable interface behavior of a concurrent, object-oriented language with futures and promises. The calculus captures the core of Creol, a language, featuring in particular asynchronous method calls and, since recently, first-class futures. The focus of the paper are open systems and we formally characterize their behavior in terms of interactions at the interface between the program and its environment. The behavior is given by transitions between typing judgments, where the absent environment is represented abstractly by an assumption context. A particular challenge is the safe treatment of promises: The erroneous situation that a promise is fulfilled twice, i.e., bound to code twice, is prevented by a resource aware type system, enforcing linear use of the write-permission to a promise. We show subject reduction and the soundness of the abstract interface description. [Copyright &y& Elsevier]

Published
2009
Full Text
View/download PDF

8. Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling

Author

Morris Wright, Karla Vanessa, Hoang, Thai Son, Snook, Colin, Butler, Michael, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ábrahám, Erika, editor, Dubslaff, Clemens, editor, and Tarifa, Silvia Lizeth Tapia, editor

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results