The Spec - PowerPoint PPT Presentation

1 / 12
} ?>
View by Category
About This Presentation
Title:

The Spec

Description:

axiom DATE : ANY; axiom C : ANY; function AllocatedType(obj: ref) returns (typ: name) ... procedure DATE.make_today(current: ref); requires current != null; ... – PowerPoint PPT presentation

Number of Views:42
Avg rating:3.0/5.0
Slides: 13
Provided by: Rustan5
Category:
Tags: date | spec

less

Write a Comment
User Comments (0)
About PowerShow.com