445 search results - page 8 / 89 » A Systematic Construction of Abstract Domains |
GRAMMARS
2002
13 years 9 months ago
2002
Abstract. A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka...
SAS
2010
Springer
13 years 8 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
EVOW
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Dynamic optimization using evolutionary algorithms is receiving increasing interests. However, typical test functions for comparing the performance of various dynamic opt...
AGP
1997
IEEE
14 years 1 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...