Parameterized programming in LILEANNA

Abstract

"Language tempers thought." George Orwell Programmers traditionally construct solutions to problems one line at a time, often duplicating the efforts (as well as the mistakes) of others. One reason why programmers continue to "re-invent the wheel" is the lack of tools to: 1) support the design and development of parameterized components ana software architectures and 2) integrate (i.e., glue) the instantiated components together to form new applications. This paper describes the rationale for the parameterized programming paradigm supported by LILEANNA (LIL Extended with Anna (Annotated Ada)). LILEANNA is an implementation of Goguen's LIL (Library Interconnect Language). LILEANNA is a language for formally specifying and generating Ada packages.