Orthogonal to the Java Imperative
Abstract elided by the publisher.
Related papers
- Providing Orthogonal Persistence for Java (Extended Abstract) ECOOP 1998
- On the Orthogonality of Assignments and Procedures in Algol POPL 1993
- Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code GPCE 2012
- Multiple Dispatch as Dispatch on Tuples OOPSLA 1998
- Backstage Java: making a difference in metaprogramming OOPSLA 2011
- Termination and non-termination specification inference PLDI 2015
- Unifying execution of imperative generators and declarative specifications OOPSLA 2020
- Automated transpilation of imperative to functional code using neural-guided program synthesis OOPSLA 2022