| Författare | Johan Öhlin johanohl@kth.se |
| Titel | En prototypimplementation av Featherweight Java i Prolog |
| Sammanfattning |
Med en abstrakt beskrivning av ett programmeringsspråk kan man bevisa att det fungerar i teorin. Featherweight Java är en abstrakt beskrivning av Java med några borttagna egenskaper.
Rapporten beskriver Featherweight Java och visar exempel på hur inferensreglerna används. Dessutom har reglerna implementerats i logikprogrammeringsspråket Prolog. Det kräver bland annat en representation av den programsyntax som Featherweight Java använder sig av för Prolog. |
| Author | Johan Öhlin johanohl@kth.se |
| Title | A Prototype Implementation of Featherweight Java in Prolog |
| Abstract |
With an abstract description of a programming language, one can show that it works in theory. Featherweight Java is just that, an abstract description of Java but with some properties removed.
The report describes Featherweight Java and shows examples of how the inference rules are used. Furthermore, the inference rules have been implemented in the logic programming language Prolog. That requires, amongst other things, a representation of the program syntax Featherweight Java uses for Prolog. |