Search results for "featherweight Java"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Sven Apel, Christian Kästner, Christian Lengauer	Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.	GPCE	2008	DBLP DOI BibTeX RDF	safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java
3	Lorenzo Bettini, Sara Capecchi, Betti Venneri	Featherweight Java with multi-methods.	PPPJ	2007	DBLP DOI BibTeX RDF	dynamic overloading, language extensions, multi-methods, featherweight Java
3	Thomas Studer	Constructive Foundations for Featherweight Java.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	reasoning about programs, explicit mathematics, object-oriented programming, denotational semantics, Featherweight Java
2	Tom Staijen, Arend Rensink	Graph-based specification and simulation of featherweight Java with around advice.	FOAL	2009	DBLP DOI BibTeX RDF	simulation, verification, graph transformations
2	Luigi Liquori, Arnaud Spiwack	FeatherTrait: A modest extension of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java, inheritance, language design, language semantics
2	Lorenzo Bettini, Viviana Bono	Type safe dynamic object delegation in class-based languages.	PPPJ	2008	DBLP DOI BibTeX RDF	delegation, language extensions, object composition, featherweight Java
2	Lorenzo Bettini, Sara Capecchi, Elena Giachino	Featherweight wrap Java.	SAC	2007	DBLP DOI BibTeX RDF	delegation, wrappers, language extensions, featherweight Java
2	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
2	Tian Zhao, Jens Palsberg, Jan Vitek	Lightweight confinement for featherweight Java.	OOPSLA	2003	DBLP DOI BibTeX RDF	confined types, aliasing, ownership
2	Christopher League, Zhong Shao, Valery Trifonov	Type-preserving compilation of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	object encodings, Java, type systems, typed intermediate languages
2	Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler	Featherweight Java: a minimal core calculus for Java and GJ.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	generic classes, Java, Compilation, language design, language semantics
1	Thi Mai Thuong Tran, Martin Steffen	Safe Commits for Transactional Featherweight Java.	IFM	2010	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer	Implementing software product lines using traits.	SAC	2010	DBLP DOI BibTeX RDF	type system, software product line, feature model, trait, featherweight java
1	Lorenzo Bettini, Sara Capecchi, Betti Venneri	Featherweight Java with dynamic and static overloading.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
1	Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth	Expressive and modular predicate dispatch for Java.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	dynamic dispatch, Predicate dispatch, modular typechecking
1	Patrick Th. Eugster, K. R. Jayaram	EventJava: An Extension of Java for Event Correlation.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Giovanni Lagorio, Marco Servetto, Elena Zucca	Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.	ECOOP	2009	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Betti Venneri	Object Incompleteness and Dynamic Composition in Java-Like Languages.	TOOLS	2008	DBLP DOI BibTeX RDF
1	Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein	Tasks: language support for event-driven programming.	PEPM	2007	DBLP DOI BibTeX RDF
1	Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby	Declarative Object Identity Using Relation Types.	ECOOP	2007	DBLP DOI BibTeX RDF
1	J. Nathan Foster, Dimitrios Vytiniotis	A Theory of Featherweight Java in Isabelle/HOL.	Archive of Formal Proofs	2006	DBLP BibTeX RDF
1	Alessandro Warth, Milan Stanojevic, Todd D. Millstein	Statically scoped object adaptation with expanders.	OOPSLA	2006	DBLP DOI BibTeX RDF	object adaptation, expanders, modular typechecking
1	Atsushi Igarashi, Hideshi Nagira	Union types for object-oriented programming.	SAC	2006	DBLP DOI BibTeX RDF	java, subtyping, language design, language semantics, union types
1	Shi Zhang, Linpeng Huang	Formalizing Class Dynamic Software Updating.	QSIC	2006	DBLP DOI BibTeX RDF
1	Christian Skalka	Trace effects and object orientation.	PPDP	2005	DBLP DOI BibTeX RDF	temporal program logic, type and effect, type constraints
1	Atsushi Igarashi, Chieri Saito, Mirko Viroli	Lightweight Family Polymorphism.	APLAS	2005	DBLP DOI BibTeX RDF
1	Davide Ancona, Elena Zucca	Principal typings for Java-like languages.	POPL	2004	DBLP DOI BibTeX RDF	Java-like languages, selective recompilation, principal typings
1	Suad Alagic, David Briggs	Semantics of Objectified XML Constraints.	DBPL	2003	DBLP DOI BibTeX RDF
1	Vladimir Gapeyev, Benjamin C. Pierce	Regular Object Types.	ECOOP	2003	DBLP DOI BibTeX RDF
1	Kathleen Fisher, Benjamin C. Pierce	Guest editorial.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF
1	Neal Glew, Jens Palsberg	Type-Safe Method Inlining.	ECOOP	2002	DBLP BibTeX RDF
1	Matthias Zenger	Type-Safe Prototype-Based Component Evolution.	ECOOP	2002	DBLP BibTeX RDF
1	Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler	Featherwieght Java: A Minimal Core Calculus for Java and GJ.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java, implementation, language design, theoretical foundations