The following pages link to Alicia Villanueva (Q2409735):
Displaying 15 items.
- Symbolic abstract contract synthesis in a rewriting framework (Q2409736) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
- (Q2849844) (← links)
- A Framework for Timed Concurrent Constraint Programming with External Functions (Q2867965) (← links)
- (Q2871846) (← links)
- Abstract Diagnosis for tccp using a Linear Temporal Logic (Q2931280) (← links)
- Bridging the Gap between Two Concurrent Constraint Languages (Q3003518) (← links)
- Abstract diagnosis for timed concurrent constraint programs (Q3087437) (← links)
- (Q4823428) (← links)
- Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I (Q4923526) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- The tccp Interpreter (Q5170191) (← links)
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (Q5398052) (← links)
- Automatic verification of timed concurrent constraint programs (Q5476390) (← links)
