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 × Canada
1 × Finland
1 × Italy
1 × The Netherlands
Collaborated with:
P.G.Larsen N.Battle H.K.A.Lintrup L.D.Couto P.W.V.Tran-Jørgensen J.W.Coleman
Talks about:
vdm (3) combinatori (1) architectur (1) translat (1) abstract (1) support (1) connect (1) syntax (1) migrat (1) extens (1)

Person: Kenneth Lausdahl

DBLP DBLP: Lausdahl:Kenneth

Contributed to:

WICSA 20152015
IFM 20132013
SEFM 20102010
FM 20092009

Wrote 4 papers:

WICSA-2015-CoutoTCL #abstract syntax tree #architecture #migration #syntax
Migrating to an Extensible Architecture for Abstract Syntax Trees (LDC, PWVTJ, JWC, KL), pp. 145–154.
IFM-2013-Lausdahl #alloy
Translating VDM to Alloy (KL), pp. 46–60.
SEFM-2010-LarsenLB #combinator #testing
Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.
FM-2009-LausdahlLL #tool support #uml
Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.

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.