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 × Cyprus
1 × Italy
1 × Japan
1 × The Netherlands
1 × United Kingdom
2 × France
3 × USA
Collaborated with:
D.Peled A.Popescu A.Yasmeen A.P.Felty D.Miller W.Mansky D.Griffith C.J.Osborn A.Muscholl R.P.Kurshan C.A.Gunter M.Jackson P.Zave F.Pfenning J.Hannan G.Nadathur A.Scedrov
Talks about:
program (2) system (2) prolog (2) lambda (2) formal (2) extend (2) tool (2) substitut (1) increment (1) framework (1)

Person: Elsa L. Gunter

DBLP DBLP: Gunter:Elsa_L=

Contributed to:

GRAPHITE 20142014
ICFP 20112011
ISSTA 20112011
FOSSACS 20102010
LICS 20102010
TACAS 20022002
TACAS 20012001
CAV 20002000
ICRE 20002000
TACAS 19991999
CADE 19901990
CADE 19881988

Wrote 12 papers:

GRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification
Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
ICFP-2011-PopescuG #recursion #syntax
Recursion principles for syntax with bindings and substitution (AP, ELG), pp. 346–358.
ISSTA-2011-YasmeenG #analysis #automation #framework
Automated framework for formal operator task analysis (AY, ELG), pp. 78–88.
FoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction #process
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
LICS-2010-PopescuGO #normalisation #system f
Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.
TACAS-2002-GunterP #concurrent #debugging
Temporal Debugging for Concurrent Systems (ELG, DP), pp. 431–444.
TACAS-2001-GunterMP #composition #sequence chart
Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
CAV-2000-GunterKP #interactive #named #testing
PET: An Interactive Software Testing Tool (ELG, RPK, DP), pp. 552–556.
ICRE-2000-GunterGJZ #requirements
A Reference Model for Requirements and Specifications-Extended Abstract (CAG, ELG, MJ, PZ), p. 189.
Path Exploration Tool (ELG, DP), pp. 405–419.
CADE-1990-FeltyGMP #prolog #tutorial #λ-calculus
Tutorial on Lambda-Prolog (APF, ELG, DM, FP), p. 682.
CADE-1988-FeltyGHMNS #logic programming #named #programming language #prolog #λ-calculus
Lambda-Prolog: An Extended Logic Programming Language (APF, ELG, JH, DM, GN, AS), pp. 754–755.

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.