Download now Free registration required
The complexity of modern programming languages presents a fundamental difficulty for researchers wishing to formalise and reason about language extensions. A good approach here is to develop a "Core calculus" of the language which captures features characterising the problem at hand. Featherweight Java (FJ) is a well-known example which provides a core calculus for Java. The aim of FJ was to eliminate as much of the language as possible whilst preserving the key challenges faced in type checking Java. To this end, FJ has been extremely successful, and a host of related systems have arisen.
- Format: PDF
- Size: 296.38 KB