Parametrized programming in LILEANNA
Will Tracz · 1993
Language tempers thought. " -George OrwellProgrammers traditionally construct solutions to problems one line at a time, often duplicating the efforts (as well as the mistakes) of others.One rerwon why programmers continue to 'reinvent the wheel" is the lack of tools to: 1) support the desi n and develop ment of parameterised com orients an software architectures and 2) integrate ~e, glue) the instantiated components together to form new applications.This paper describes the rationale for the arameteriaed progr 1 arnming paradigm supported by LI EANNA (LIL Extended with Anna (Annotated Ada)).LILEANNA is an implementation of Goguen's LIL (Library Interconnect Language .LILEANNA is a language for formally spec-J ifying an generating Ada packages.