k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Emmanuel Castro <emmanuel.castro AT laposte.net>
- To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
- Subject: [K-user] Memoization of function
- Date: Fri, 9 Aug 2013 17:18:07 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
Is it possible to memoize K functions?
For example, I have a freeVars function declared as follows:
syntax Set ::= freeVars(Expr) [function]
Does adding memo in the attributes of the function have an effect?
syntax Set ::= freeVars(Expr) [function, memo]
Happy summer holidays!
Emmanuel
- [K-user] Memoization of function, Emmanuel Castro, 08/09/2013
Archive powered by MHonArc 2.6.16.