Representing Java Classes in a Typed Intermediate Language.
Christopher LeagueZhong ShaoValery TrifonovPublished in: ICFP (1999)
Keyphrases
- programming language
- lambda calculus
- object oriented languages
- java programming
- object oriented
- higher order
- java language
- language processing
- language neutral
- specification language
- data sets
- class labels
- lightweight
- source code
- open source
- formal representation
- java programs
- strongly typed
- natural language
- web services