SPLASH-E 2018 – Proceedings

2018 ACM SIGPLAN SPLASH-E Workshop (SPLASH-E 2018)

Frontmatter

Papers

A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
James D. Teresco, Michael A. Dagostino Jr., Abdul Samad, and Eric D. Sauer
(Siena College, USA)

@InProceedings{SPLASH-E18p1, author = {James D. Teresco and Michael A. Dagostino Jr. and Abdul Samad and Eric D. Sauer}, title = {A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations}, booktitle = {Proc.\ SPLASH-E}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3310089.3313179}, year = {2018}, } Publisher's Version Article: splashws18splashemain-p1-p (type: Full Paper) doi:10.1145/3310089.3313179

LambdaLab: An Interactive λ-Calculus Reducer for Learning
Daniel Sainati and Adrian Sampson
(Cornell University, USA)

@InProceedings{SPLASH-E18p11, author = {Daniel Sainati and Adrian Sampson}, title = {LambdaLab: An Interactive λ-Calculus Reducer for Learning}, booktitle = {Proc.\ SPLASH-E}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3310089.3313180}, year = {2018}, } Publisher's Version Article: splashws18splashemain-p2-p (type: Full Paper) doi:10.1145/3310089.3313180

proc time: 0.01