|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
-Automatic differentiation facilities
Nov 13, 2007
Oct 2, 2012
Nov 10, 2006
Purdue Office of Technology Commercialization
1801 Newman Road
West Lafayette, IN 47906
Phone: (765) 588-3475
Fax: (765) 463-3486