Search results for "Superclasses"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Martin Sulzmann, Meng Wang 0002	Modular generic programming with extensible superclasses.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	generic programming, type classes
54	Charles Lakos, Glenn Lewis	Behavior Inheritance for Object Lifecycles.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	Object lifecycles, Behavioral Compatibility, Shlaer-Mellor, UML, Petri Nets, Inheritance
48	Walter L. Hürsch	Should Superclasses be Abstract?	ECOOP	1994	DBLP DOI BibTeX RDF	Class Management, Object-Oriented Programming and Data Modeling, Software Evolution
48	William F. Opdyke, Ralph E. Johnson	Creating Abstract Superclasses by Refactoring.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	C++
36	Stavros Souravlas, Manos Roumeliotis	A message passing strategy for array redistributions in a torus network.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Superclasses, Pipeline, High performance Fortran, Communication scheduling, Array redistribution
36	Tetsuo Kamina, Tetsuo Tamai	Selective method combination in mixin-based composition.	SAC	2005	DBLP DOI BibTeX RDF	McJava, accidental overriding, hygienic mixins, mixin-based subtyping, implementation
36	Djamel A. Zighed, Gilbert Ritschard, Walid Erray, Vasile-Marian Scuturici	Arbogodaï, a New Approach for Decision Trees.	PKDD	2003	DBLP DOI BibTeX RDF
36	Rakesh Agrawal 0001, Narain H. Gehani, J. Srinivasan	OdeView: A User-Friendly Graphical Interface to Ode.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
30	Amar Bapic, Enes Pasalic, Fengrong Zhang, Samir Hodzic	Constructing new superclasses of bent functions from known ones.	Cryptogr. Commun.	2022	DBLP DOI BibTeX RDF
30	Amar Bapic, Enes Pasalic, Fengrong Zhang, Samir Hodzic	Constructing new superclasses of bent functions from known ones.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
30	Nicolas Grelier	Computing a maximum clique in geometric superclasses of disk graphs.	J. Comb. Optim.	2022	DBLP DOI BibTeX RDF
30	Nicolas Grelier	Computing a maximum clique in geometric superclasses of disk graphs.	CoRR	2020	DBLP BibTeX RDF
30	Nicolas Grelier	Computing a Maximum Clique in Geometric Superclasses of Disk Graphs.	COCOON	2020	DBLP DOI BibTeX RDF
30	Lê Thành Dung Nguyên	Typed lambda-calculi and superclasses of regular functions.	CoRR	2019	DBLP BibTeX RDF
30	Yuqi Huo, Mingyu Ding, An Zhao, Jun Hu, Ji-Rong Wen, Zhiwu Lu 0001	Zero-Shot Learning with Superclasses.	ICONIP (3)	2018	DBLP DOI BibTeX RDF
30	Guillermo Durán, Martín Darío Safe, Xavier S. Warnes	Neighborhood covering and independence on two superclasses of cographs.	CoRR	2016	DBLP BibTeX RDF
30	Flavia Bonomo, Guillermo Durán, Luciano N. Grippo, Martín Darío Safe	Probe interval graphs and probe unit interval graphs on superclasses of cographs.	Discret. Math. Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
30	Tiziana Calamoneri, Rossella Petreschi, Blerina Sinaimeri	On the Pairwise Compatibility Property of some Superclasses of Threshold Graphs.	Discret. Math. Algorithms Appl.	2013	DBLP DOI BibTeX RDF
30	Arnaud Pêcher, Annegret Katrin Wagler	Polynomial time computability of some graph parameters for superclasses of perfect graphs.	Int. J. Math. Oper. Res.	2012	DBLP DOI BibTeX RDF
30	Guillermo Durán, Luciano N. Grippo, Martín Darío Safe	Probe interval and probe unit interval graphs on superclasses of cographs.	Electron. Notes Discret. Math.	2011	DBLP DOI BibTeX RDF
30	Vladislav Bína	Enumeration of Labeled Split Graphs and Counts of Important Superclasses.	CTW	2011	DBLP BibTeX RDF
30	Arnaud Pêcher, Annegret Katrin Wagler	On the polynomial time computability of the circular-chromatic number for some superclasses of perfect graphs.	Electron. Notes Discret. Math.	2009	DBLP DOI BibTeX RDF
30	Flavia Bonomo, Guillermo Durán, Francisco J. Soulignac, Gabriel Sueiro	Partial characterizations of clique-perfect and coordinated graphs: Superclasses of triangle-free graphs.	Discret. Appl. Math.	2009	DBLP DOI BibTeX RDF
30	Hans Langmaack, Andrzej Salwicki, Marek Warpechowski	On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
30	Flavia Bonomo, Guillermo Durán, Francisco J. Soulignac, Gabriel Sueiro	Partial characterizations of clique-perfect and coordinated graphs: superclasses of triangle-free graphs.	Electron. Notes Discret. Math.	2008	DBLP DOI BibTeX RDF
30	Hans Langmaack, Andrzej Salwicki, Marek Warpechowski	A Deterministic Algorithm for Identifying Direct Superclasses in Java.	Fundam. Informaticae	2008	DBLP BibTeX RDF
30	Martin Kühnrich	Superclasses in a Finite Extension of Zermelo Set Theory.	Math. Log. Q.	1978	DBLP DOI BibTeX RDF
18	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Incremental Reasoning for Multiple Inheritance.	IFM	2009	DBLP DOI BibTeX RDF
18	Emal Nasseri, Steve Counsell, Martin J. Shepperd	An Empirical Study of Evolution of Inheritance in Java OSS.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Evolution, Inheritance
18	Lorenzo Bettini, Viviana Bono, Marco Naddeo	A trait based re-engineering technique for Java hierarchies.	PPPJ	2008	DBLP DOI BibTeX RDF	Java, formal concept analysis, re-engineering, code reuse, trait
18	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Lazy Behavioral Subtyping.	FM	2008	DBLP DOI BibTeX RDF
18	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Enhancing modular OO verification with separation logic.	POPL	2008	DBLP DOI BibTeX RDF	enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification
18	Christopher A. Stone	Extensible objects without labels.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible objects, object calculi
18	Anne Berry, Martin Charles Golumbic, Marina Lipshteyn	Two tricks to triangulate chordal probe graphs in polynomial time.	SODA	2004	DBLP BibTeX RDF
18	Mark Daley, Michael Domaratzki	On Codes Defined by Bio-Operations.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
18	Vladimir A. Oleshchuk, Asle Pedersen	Ontology Based Semantic Similarity Comparison of Documents.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
18	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
18	Walid Al-Ahmad	On the Interaction of Programming by Contract and Liskov Substitution Principle.	AICCSA	2001	DBLP DOI BibTeX RDF
18	Marieke Huisman, Bart Jacobs 0001	Inheritance in Higher Order Logic: Modeling and Reasoning.	TPHOLs	2000	DBLP DOI BibTeX RDF
18	Igor A. Bolshakov, Alexander F. Gelbukh	A Very Large Database of Collocations and Semantic Links.	NLDB	2000	DBLP DOI BibTeX RDF	syntactic relations, thesaurus, dictionary, collocations, semantic relations, lexical disambiguation
18	Giuliano Armano, Antonio Corradi, Letizia Leonardi, Eloisa Vargiu	MODE: A Java-like Environment for Experimenting Mobility Policies.	DOA	2000	DBLP DOI BibTeX RDF
18	Viviana Bono, Amit Patel 0001, Vitaly Shmatikov	A Core Calculus of Classes and Mixins.	ECOOP	1999	DBLP DOI BibTeX RDF	type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin
18	Istvan Kadar, Erik Papp	Object oriented spatial positioning systems.	APL	1998	DBLP DOI BibTeX RDF
18	Stephen H. Edwards	Representation Inheritance: A Safe Form of "White Box'' Code Inheritance.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Abstraction function, abstraction relation, representation invariant, object-oriented, reuse, inheritance, specialization, subclass, behavioral subtype, model-based specification
18	Anna Mikhajlova, Emil Sekerinski	Class Refinement and Interface Refinement in Object-Oriented Programs.	FME	1997	DBLP DOI BibTeX RDF
18	Martin Hofmann 0001, Benjamin C. Pierce	Positive Subtyping.	POPL	1995	DBLP DOI BibTeX RDF
18	Hideki Tsuiki	On Typed Calculi with a Merge Operator.	FSTTCS	1994	DBLP DOI BibTeX RDF
18	Craig Chambers	Predicate Classes.	ECOOP	1993	DBLP DOI BibTeX RDF
18	Jens Palsberg, Michael I. Schwartzbach	What is Type-Safe Code Reuse?	ECOOP	1991	DBLP DOI BibTeX RDF
18	Giorgio Ghelli	A Class Abstraction for a Hierarchical Type System.	ICDT	1990	DBLP DOI BibTeX RDF
18	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
18	Alexander Borgida	Modeling Class Hierarchies with Contradictions.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
18	Vickitt Lau, Jia-Huai You	Parallelism in Nonmonotonic Multiple Inheritance Systems.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF