Powered by
15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022),
December 6–7, 2022,
Auckland, New Zealand
15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)
Frontmatter
Keynotes
Papers
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen,
Christine Rizkallah,
Liam O'Connor,
Partha Susarla,
Gerwin Klein,
Gernot Heiser, and
Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
Publisher's Version
Artifacts Reusable
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen,
Damian Frölich,
Mauricio Verano Merino,
Joey Lai,
Pierre Jeanjean,
Tijs van der Storm,
Benoit Combemale, and
Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
Publisher's Version
Artifacts Functional
proc time: 5.14