Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Ran Rinat"'
Publikováno v:
CSER
Viewpoint modeling is an effective approach for analyzing and designing complex systems. Splitting various elements and corresponding constraints into different perspectives of interests, enables separation of concerns such as domains of expertise, l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7217338587e48253a0ec479d3d49d83e
Publikováno v:
CAAP '86 ISBN: 354016443X
CAAP
CAAP
A necessary and sufficient condition for a given marked tree to have no infinite paths satisfying a given formula is presented. The formulas are taken from a language introduced by Harel, covering a wide scale of properties of infinite paths, includi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9669d6a7100cc87f40ad5a04dde9988d
https://doi.org/10.1007/bfb0022672
https://doi.org/10.1007/bfb0022672
Autor:
Ran Rinat, Scott F. Smith
Publikováno v:
ECOOP 2002 — Object-Oriented Programming ISBN: 9783540437598
ECOOP
ECOOP
The success of Java in recent years is largely due to its targeting as a language for the Internet. Many of the network-related features of Java however are not part of the core language design. In this paper we focus on the design of a more parsimon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6eaf5ae77c7fc5229ebe04bdf69cf639
https://doi.org/10.1007/3-540-47993-7_12
https://doi.org/10.1007/3-540-47993-7_12
Publikováno v:
OOPSLA
In this paper we propose a new form of polymorphism for object-oriented languages, called correspondence polymorphism . It lies in a different dimension than either parametric or subtype polymorphism. In correspondence polymorphism, some methods are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12c0210440d828370ec0a04269fa067e
https://doi.org/10.1145/320384.320399
https://doi.org/10.1145/320384.320399
Autor:
Ran Rinat, Menachem Magidor
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540614395
ECOOP
ECOOP
We propose two new constructs for object oriented programming that significantly increase polymorphism. Consequently, code may be reused in ways unaccounted for by existing machinery. These constructs of type correspondence and partial inheritance ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::578a62ff0894e68cdbfb2a397c3c1e94
https://doi.org/10.1007/bfb0053073
https://doi.org/10.1007/bfb0053073
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.