A Computation Model for Z Based on Concurrent Constraint Resolution-Reference-Cited by-同舟云学术

A Computation Model for Z Based on Concurrent Constraint Resolution

Published:2000 Issue: Volume: Page:414-432
ISSN:0302-9743
Container-title:ZB 2000: Formal Specification and Development in Z and B
language:
Short-container-title:

Author:

Grieskamp Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44525-0_24

Reference25 articles.

1. A. Aiken and E. Wimmers. Solving systems of set constraints. In Symposium on Logic in Computer Science, pages 329–340, June 1992.

2. P. Arenas-Sanchez and A. Dovier. A minimality study for set unification. Journal of Functional and Logic Programming, 1997(7), 1997.

3. Lect Notes Comput Sci;R. D. Arthan,1998

4. R. Büssow and W. Grieskamp. The ZETA System Documentation. Technische Universität Berlin, Dec. 1998. URL: http://uebb.cs.tu-berlin.de/zeta .

5. R. Büssow and W. Grieskamp. A Modular Framework for the Integration of Heterogenous Notations and Tools. In K. Araki, A. Galloway, and K. Taguchi, editors, Proc. of the 1st Intl.Conference on Integrated Formal Methods-IFM’99. Springer-Verlag, London, June 1999.

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

1. jmle: A Tool for Executing JML Specifications Via Constraint Programming;Formal Methods: Applications and Technology;2007

2. Compiling Formal Specifications to Oz Programs;Multiparadigm Programming in Mozart/Oz;2005

3. Faster Analysis of Formal Specifications;Formal Methods and Software Engineering;2004

4. CLPS–B – A constraint solver to animate a B specification;International Journal on Software Tools for Technology Transfer;2003-12-19

5. From program languages to software languages;Journal of Systems and Software;2002-02