The Specification Logic νZ | Zendy

Martin C. Henson | Zendy; Besnik Kajtazi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The Specification Logic νZ

Author(s) -

Martin C. Henson,

Besnik Kajtazi

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.04.027

Subject(s) - programming language , computer science , schema (genetic algorithms) , higher order logic , multimodal logic , predicate logic , logic programming , dynamic logic (digital electronics) , theoretical computer science , description logic , engineering , transistor , voltage , machine learning , electrical engineering

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, some new additional schema operators and extensions to a programming and program development logic

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research