...
liveness : Every operation or method invocation executes to completion without interruptions, even if it goes against safety.
memoization: Memoization is an optimization technique used primarily to speed up computer programs by having function calls avoid repeating the calculation of results for previously-processed inputs Wikipedia 2011.
| Anchor |
|---|
| memory model |
|---|
| memory model |
|---|
|
| Wiki Markup |
|---|
*memory model*: "The rules that determine how memory accesses are ordered and when they are guaranteed to be visible are known as the memory model of the Java programming language" \[[JPL 2006|AA. Bibliography#JPL 06]\]. "A memory model describes, given a program and an execution trace of that program, whether the execution trace is a legal execution of the program." \[[JLS 2005|AA. Bibliography#JLS 05]\]. |
...
