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 × Cyprus
1 × Italy
Collaborated with:
M.Asavoae A.Riesco A.R.0001
Talks about:
semant (3) formal (2) slice (2) interprocedur (1) framework (1) techniqu (1) abstract (1) collect (1) toward (1) predic (1)

Person: Irina Mariuca Asavoae

DBLP DBLP: Asavoae:Irina_Mariuca

Contributed to:

IFM 20142014
WRLA 20102010
FASE 20172017

Wrote 3 papers:

IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards
Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
WRLA-2010-AsavoaeA #abstraction #framework #semantics #𝕂
Collecting Semantics under Predicate Abstraction in the 𝕂 Framework (IMA, MA), pp. 123–139.
FASE-2017-RiescoAA #semantics #slicing
Slicing from Formal Semantics: Chisel (AR0, IMA, MA), pp. 374–378.

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.