BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
collect (1)
vector (1)
garbag (1)
base (1)
execut (1)

Stem memois$ (all stems)

3 papers:

ICSEICSE-2013-YangKP #execution #named #symbolic computation
Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
TACASTACAS-2009-NguyenR #garbage collection #model checking
Memoised Garbage Collection for Software Model Checking (VYN, TCR), pp. 201–214.
ICFPICFP-1997-ChinH #bound
A Bounds Inference Method for Vector-Based Memoisation (WNC, MH), pp. 176–187.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.