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 × Sweden
1 × The Netherlands
3 × USA
Collaborated with:
A.H.Bagge V.David K.T.Kalleberg J.Järvi G.Foust O.S.Bagge E.Visser
Talks about:
axiom (4) concept (3) test (3) transform (2) optimis (2) system (2) specif (2) whi (2) constraint (1) interfac (1)

♂ Person: Magne Haveraaen

DBLP DBLP: Haveraaen:Magne

Facilitated 1 volumes:

LDTA 2010PrCo

Contributed to:

GPCE 20142014
HILT 20142014
GPCE 20092009
GPCE 20092011
LDTA 20092010
SCAM 20092009
LDTA 20082009
GPCE 20062006
SCAM 20032003

Wrote 9 papers:

GPCE-2014-JarviFH #constraints #data flow #multi
Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.
HILT-2014-BaggeH #algebra #api #specification #why
Specification of generic APIs, or: why algebraic may be better than pre/post (AHB, MH), pp. 71–80.
GPCE-2009-BaggeDH #axiom #c++ #concept #testing
The axioms strike back: testing with concepts and axioms in C++ (AHB, VD, MH), pp. 15–24.
GPCE-J-2009-BaggeDH11 #axiom #c++ #testing
Testing with Axioms in C++ 2011 (AHB, VD, MH), pp. 239–270.
LDTA-2009-BaggeH10 #concept #matter #why
Interfacing Concepts: Why Declaration Style Shouldn’t Matter (AHB, MH), pp. 37–50.
SCAM-2009-DavidH #concept
Concepts as Syntactic Sugar (VD, MH), pp. 147–156.
LDTA-2008-BaggeH09 #axiom #optimisation #testing
Axiom-Based Transformations: Optimisation and Testing (AHB, MH), pp. 17–33.
GPCE-2006-BaggeDHK #exception
Stayin’ Alert: Moulding Failure and Exceptions to Your Needs (AHB, VD, MH, KTK), pp. 265–274.
SCAM-2003-BaggeKHV #c++ #design #optimisation #source code
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs (OSB, KTK, MH, EV), p. 65–?.

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.