Information Technology Reference
In-Depth Information
14. Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic pro-
grams. J. ACM 43(1), 20-74 (1996)
15. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms,
2nd edn. MIT Press and McGraw-Hill (2001)
16. de Moura, L., Bjørner, N.: Z3: An ecient SMT solver. In: Ramakrishnan, C.R., Re-
hof,J.(eds.) TACAS 2008.LNCS,vol.4963,pp.337-340. Springer,Heidelberg(2008)
17. de Moura, L., Bjørner, N.: Generalized, ecient array decision procedures. In:
Formal Methods in Computer-Aided Design (November 2009)
18. Demsky, B., Rinard, M.C.: Automatic detection and repair of errors in data struc-
tures. In: OOPSLA, pp. 78-95 (2003)
19. Demsky, B., Rinard, M.C.: Data structure repair using goal-directed reasoning. In:
ICSE, pp. 176-185 (2005)
20. Dutertre, B., de Moura, L.: The Yices SMT solver (2006),
21. Elkarablieh, B., Khurshid, S.: Juzi: a tool for repairing complex data structures.
In: ICSE, pp. 855-858 (2008)
22. Elkarablieh, B., Khurshid, S., Vu, D., McKinley, K.S.: Starc: static analysis for
ecient repair of complex data. In: OOPSLA, pp. 387-404 (2007)
23. von Essen, C., Jobstmann, B.: Program repair without regret. In: Sharygina, N.,
Veith,H.(eds.) CAV 2013.LNCS,vol.8044, pp.896-911. Springer,Heidelberg(2013)
24. Flener, P., Partridge, D.: Inductive programming. Autom. Softw. Eng. 8(2), 131-137
(2001)
25. Gallagher, J., Peralta, J.: Regular tree languages as an abstract domain in program
specialisation. Higher-Order and Symbolic Computation 14(2-3), 143-172 (2001)
26. Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.:
Test generation through programming in UDITA. In: International Conference on
Software Engineering (ICSE) (2010)
27. Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs.
In: PLDI, pp. 62-73 (2011)
28. Hanus, M.: Type-oriented construction of web user interfaces. In: PPDP, pp. 27-38
(2006)
29. Hanus, M., Kluß, C.: Declarative programming of user interfaces. In: Gill, A., Swift,
T. (eds.) PADL 2009. LNCS, vol. 5418, pp. 16-30. Springer, Heidelberg (2008)
30. Hofmann, M.: IgorII - an analytical inductive functional programming system (tool
demo). In: PEPM, pp. 29-32 (2010)
31. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw.
Eng. Methodol. 11(2), 256-290 (2002)
32. Jacobs, S., Kuncak, V., Suter, P.: Reductions for synthesis procedures. In:
Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737,
pp. 88-107. Springer, Heidelberg (2013)
33. Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: FMCAD (2006)
34. Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: A tool for prop-
erty synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590,
pp. 258-262. Springer, Heidelberg (2007)
35. Kahsai, T., Tinelli, C.: PKIND: A parallel k-induction based model checker. In:
10th Int. Workshop Parallel and Distributed Methods in verifiCation, PDMC 2011
(2011)
36. Kitzelmann, E., Schmid, U.: Inductive synthesis of functional programs: An expla-
nation based generalization approach. JMLR 7, 429-454 (2006)
37. Kneuss, E., Kuncak, V., Kuraj, I., Suter, P.: On integrating deductive synthesis
and verification systems. Technical Report EPFL-REPORT-186043, EPFL (2013)
