A generic type system for featherweight Java
Abstract
References
Index Terms
- A generic type system for featherweight Java
Recommendations
Type-based Enforcement of Infinitary Trace Properties for Java
PPDP '21: Proceedings of the 23rd International Symposium on Principles and Practice of Declarative ProgrammingA common approach to improve software quality is to use programming guidelines to avoid common kinds of errors. In this paper, we consider the problem of enforcing guidelines for Featherweight Java (FJ). We formalize guidelines as sets of finite or ...
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement
GPCE '08: Proceedings of the 7th international conference on Generative programming and component engineeringFeature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE'07 paper, Thaker et al. suggest the development of a type system for FOP to ...
Featherweight Java with dynamic and static overloading
We propose FMJ (Featherweight Multi Java), an extension of Featherweight Java with encapsulated multi-methods thus providing dynamic overloading. Multi-methods (collections of overloaded methods associated to the same message, whose selection takes ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Conferences](/cms/asset/460719ec-261d-489d-b57e-fa85274fd4b4/3464971.cover.jpg)
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigsoft
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 101Total Downloads
- Downloads (Last 12 months)15
- Downloads (Last 6 weeks)3
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in