Feldthaus, A., Millstein, T.
, Møller, A., Schäfer, M. & Tip, F. (2011).
Refactoring towards the good parts of JavaScript. Poster session presented at SPLASH 2011, Portland, Oregon, United States.
https://doi.org/10.1145/2048147.2048200
Danvy, O. & Hatcliff, J. (2000).
Partial Evaluation. In A. Ralston, E. Reilly & D. Hemmendinger (Eds.),
Encyclopedia of Computer Science (pp. 1370-1371). Macmillan Reference.
Madsen, M. & Andreasen, E. (2014).
String Analysis for Dynamic Field Access. In A. Cohen (Ed.),
Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (pp. 197-217). Springer.
https://doi.org/10.1007/978-3-642-54807-9_12
Larsen, C. A., Schmidt, S. M., Steensgaard, J.
, Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023).
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer.
https://doi.org/10.1007/978-3-031-30820-8_22
Klarlund, N.
, Møller, A. & Schwartzbach, M. I. (2001).
MONA Implementation Secrets. In S. Yu & A. Paun (Eds.),
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer.
https://doi.org/10.1007/3-540-44674-5_4