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 × Estonia
1 × Italy
1 × Spain
Collaborated with:
N.Benton A.Kennedy L.Birkedal P.Dagand
Talks about:
separ (2) logic (2) level (2) fiction (1) assembl (1) world (1) macro (1) high (1) code (1) best (1)

Person: Jonas Braband Jensen

DBLP DBLP: Jensen:Jonas_Braband

Contributed to:

POPL 20132013
PPDP 20132013
ESOP 20122012

Wrote 3 papers:

POPL-2013-JensenBK #logic #low level
High-level separation logic for low-level code (JBJ, NB, AK), pp. 301–314.
PPDP-2013-KennedyBJD #assembly #coq #metaprogramming #named #question
Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.
ESOP-2012-JensenB #logic
Fictional Separation Logic (JBJ, LB), pp. 377–396.

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.