Automatically assigned DDC number:

Manually assigned DDC number: 005131

Title: The Fox Project: Advanced Language Technology for Extensible Systems




Subject: Robert Harper,Peter Lee,Frank Pfenning The Fox Project: Advanced Language Technology for Extensible Systems

Description: 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 higherorder functions, polymorphic types, and a strong 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, and in particular Active Networks. To achieve this, we have organized our research into the areas of language technology, safety infrastructure, com...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-03-15

Pubyear: 1998

Format: ps



Language: en

Rights: unrestricted


<?xml   version="1.0"   encoding="UTF-8"?>


      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="The   Fox   Project:   Advanced   Language   Technology   for   Extensible   Systems">

            <identifier   Org="ISBN:0769523404"   Paper_ID="SELF"   Extracted="0769523404"   />