Object Models in Z download

This project offers a collection of resources that can be used to document object models in the Z language. This mainly consists in prelude files for z type checking and latex demo files that use it.

Project Samples

Generic specification of dereferencing operators

Project Activity

See All Activity >

License

MIT License

Follow Object Models in Z

Object Models in Z Web Site

Other Useful Business Software

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Object Models in Z!

Additional Project Details

Intended Audience

Science/Research

Registered

2008-11-25

Similar Business Software

Titan

Build the forms, portals, documents, eSignatures, surveys, and workflows your business needs while keeping Salesforce at the center of it all. Titan brings these experiences into a single Salesforce-first platform, with data connected to Salesforce in real time rather than creating another place...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
Highcharts

Highcharts is a JavaScript charting library that allows developers to create interactive and visually appealing charts for web applications. It offers a wide range of chart types, including line charts, bar charts, pie charts, scatter plots, and more. It also supports different types of data,...

See Software
Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See Software
All in One Accessibility

It is an AI accessibility widget to enable websites to be accessible among people with hearing or vision & motor impaired, color blind, dyslexia, cognitive & learning impairments, seizure & epileptic, ADHD, elderly, & Parkinson. It installs in just 2 minutes. It reduces the risk of...

See Software
Eurekos

Eurekos is the customer training LMS built to educate the world outside your organization – partners, distributors and resellers. Most companies spend years perfecting their product, then hand customers a repurposed employee training course and hope for the best. When those customers churn,...

See Software