44651 search results - page 8845 / 8931 » A Generalization of the Least General Generalization |
PLDI
2011
ACM
14 years 26 days ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
137
click to vote
PLPV
2011
ACM
14 years 26 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
111
click to vote
PODC
2011
ACM
14 years 26 days ago
2011
ACM
We study several variants of coordinated consensus in dynamic networks. We assume a synchronous model, where the communication graph for each round is chosen by a worst-case adver...
143
click to vote
PODS
2011
ACM
14 years 26 days ago
2011
ACM
Database queries can be broadly classified into two categories: reporting queries and aggregation queries. The former retrieves a collection of records from the database that mat...
POPL
2011
ACM
14 years 26 days ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...