Information Technology Reference
In-Depth Information
[LT08]
Li, H., Thompson, S.J.: Tool support for refactoring functional programs.
In: Gluck and de Moor/pepm/2008, pp. 199-203 (2008)
[LTR05]
Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer, HaRe, and its
API. Electr. Notes Theor. Comput. Sci. 141(4), 29-34 (2005)
[ST08]
Sultana, N., Thompson, S.J.: Mechanical verification of refactorings. In:
pepm, pp. 51-60 (2008)
[Sve09]
Svensson, H.: Implementing an ltl-to-buchi translator in erlang: a protest
experience report. In: Erlang Workshop, pp. 63-70 (2009)
[TH08]
Teoh, S.T., Horvath, Z. (eds.): Proceedings of the 7th ACM SIGPLAN
workshop on ERLANG, Victoria, BC, Canada, Se ptember 27. ACM, New
York (2008)
[Tho04]
Thompson, S.: Refactoring functional programs. In: Vene, V., Uustalu,
T. (eds.) AFP 2004. LNCS, vol. 3622, pp. 331-357. Springer, Heidelberg
(2005)
[WD09]
Walkinshaw, N., Derrrick, J.: Incrementally discovering testable specifica-
tions from program executions. In: FMCO (2009)
[WDG09]
Walkinshaw, N., Derrick, J., Guo, Q.: Iterative refinement of reverse-
engineered models by model-based testing. In: Cavalcanti, A., Dams, D.R.
(eds.) FM 2009. LNCS, vol. 5850, pp. 305-320. Springer, Heidelberg (2009)
[ZH02]
Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing in-
put. IEEE Trans. Software Eng. 28(2), 183-200 (2002)
