A Computation Model for Z Based on Concurrent Constraint Resolution

This publication has 10 references indexed in Scilit:

• Solving systems of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Recursive definitions in Z
  Published by Springer Nature ,1998
• A unified computation model for functional and logic programming
  Published by Association for Computing Machinery (ACM) ,1997
• Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
  Journal of Functional Programming, 1996
• The programming language Z--
  Information and Software Technology, 1995
• The Z-into-Haskell tool-kit: An illustrative case study
  Published by Springer Nature ,1995
• The integration of functions into logic programming: From theory to practice
  The Journal of Logic Programming, 1994
• Partial logics reconsidered: A conservative approach
  Formal Aspects of Computing, 1993
• Software development: two approaches to animation of Z specifications using prolog
  Software Engineering Journal, 1992
• Functional Programming Languages and Computer Architecture
  Published by Springer Nature ,1987