Casl: A Guided Tour of Its Design-Reference-Cited by-同舟云学术

Casl: A Guided Tour of Its Design

Published:1999 Issue: Volume: Page:216-240
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Mosses Peter D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48483-3_15

Reference19 articles.

1. Lect Notes Comput Sci;M. Bidoit,1998

2. CoFI The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW6 and FTP7.

3. CoFI Language Design Task Group. Response to the Referee Report on Casl. Documents/CASLRefereeResponse, in [2], August 1997.

4. CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary. Documents/CASLSummary, in [2], October 1998.

5. CoFI Semantics Task Group. Casl-The CoFI Algebraic Specification Language (version 0.97)-Semantics. Note S6, in [2], July 1997.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Monad-Independent Hoare Logic in HASCASL;Fundamental Approaches to Software Engineering;2003

2. Geometric Modelling with CASL;Recent Trends in Algebraic Development Techniques;2002

3. The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications;Recent Trends in Algebraic Development Techniques;2002

4. The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress;Recent Trends in Algebraic Development Techniques;2002

5. Algebraic Specification in Casl;Software Specification Methods;2001