Design and Implementation of the High-Level Specification Language CSP(LP)
Design and Implementation of the High-Level Specification Language CSP(LP)
We describe practical experiences of using a logic programming based approach to model and reason about concurrent systems. We argue that logic programming is a good foundation for developing, prototyping, animating new specification languages. In particular, we present the new high-level specification language CSP(LP), unifying CSP with concurrent (constraint) logic programming, and which can be used to formally reason both about logical and concurrent aspects of critical systems.
Specification, Verification, Concurrency, Implementation, and Compilation.
3-540-41768-0
14-28
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
October 2001
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Leuschel, Michael
(2001)
Design and Implementation of the High-Level Specification Language CSP(LP).
Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages.
.
Record type:
Conference or Workshop Item
(Other)
Abstract
We describe practical experiences of using a logic programming based approach to model and reason about concurrent systems. We argue that logic programming is a good foundation for developing, prototyping, animating new specification languages. In particular, we present the new high-level specification language CSP(LP), unifying CSP with concurrent (constraint) logic programming, and which can be used to formally reason both about logical and concurrent aspects of critical systems.
Other
csp-padl-final.ps
- Other
More information
Published date: October 2001
Venue - Dates:
Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages, 2001-10-01
Keywords:
Specification, Verification, Concurrency, Implementation, and Compilation.
Identifiers
Local EPrints ID: 254117
URI: http://eprints.soton.ac.uk/id/eprint/254117
ISBN: 3-540-41768-0
PURE UUID: 01d7b52b-df50-48ca-a892-7d43e74639ba
Catalogue record
Date deposited: 14 Mar 2001
Last modified: 14 Mar 2024 05:30
Export record
Contributors
Author:
Michael Leuschel
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics