378 search results - page 33 / 76 » Automating Mathematical Program Transformations |
DOCENG
2009
ACM
15 years 5 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
101
click to vote
CJ
2010
14 years 8 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
PASTE
1998
ACM
15 years 3 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
117
click to vote
ECMDAFA
2009
Springer
15 years 5 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
110
click to vote
SCESM
2006
ACM
15 years 5 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...