4767 search results - page 375 / 954 » Structures for Abstract Rewriting |
201
click to vote
ASWEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
122
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract Climbing robots that climb flat structures using suction cups or magnets are commonly described in the literature. However, robots that can autonomously find randomly plac...
165
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
185
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
192
click to vote
TLCA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...