MAP-CLOSURE: A General-Purpose Mechanism for Nonstandard Interpretation

Back to all technologies
Download as PDF
Nonstandard interpretation is a powerful tool with a wide variety of important applications. Typical techniques for performing nonstandard interpretation are compile-time only, require modification of global resources, or require rewriting of code to abstract over portions subject to nonstandard semantics.

Researchers at Purdue University have developed a novel mechanism for locally redefining the primitive mechanisms of a programming language so it does not affect its behavior outside the local scope of redefinition. This programming construct can be added to many different programming languages in which many different useful capabilities can be constructed. This technology includes the ability to examine contents of a closure environment and construct a new closure with a modified environment.

-Allows construction of a whole hierarchy of mathematical concepts
-Can construct a new closure using a modified environment

Potential Applications:
-Automatic differentiation facilities
Nov 13, 2007
Utility Patent
United States
Oct 2, 2012

Nov 10, 2006
United States
Purdue Office of Technology Commercialization
The Convergence Center
101 Foundry Drive, Suite 2500
West Lafayette, IN 47906

Phone: (765) 588-3475
Fax: (765) 463-3486