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 × Romania
2 × Hungary
Collaborated with:
Z.Horváth T.Kozsik G.Dévai D.Leskó M.Tóth I.Bozó L.Lövei
Talks about:
program (2) behaviour (1) properti (1) struggl (1) analysi (1) tempor (1) sparkl (1) proven (1) impact (1) erlang (1)

Person: Máté Tejfel

DBLP DBLP: Tejfel:M=aacute=t=eacute=

Contributed to:

CEFP 20132013
CEFP 20092009
CEFP 20052005

Wrote 3 papers:

The EDSL’s Struggle for Their Sources (GD, DL, MT), pp. 300–335.
CEFP-2009-TothBHLTK #behaviour #dependence #erlang #graph #impact analysis #source code #using
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs (MT, IB, ZH, LL, MT, TK), pp. 372–390.
CEFP-2005-TejfelHK #source code
Temporal Properties of Clean Programs Proven in Sparkle-T (MT, ZH, TK), pp. 168–190.

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.