3775 search results - page 350 / 755 » The Expression Problem Revisited |
162
click to vote
RE
2007
Springer
16 years 28 days ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
186
click to vote
ACSC
2006
IEEE
16 years 27 days ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
176
click to vote
SEFM
2006
IEEE
16 years 25 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
191
click to vote
SP
2006
IEEE
16 years 25 days ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
196
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...