Zobrazeno 1 - 10
of 1 649
pro vyhledávání: '"Binary methods"'
Publikováno v:
Radiation Research, 2004 Nov 01. 162(5), 585-591.
Externí odkaz:
https://www.jstor.org/stable/3581154
Autor:
Gawrychowski, Pawel
We consider binary dispatching problem originating from object oriented programming. We want to preprocess a hierarchy of classes and collection of methods so that given a function call in the run-time we are able to retrieve the most specialized imp
Externí odkaz:
http://arxiv.org/abs/1202.5670
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 March 2006 135(3):73-84
Autor:
Tews, Hendrik
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2002 65(1):317-336
Akademický článek
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.
Publikováno v:
Mathematical Structures in Computer Science. 17:647-673
We extend the coalgebraic account of specification and refinement of objects and classes in object-oriented programming given by Reichel and Jacobs to(generalised) binary methods. These are methods that take more than one parameter of a class type. C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fadff9ad55592271fa35ed0cfa6fcc0
https://doi.org/10.1017/s0960129507006214
https://doi.org/10.1017/s0960129507006214
Autor:
Hendrik Tews
Publikováno v:
CMCS
In previous work [14] I introduced a generalised notion of coalgebra that is capable of modelling binary methods as they occur in object-oriented programming. An important problem with this generalisation is that bisimulations are not closed under un
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac8fe770222c213a56c8094f212f9780
https://doi.org/10.1016/s1571-0661(04)80371-2
https://doi.org/10.1016/s1571-0661(04)80371-2
Autor:
Hendrik Tews
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 35:83-111
Coalgebras for endofunctors ${\mathcal C}\rightarrow{\mathcal C}$ can be used to model classes of object-oriented languages. However, binary methods do not fit directly into this approach. This paper proposes an extension of the coalgebraic framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05211e86d62de20f1b646f9cb27abe1a
https://doi.org/10.1051/ita:2001110
https://doi.org/10.1051/ita:2001110
Akademický článek
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.
Publikováno v:
Scopus-Elsevier
∗partially supported by NSF grant CCR-9121778 and NSF grant CCR-9424123. Internet:kim@cs.williams.edu †Internet: luca@src.dec.com. ‡Internet: castagna@dmi.ens.fr §Jonathan Eifrig, Scott Smith, Valery Trifonov. Contact Scott Smith. Research par
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99d248eb7896c8e13d13f34ca3dfd8b1
https://doi.org/10.1002/j.1096-9942.1995.tb00019.x
https://doi.org/10.1002/j.1096-9942.1995.tb00019.x