Scala to the power of Z3: Integrating SMT and programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6803 LNAI, Issue , 2011, Pages 400-406

  Köksal, Ali Sinan ^a   Kuncak, Viktor ^a   Suter, Philippe ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL SEARCH; CONSTRAINT SOLVERS; NONDETERMINISTIC PROGRAMS; PROGRAMMING LANGUAGE; SATISFIABILITY; SYSTEM SUPPORTS; TYPE SYSTEMS;

CONSTRAINT THEORY;

AUTOMATION;

EID: 80051679924     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22438-6_30     Document Type: Conference Paper

References (5)

1. Emir, B., Vetta, A., Williams, J.: Matching objects with patterns. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 273-298. Springer, Heidelberg (2007)
2. Liang, S.: The Java Native Interface: Programmer's Guide and Specification. Addison-Wesley, London (1999)
3. de Moura, L., Bjørner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
4. Odersky, M., Spoon, L., Venners, B.: Programming in Scala: a comprehensive step-by-step guide. Artima Press (2008)
5. Suter, P., Steiger, R., Kuncak, V.: Sets with cardinality constraints in satisfiability modulo theories. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 403-418. Springer, Heidelberg (2011)