Collaborated with:
S.Erdweg M.Mezini P.Wittmann Michael Raulf A.Pacak
Talks about:
system (2) infrastructur (1) knowledg (1) descript (1) theorem (1) languag (1) checker (1) specif (1) prover (1) explor (1)
Person: Sylvia Grewe
DBLP: Grewe:Sylvia
Contributed to:
Wrote 3 papers:
- Onward-2015-GreweEWM #performance #proving #type system
- Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.
- PPDP-2016-GreweERM #compilation #first-order #logic #specification
- Exploration of language specifications by compilation to first-order logic (SG, SE, MR, MM), pp. 104–117.
- PPDP-2018-GreweEPM #automation #framework #proving #theorem proving
- System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.