Complutense Group on Program Analyis and Transformation
COSTA
Universidad Autónoma de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Autónoma de Madrid (4)
2018
-
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
May-happen-in-parallel analysis for actor-based concurrency
ACM Transactions on Computational Logic, Vol. 17, Núm. 2
2009
-
A declarative encoding of telecommunications feature subscription in SAT
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
2005
-
Abstraction carrying code and resource-awareness
PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming