2482 search results - page 231 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
120
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
115
Voted
SIGUCCS
2006
ACM
15 years 8 months ago
2006
ACM
In recent years, the use of a computer has become a requirement for success in a collegiate environment, and the demand for mobile computing has sharply increased. In response to ...
138
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
117
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
120
Voted
SIGMOD
1998
ACM
15 years 6 months ago
1998
ACM
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...