Information Technology Reference
In-Depth Information
38. Koksal, A.S., Kuncak, V., Suter, P.: Scala to the power of Z3: Integrating SMT
and programming. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011.
LNCS, vol. 6803, pp. 400-406. Springer, Heidelberg (2011)
39. Koksal, A., Kuncak, V., Suter, P.: Constraints as control. In: ACM SIGACT-
SIGPLAN Symposium on Principles of Programming Languages, POPL (2012)
40. Kuncak,V.,Mayer,M., Piskac,R.,Suter,P.:Complete functionalsynthesis.In:ACM
SIGPLAN Conf. Programming Language Design and Implementation, PLDI (2010)
41. Kuncak, V., Mayer, M., Piskac, R., Suter, P.: Functional synthesis for linear arith-
metic and sets. Software Tools for Technology Transfer (STTT), TBD (TBD) (2012)
42. Kuncak, V., Mayer, M., Piskac, R., Suter, P.: Software synthesis procedures. Com-
munications of the ACM (2012)
43. Leino, K.R.M.: This is Boogie 2. Manuscript KRML 178, working draft (June 24,
2008)
44. Malik, M.Z., Siddiqui, J.H., Khurshid, S.: Constraint-based program debugging
using data structure repair. ICST, 190-199 (2011)
45. Manna, Z., Waldinger, R.: A deductive approach to program synthesis. ACM Trans.
Program. Lang. Syst. 2(1), 90-121 (1980)
46. Manna, Z., Waldinger, R.J.: Toward automatic program synthesis. Commun.
ACM 14(3), 151-165 (1971)
47. Michael Hanus, E.: Curry: An integrated functional logic language vers. 0.8.2
(2006),
http://www.curry-language.org
48. Milicevic, A., Rayside, D., Yessenov, K., Jackson, D.: Unifying execution of imper-
ative and declarative code. In: ICSE, pp. 511-520 (2011)
49. Muggleton, S., Raedt, L.D.: Inductive logic programming: Theory and methods. J.
Log. Program. 19(20), 629-679 (1994)
50. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL. LNCS, vol. 2283. Springer,
Heidelberg (2002)
51. Odersky, M.: Contracts for Scala. In: Barringer, H., et al. (eds.) RV 2010. LNCS,
vol. 6418, pp. 51-57. Springer, Heidelberg (2010)
52. Okasaki, C.: Purely Functional Data Structures. Cambridge University Press
(1998)
53. Pei, Y., Wei, Y., Furia, C.A., Nordio, M., Meyer, B.: Evidence-based automated
program fixing. CoRR, abs/1102.1059 (2011)
54. Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of reactive(1) designs. In: Emerson,
E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 364-380. Springer,
Heidelberg (2006)
55. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989:
Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, pp. 179-190. ACM, New York (1989)
56. Polikarpova, N., Furia, C.A., West, S.: To run what no one has run before. In: Int.
Conf. Runtime Verification (2013)
57. Samimi, H., Aung, E.D., Millstein, T.: Falling back on executable specifications. In:
D'Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 552-576. Springer, Heidelberg
(2010)
58. Schrijvers, T., Stuckey, P.J., Wadler, P.: Monadic constraint programming. J.
Funct. Program. 19(6), 663-697 (2009)
59. Senni, V., Fioravanti, F.: Generation of test data structures using constraint logic
programming. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305,
pp. 115-131. Springer, Heidelberg (2012)
