BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
amir (2)
translat (1)
memori (1)
loop (1)
general (1)

Stem pnueli$ (all stems)

3 papers:

SASSAS-2010-Goldberg #framework #in memory #memory management #optimisation #pipes and filters #validation
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework — In Memory of Amir Pnueli (BG), pp. 6–21.
Amir Pnueli: A Gentle Giant, Lord of the Phi’s and the Psi’s (DH), p. 57.
FMFME-1993-EngelhardtR #problem
Generalizing Abadi & Lamport’s Method to Solve a Problem Posed by A. Pnueli (KE, WPdR), pp. 294–313.

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.