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 × France
1 × Japan
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:
A.Blewitt A.Bundy S.Lindley U.Schöpp A.Armstrong Thomas Bauereiss Brian Campbell 0001 A.Reid K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte S.Flur Neel Krishnaswami P.Sewell
Talks about:
calculus (2) pattern (2) automat (2) design (2) verif (2) model (2) type (2) name (2) java (2) abstract (1)

Person: Ian Stark

DBLP DBLP: Stark:Ian

Contributed to:

ASE 20052005
FoSSaCS 20052005
TLCA 20052005
CSL 20042004
ASE 20012001
TLCA 19971997
LICS 19961996
POPL 20192019

Wrote 8 papers:

ASE-2005-BlewittBS #automation #design pattern #java #verification
Automatic verification of design patterns in Java (AB, AB, IS), pp. 224–232.
FoSSaCS-2005-Stark #algebra #modelling #π-calculus
Free-Algebra Models for the π-Calculus (IS), pp. 155–169.
Reducibility and TT-Lifting for Computation Types (SL, IS), pp. 262–277.
CSL-2004-SchoppS #dependent type #type system
A Dependent Type Theory with Names and Binding (US, IS), pp. 235–249.
ASE-2001-BlewittBS #automation #design pattern #java #verification
Automatic Verification of Java Design Patterns (AB, AB, IS), pp. 324–327.
TLCA-1997-Stark #equation
Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
LICS-1996-Stark #abstract domain #domain model #π-calculus
A Fully Abstract Domain Model for the π-Calculus (IS), pp. 36–42.
POPL-2019-ArmstrongBCRGNM #semantics
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.

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.