3440 search results - page 458 / 688 » Logics For Context-Free Languages |
200
click to vote
ESOP
2005
Springer
16 years 22 days ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
188
click to vote
AMAI
2004
Springer
16 years 19 days ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
181
click to vote
ESOP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
217
click to vote
EPIA
2003
Springer
16 years 13 days ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
221
click to vote
FM
2003
Springer
16 years 13 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...