Uniform Abstract Syntax

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00178-04-C-1049
Agency Tracking Number: N041-067-0661
Amount: $69,571.00
Phase: Phase I
Program: SBIR
Awards Year: 2004
Solicitation Year: 2004
Solicitation Topic Code: N04-067
Solicitation Number: 2004.1
Small Business Information
ARCHITECTURE TECHNOLOGY CORP.
9971 Valley View Road, Eden Prairie, MN, 55344
DUNS: 052062833
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Kevin Millikin
 R&D Engineer
 (952) 829-5864
 kmillikin@atcorp.com
Business Contact
 Kenneth Thurber
Title: President
Phone: (952) 829-5864
Email: kthurber@atcorp.com
Research Institution
N/A
Abstract
The differences between the abstract syntax (as opposed to the concrete syntax) of programming languages are mostly issues of binding. Architecture Technology Corporation proposes an abstract syntax representation that represents binding explicitly and uniformly for programming languages. The syntax can express differences in variables, scopes, and parameter passing. It can express differences in object systems and module systems. It can express generics and type systems. The abstract syntax has a simple but very expressive semantics based on a typed functional/object calculus. It employs higher-order abstract syntax (as found in lambda-Prolog) to represent binding sites uniformly; and uses explicit staging (as found in MetaML) to represent binding times uniformly. The abstract syntax has an external representation as valid XML documents. The design of transformation and unparsing tools to handle higher-order, multi-stage syntax is considered.

* information listed above is at the time of submission.

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government