Open AccessA model counter for constraints over unbounded strings
Author(s) -
Loi Luu,
Shweta Shinde,
Prateek Saxena,
Brian Demsky
Publication year - 2014
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/2666356.2594331
Subject(s) - computer science , probabilistic logic , theoretical computer science , javascript , string (physics) , set (abstract data type) , key (lock) , programming language , algorithm , artificial intelligence , operating system , physics , quantum mechanics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom