abstract-interpretation algorithm / naive web-server implementation / web server / naive web server / garbagecollection algorithms / web-server program / Web server ETL specification using predicates / /
Organization
Univ. of Wisconsin / Ministry of Science / School of Comp / U.S. Securities and Exchange Commission / Tel-Aviv Univ. / /
Person
Aviv Univ / /
Position
explicit scheduler / public class Scheduler / scheduler / public class Worker / garbage collector / explicit FIFO scheduler / /
ProgrammingLanguage
Java / /
Technology
abstract-interpretation algorithm / http / Java / garbagecollection algorithms / web server / /
Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i