Improving abstract interpretations by combining domains
| Authors: | , , , , |
|---|---|
| Format: | article |
| Publication Date: | 1995 |
| Country: | España |
| Institution: | Universidad Politécnica de Madrid |
| Repository: | Archivo Digital UPM |
| OAI Identifier: | oai:oa.upm.es:13721 |
| Online Access: | https://oa.upm.es/13721/ |
| Access Level: | Open access |
| Keyword: | Abstract interpretation logic programming program analysis interpretación abstracta programación lógica análisis de programas |
| Description not available. |