USA flag logo/image

An Official Website of the United States Government

Uniform Abstract Syntax

Award Information

Agency:
Department of Defense
Branch:
Navy
Award ID:
70027
Program Year/Program:
2004 / SBIR
Agency Tracking Number:
N041-067-0661
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Architecture Technology Corporation
9977 Valley View Road Eden Prairie, MN -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2004
Title: Uniform Abstract Syntax
Agency / Branch: DOD / NAVY
Contract: N00178-04-C-1049
Award Amount: $65,571.00
 

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.

Principal Investigator:

Kevin S. Millikin
R&D Engineer
9528295864
kmillikin@atcorp.com

Business Contact:

Kenneth J. Thurber
President
9528295864
kthurber@atcorp.com
Small Business Information at Submission:

ARCHITECTURE TECHNOLOGY CORP.
9971 Valley View Road Eden Prairie, MN 55344

EIN/Tax ID: 411403674
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No