A. Villanueva

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework Fundamenta Informaticae	2021-05-20	Paper
Symbolic abstract contract synthesis in a rewriting framework (available as arXiv preprint)	2017-10-13	Paper
A program analysis framework for \textit{tccp} based on abstract interpretation Formal Aspects of Computing	2017-06-01	Paper
Abstract Analysis of Universal Properties for tccp Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Abstract diagnosis for tccp using a linear temporal logic Theory and Practice of Logic Programming	2014-11-25	Paper
The \textsf{tccp} interpreter Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages	2014-02-25	Paper
An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation	2014-01-10	Paper
A framework for timed concurrent constraint programming with external functions Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Abstract model checking of \textsf{tccp} programs	2013-09-20	Paper
Modeling concurrent systems specified in a temporal concurrent constraint language. I Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
Abstract diagnosis for timed concurrent constraint programs Theory and Practice of Logic Programming	2011-08-16	Paper
Bridging the gap between two concurrent constraint languages Functional and Constraint Logic Programming	2011-05-27	Paper
Automatic verification of timed concurrent constraint programs Theory and Practice of Logic Programming	2006-07-14	Paper
A semantic framework for the abstract model checking of tccp programs Theoretical Computer Science	2005-12-29	Paper
scientific article; zbMATH DE number 2111990 (Why is no real title available?)	2004-10-28	Paper

Research outcomes over time

This page was built for person: A. Villanueva