SPLASH 2011
Table of Contents
- Background
- Sessions
- FOOL 2011
- Scheme 2011
- Adapting Scheme-Like Macros to a C-Like Language, (Kevin Atkinson)
- cKanren: miniKanren with Constraints, (Claire E. Alvis)
- Ftypes: Structured foreign types, (Andrew W. Keep)
- HopTex, compiling HTML to LaTeX with CSS (Manuel Serrano)
- Computational Contracts (Christophe Scholliers)
- Hygienic Literate Programming: Lessons from ChezWEB (Aaron W. Hsu)
- Keeping it Clean with syntax-parameterize (Eli Barzilay)
- Scheme Standardization Status Report (Arthur Gleckler)
- GPCE11
- Other
Background
SPLASH stands for Systems, Programming, Languages and Applications: Software for Humanity. SPLASH is an annual conference that embraces all aspects of software construction and delivery, and that joins all factions of programming technologies.
Sessions
FOOL 2011
A Program Logic for JavaScript (Philippa Gardner)
Looks at how we reason about JavaScript memory store.
Covers variable assignment and how to reason about scope in ECMAScript 3.
- reasoning about the emulated variable store
- Maffeis operational semantics
- abstraction layers and exampes
Emulated Variable Store
function: lambda paramerters and body
{code} / Q: what are the values of x, y, and z / show reasoning about javascript variable lookup
x = null; y = null; z = null;
f = function(w) { x = v; v = 4; var v; // hoist y = v; };
v = 5; f(null); z = v;
// console.log(x, y, z); {code}
with: parsing and scope
{code} / Q: when is with applied? / {storeLS(a, f|)*l = LS} // Scenario: parsing with included external libraris a = { x: 1};
with(a) { f = function(y) { return x; }; };
a = {x: 2}; f(); // console.log(f()); {code}
Adapting Scheme-Like Macros to a C-Like Language, by Kevin Atkinson
Scheme 2011
Adapting Scheme-Like Macros to a C-Like Language, (Kevin Atkinson)
cKanren: miniKanren with Constraints, (Claire E. Alvis)
http://scheme2011.ucombinator.org/papers/Alvis2011.pdf
Prolog type system. Could be used for defining problem sets that return solution sets based on
Ftypes: Structured foreign types, (Andrew W. Keep)
http://scheme2011.ucombinator.org/papers/Keep2011.pdf
Created object types for writing memory directly.
HopTex, compiling HTML to LaTeX with CSS (Manuel Serrano)
Documents as scheme programs
scribble'09
Computational Contracts (Christophe Scholliers)
http://scheme2011.ucombinator.org/papers/Scholliers2011.pdf
provides/contract
What are the transitions fro the state when in a comptation event
Racket contract system
LAScheme
Implementation
contacts in javascript
Hygienic Literate Programming: Lessons from ChezWEB (Aaron W. Hsu)
Keeping it Clean with syntax-parameterize (Eli Barzilay)
Hygienic Macros
Implemenetation
How to define clean cmo values that can't be polluted.
Scheme Standardization Status Report (Arthur Gleckler)
Standard
Notes
hash tables, ffi, science fiction
GPCE11
http://program-transformation.org/GPCE11
Generative Programming and Component Engineering (GPCE'11)