MIME-Version: 1.0 Server: CERN/3.0 Date: Sunday, 24-Nov-96 21:33:28 GMT Content-Type: text/html Content-Length: 30689 Last-Modified: Thursday, 14-Mar-96 22:07:10 GMT
Date of Birth: April 12, 1943
Social Security: 071-34-7678
Citizenship: United States
Telephone: (607) 255-7573
Fax: (607) 255-4428
Email: tt@cs.cornell.edu
The Synthesizer Generator is a tool for creating language-based environments from formal specifications. To date, it has been licensed, in source code form, for research purposes, to approximately 330 sites worldwide. Roughly half of the sites are in the U.S. and half are overseas; roughly half the sites are academic and half are government or industrial research laboratories. The implementation of Release 4 consists of about 120,000 lines of C source code; 23 demonstration environments distributed with the system are implemented in about 50,000 lines of Synthesizer Specification Language (SSL) code.
The Cornell Program Synthesizer was a programming environment for a small dialect of PL/I. During its lifetime, it was licensed to 110 sites worldwide and was used by over 20,000 introductory programming students.