2496 search results - page 401 / 500 » Error-detecting properties of languages |
116
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
103
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
115
click to vote
ICLP
2009
Springer
15 years 8 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
113
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...