MAP-CLOSURE: A General-Purpose Mechanism for Nonstandard Interpretation
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 conceptsCan construct a new closure using a modified environment
CompilersInterpreters Automatic differentiation facilities
Jeffrey SiskindPurdue Electrical and Computer Engineering
United States
8,281,299
美国
