Search results for "downcast"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Shuling Wang, Quan Long, Zongyan Qiu	Type Safety for FJ and FGJ.	ICTAC	2006	DBLP DOI BibTeX RDF	Downcast, Observer Pattern, Type Safety, Featherweight Java
46	Arjan J. Mooij	Static type checking without downcast operator.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
31	Roland Ducournau, Floréal Morandat, Jean Privat	Empirical assessment of object-oriented implementations with multiple inheritance and static typing.	OOPSLA	2009	DBLP DOI BibTeX RDF	binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading
31	Roland Ducournau	Perfect hashing as an almost perfect subtype test.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	downcast, method tables, multiple subtyping, single inheritance, subtype test, virtual function tables, Java, C++, interfaces, coloring, multiple inheritance, perfect hashing, Casting, dynamic loading
26	Jeremy G. Siek, Philip Wadler	Threesomes, with and without blame.	POPL	2010	DBLP DOI BibTeX RDF	blame tracking, lambda-calculus, coercions, casts
26	Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard	Region inference for an object-oriented language.	PLDI	2004	DBLP DOI BibTeX RDF	downcasts, method overriding, region inference, type systems, memory management, object-oriented languages
26	Werner Dietl, Peter Müller 0001, Arnd Poetzsch-Heffter	A Type System for Checking Applet Isolation in Java Card.	CASSIS	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #7 of 7 (100 per page; Change: )