Accession Number : ADA335390
Title : The Fox Project: Advanced Development of Systems Software
Descriptive Note : Research rept. 1 Oct-31 Dec 97
Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
PDF Url : ADA335390
Report Date : DEC 1997
Pagination or Media Count : 7
Abstract : The long-term objectives of the Carnegie Mellon Fox Project are to improve the design and construction of systems software and to further the development of advanced programming language technology. We use principles and techniques from the mathematical foundations of programming languages, including semantics, type theory, and logic, to design and implement systems software, including operating systems, network protocols, and distributed systems. Much of the implementation work is conducted in the Standard ML (SML) language, a modern functional programming language that provides polymorphism, first-class functions, exception handling, garbage collection, a parameterized module system, static typing, and a formal semantics. This Project involves several faculty members and spans a wide range of research areas, from (1) experimental development of systems software to (2) advanced compiler development to (3) language design.
Descriptors : *SOFTWARE ENGINEERING, *PROGRAMMING LANGUAGES, COMPUTER AIDED DESIGN, DISTRIBUTED DATA PROCESSING, SEMANTICS, OPERATING SYSTEMS(COMPUTERS), COMPILERS.
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE