Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Betti Venneri"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 25-36 (2016)
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant
Externí odkaz:
https://doaj.org/article/025a50bdd63a403bb7cbea1c1ef79e4e
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and inte
Externí odkaz:
https://doaj.org/article/3c6c4a67270f4f78b79399eae29d1e50
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 90:31-49
This paper presents a formal framework of self-adaptation for multiparty sessions. The adaptation function contains the dynamic evolution policy, by prescribing how the session needs to reconfigure itself, based on critical changes in global data. A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ba0e3117582c5f423bea3ec083f4478
https://doi.org/10.1016/j.jlamp.2017.02.007
https://doi.org/10.1016/j.jlamp.2017.02.007
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030223472
Models, Mindsets, Meta
Models, Mindsets, Meta
In this paper we figure out the future of intersection types in Java developments, based both on the primary meaning of the intersection type constructor and on the present approach in Java. In our vision, the current use of intersection types will b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02aedf4c72dcd5c0c929e1912232a140
https://doi.org/10.1007/978-3-030-22348-9_6
https://doi.org/10.1007/978-3-030-22348-9_6
Publikováno v:
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 25-36 (2016)
Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 25-36 (2016)
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31df0fd2adfc242b4293be3ae0f6a81e
https://doi.org/10.4204/eptcs.211.3
https://doi.org/10.4204/eptcs.211.3
Publikováno v:
Science of Computer Programming. 76:992-1014
Class inheritance and method overriding, as provided by standard class-based languages, are often not flexible enough to represent objects with some dynamic behavior. In this respect, object composition equipped with different forms of method body lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cc1ed5ed186cb1f209e928faff6f662
https://doi.org/10.1016/j.scico.2010.04.006
https://doi.org/10.1016/j.scico.2010.04.006
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 43:517-565
Mainstream object-oriented languages often fail to provide complete powerful features altogether, such as, multiple inheritance, dynamic overloading and copy semantics of inheritance. In this paper we present a core object-oriented imperative languag
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbe26aa786f57d8b9c5e8eb1c45d74a8
https://doi.org/10.1051/ita/2009008
https://doi.org/10.1051/ita/2009008
Publikováno v:
Science of Computer Programming. 74(5-6):261-278
We propose FMJ (Featherweight Multi Java), an extension of Featherweight Java with encapsulated multi-methods thus providing dynamic overloading. Multi-methods (collections of overloaded methods associated to the same message, whose selection takes p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c39409ed8671e9e810653c8b6d4b17de
Publikováno v:
Theoretical Computer Science. 398:95-113
Intersection types are well known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type operator is a meta-level operator, that is, there is no direct logical
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::227e57975374e514337d6ff306520401
https://doi.org/10.1016/j.tcs.2008.01.046
https://doi.org/10.1016/j.tcs.2008.01.046
Publikováno v:
Electronic Notes in Theoretical Computer Science. 138:59-78
Goals of flexibility and re-usability in typed object-oriented languages suggest the requirement of double dispatch, i.e., the mechanism of dynamically selecting a method not only according to the run-time type of the receiver (single dispatch), but
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5dbce933ef46787f1aa812cb08cdf7f
https://doi.org/10.1016/j.entcs.2005.09.011
https://doi.org/10.1016/j.entcs.2005.09.011