The tccp Interpreter
From MaRDI portal
Publication:5170191
DOI10.1016/j.entcs.2009.12.005zbMath1294.68047MaRDI QIDQ5170191
Alexei Lescaylle, Alicia Villanueva
Publication date: 22 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.12.005
68N15: Theory of programming languages
68N20: Theory of compilers and interpreters
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
tccp, Models and emerging trends of concurrent constraint programming, Bridging the Gap between Two Concurrent Constraint Languages
Uses Software
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A semantic framework for the abstract model checking of tccp programs
- Computer Aided Verification
- Automatic verification of timed concurrent constraint programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item