BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × United Kingdom
Collaborated with:
M.C.J.D.v.Eekelen A.Tamalet R.v.Kesteren
Talks about:
function (2) size (2) polynomi (1) program (1) collect (1) analysi (1) semant (1) order (1) first (1) list (1)

Person: Olha Shkaravska

DBLP DBLP: Shkaravska:Olha

Contributed to:

IFL 20082008
TLCA 20072007

Wrote 2 papers:

IFL-2008-ShkaravskaET #functional #semantics #source code
Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.
TLCA-2007-ShkaravskaKE #analysis #first-order #polynomial
Polynomial Size Analysis of First-Order Functions (OS, RvK, MCJDvE), pp. 351–365.

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.