Parametrized programming in LILEANNA
- 1 January 1993
- conference paper
- Published by Association for Computing Machinery (ACM)
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 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 specJKeywords
This publication has 0 references indexed in Scilit: