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 × Germany
1 × Romania
3 × Hungary
Collaborated with:
Z.Horváth M.Tejfel I.Zólyomi Z.Porkoláb M.Tóth L.Lövei I.Bozó Z.Csörnyei R.Király R.Kitlei T.Nagy A.N.Víg
Talks about:
program (3) subtyp (3) properti (2) erlang (2) mark (2) use (2) relationship (1) metaprogram (1) implement (1) behaviour (1)

Person: Tamás Kozsik

DBLP DBLP: Kozsik:Tam=aacute=s

Contributed to:

CEFP 20092009
CEFP 20072007
IFL 20062006
CEFP 20052005
GPCE 20032003

Wrote 6 papers:

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-2007-KozsikCHKKLNTV #case study #erlang #refactoring
Use Cases for Refactoring in Erlang (TK, ZC, ZH, RK, RK, LL, TN, MT, ANV), pp. 250–285.
IFL-2006-Kozsik #proving #type system
Proving Program Properties Specified with Subtype Marks (TK), pp. 163–180.
CEFP-2005-Kozsik #tutorial #type system
Tutorial on Subtype Marks (TK), pp. 191–222.
CEFP-2005-TejfelHK #source code
Temporal Properties of Clean Programs Proven in Sparkle-T (MT, ZH, TK), pp. 168–190.
GPCE-2003-ZolyomiPK #c++ #metaprogramming #type system
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.

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.