5096 search results - page 906 / 1020 » Associations as a Language Construct |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
180
click to vote
DEBU
2008
15 years 6 months ago
2008
Social media are constructed from the collective contributions of potentially millions of individuals and present an increasingly common and large scale form of database. As these...
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
164
click to vote
APAL
2006
15 years 6 months ago
2006
: It follows directly from Shelah's structure theory that if T is a classifiable theory, then the isomorphism type of any model of T is determined by the theory of that model ...
157
click to vote
CAL
2007
15 years 6 months ago
2007
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...