<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-02-10 23:26:00Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering |
Add to Reading List |
Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.3 Nicholas Nethercote Kim Marriott | Robust and efficient translations in C++ using tables with zero-based enumerations 10 January 2015, Christophe Riccio G-Truc CreationDocID: 1rtWX - View Document |
 | Apache Avro# 1.8.1 Specification Table of contents 1 Introduction........................................................................................................................3DocID: 1r9gq - View Document |
 | SIM Profile Mark-Up Language V2 0 Final Release Candidate Version_04DocID: 1qYTr - View Document |
 | Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USADocID: 1qTcB - View Document |
 | Integrating the Healthcare Enterprise 5 IT Infrastructure Technical FrameworkDocID: 1qONx - View Document |