Accession Number : ADA310227

Title :   Advances in Type Systems for Computing.

Descriptive Note : Final technical rept. 1 May-31 Dec 95,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Mitchell, John C.

PDF Url : ADA310227

Report Date : 28 JUN 1996

Pagination or Media Count : 4

Abstract : The Advances in Type Systems for Computing (ATSC) Eurocconference was held at the Isaac Newton Institute in Cambridge from August 14 through 18, 1995. The main topic of the conference was the development and use of type systems for programming languages. The reason for interest in type systems is that types are the fundamental systems of 'units' for computer programming, analogous to meters, joules and kilograms in physics. Type systems for programming languages make it possible to perform simple checks on computer programs and detect certain forms of errors before the programs are executed. Type systems are also an important part of software system design, particularly in design procedures that involve breaking a complex systems into separate parts. The ATCS conference program consisted of invited lectures, contributed papers, and on-the-spot contributions to impromptu sessions that were organized during the meeting. There were a total of 73 attendees, including 24 scientific visitors to the Newton Institute, 3 outside invited speakers, and 24 authors of contributed talks.

Descriptors :   *PROGRAMMING LANGUAGES, *COMPUTER PROGRAM VERIFICATION, SYMPOSIA, COMPUTATIONS, DETECTION, PHYSICS, ERROR ANALYSIS, ERRORS, OBJECT ORIENTED PROGRAMMING.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE