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 × Hungary
1 × Portugal
2 × United Kingdom
3 × Germany
3 × USA
Collaborated with:
G.Li R.J.Boulton M.J.C.Gordon M.W.Whalen D.S.Hardin T.Pham M.O.Myreen S.Owens A.Bundy A.Gacek J.Backes D.D.Cofer L.A.Dennis G.Collins M.Norrish G.Robinson T.F.Melham
Talks about:
languag (3) compil (3) function (2) system (2) produc (2) higher (2) proof (2) order (2) logic (2) architectur (1)

Person: Konrad Slind

DBLP DBLP: Slind:Konrad

Contributed to:

HILT 20142014
HILT 20122012
TACAS 20122012
CC 20092009
TACAS 20082008
CADE 20072007
ESOP 20072007
CADE 20002000
CL 20002000
TACAS 20002000
CADE 19981998

Wrote 11 papers:

HILT-2014-GacekBCSW #architecture #assurance #modelling #named
Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
HILT-2012-HardinSWP #domain-specific language #security
A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
TACAS-2012-HardinSWP #verification
The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
CC-2009-MyreenSG #compilation
Extensible Proof-Producing Compilation (MOM, KS, MJCG), pp. 2–16.
Trusted Source Translation of a Total Function Language (GL, KS), pp. 471–485.
CADE-2007-LiS #compilation #higher-order #logic
Compilation as Rewriting in Higher Order Logic (GL, KS), pp. 19–34.
ESOP-2007-LiOS #compilation #higher-order #logic #set
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.
Wellfounded Schematic Definitions (KS), pp. 45–63.
CL-2000-BoultonS #automation #induction #recursion
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.
TACAS-2000-DennisCNBSRGM #tool support
The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
CADE-1998-SlindGBB #interface
System Description: An Interface Between CLAM and HOL (KS, MJCG, RJB, AB), pp. 134–138.

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.