En optimierande kompilator för SMV till CLP(B)
This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler uses an internal repr...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | Swedish |
| Published: |
Linköpings universitet, Institutionen för datavetenskap
2005
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2805 |