Accession Number : ADA275272


Title :   Advanced Languages for Systems Software


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE


Personal Author(s) : Harper, Robert ; Lee, Peter


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a275272.pdf


Report Date : Jan 1994


Pagination or Media Count : 28


Abstract : It has been amply demonstrated in recent years that careful attention to the structure of systems software can lead to greater flexibility, reliability, and ease of implementation, without incurring an undue penalty in performance. It is our contention that advanced programming languages- particularly languages with a mathematically rigorous semantics, and featuring higher-order functions, polymorphic types, first-class continuations, and a useful and powerful module system-are ideally suited to expressing such structure. Indeed, our previous research has shown that the use of an advanced programming language can have a fundamental effect on system design, leading naturally to system architectures that are highly modular, efficient, and allow re-use of code. We are thus working to demonstrate the viability and benefits of advanced languages for programming real-world systems. To achieve this, we have organized our research into the three areas of language design, compiler technology, and systems building. This report describes the current plans for this effort, which we refer to as the Fox project.


Descriptors :   *COMPUTER PROGRAMMING , *HIGH LEVEL LANGUAGES , SOFTWARE ENGINEERING , SEMANTICS , VIABILITY , COMPUTER PROGRAM RELIABILITY , PENALTIES , COMPILERS , COMPUTER ARCHITECTURE , FUNCTIONS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE