<--- Back to Details
First PageDocument Content
Computing / Programming language theory / Unified Modeling Language / Boolean algebra / Object Constraint Language / Type system / Boolean data type / Enumerated type / EXPRESS / Data types / Software engineering / Type theory
Date: 2008-05-12 05:05:11
Computing
Programming language theory
Unified Modeling Language
Boolean algebra
Object Constraint Language
Type system
Boolean data type
Enumerated type
EXPRESS
Data types
Software engineering
Type theory

Add to Reading List

Source URL: cs.ulb.ac.be

Download Document from Source Website

File Size: 280,97 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Data types / C++ / Java / Enumerated type / Type theory / Const / Enumeration / Scope / C++ classes

Robust and efficient translations in C++ using tables with zero-based enumerations 10 January 2015, Christophe Riccio G-Truc Creation

DocID: 1rtWX - View Document

Computing / Remote procedure call / Apache Avro / Inter-process communication / Web services / JSON / Toi / Enumerated type / Alias / Comparison of data serialization formats / MessagePack

Apache Avro# 1.8.1 Specification Table of contents 1 Introduction........................................................................................................................3

DocID: 1r9gq - View Document

Computing / Procedural programming languages / Enumerated type / Type theory / Enumeration / MAD / XML schema / Subscriber identity module

SIM Profile Mark-Up Language V2 0 Final Release Candidate Version_04

DocID: 1qYTr - View Document

Software engineering / Computer programming / Constraint programming / Enumerated type / Type theory / Constraint satisfaction problem / Generator / Backtracking / Data structure

Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USA

DocID: 1qTcB - View Document

Computing / Web services / Health informatics / Standards organizations / Health Level 7 / Web Services Description Language / DICOM / MIME / Integrating the Healthcare Enterprise / Enumerated type / Email

Integrating the Healthcare Enterprise 5 IT Infrastructure Technical Framework

DocID: 1qONx - View Document