ISO IEC 10514-2 Generics Modula-2

ISO IEC 10514-2 adalah Standar Internasional mengenai teknologi informasi, khususnya tentang bahasa pemrograman, Part 2: Generics Modula-2.

Standar versi terbaru yang masih berlaku adalah terbitan tahun 1998 dengan judul berikut :

  • ISO/IEC 10514-2:1998 Information technology — Programming languages — Part 2: Generics Modula-2

Standar ini terakhir ditinjau dan dikonfirmasi pada tahun 2021, oleh karena itu versi ini masih dinyatakan tetap berlaku hingga saat ini.

Standar ISO/IEC 10514-2:1998

1.1 Umum

Bagian ISO/IEC 10514 ini menetapkan ekstensi untuk memungkinkan fasilitas pemrograman generik ditambahkan ke modula-2 dasar.

Bahasa yang didefinisikan dalam Standar Internasional ISO/IEC 10514-1 tanpa mengubah arti dari program yang sah yang diizinkan oleh Bahasa Dasar

(kecuali untuk penggunaan kata kunci baru yang diperkenalkan oleh standar ini—lihat klausa 5).

1.2 Spesifikasi yang disertakan dalam bagian ISO/IEC 10514

Selain spesifikasi yang termasuk dalam Bahasa Dasar, bagian ISO/IEC 10514 ini menyediakan spesifikasi untuk:

  • simbol yang diperlukan untuk program yang ditulis dalam ISO Standard Modula-2 dengan ekstensi Generik;
  • struktur leksikal dan semantik program yang ditulis dalam Standar ISO Modula-2 dengan ekstensi Generik;
  • sintaks program yang ditulis dalam ISO Standard Modula-2 dengan ekstensi Generik;
  • pelanggaran aturan penggunaan ekstensi Generik yang perlu dideteksi oleh implementasi yang sesuai;
  • persyaratan kepatuhan lebih lanjut untuk implementasi, termasuk persyaratan dokumentasi.

1.3 Hubungan dengan ISO/IEC 10514-1

Bagian ISO/IEC 10514 ini adalah bagian dua dari Standar ISO/IEC 10514 multi-bagian.

Bagian ISO/IEC 10514 ini memperluas dan memodifikasi Bahasa Dasar ISO/IEC 10514-1,

tetapi penerapan bagian ISO/IEC 10514 ini bersifat opsional sehubungan dengan Bahasa Dasar.

Bagian ISO/IEC 10514 ini juga independen dari bagian lain dari ISO/IEC 10514,

kecuali untuk bagian 1, dan dapat diadopsi baik bersama-sama dengan atau secara independen dari bagian lain tersebut.

1.4 Spesifikasi yang tidak termasuk dalam cakupan bagian ISO/IEC 10514

Selain kategori spesifikasi yang dikecualikan oleh Bahasa Dasar, bagian ISO/IEC 10514 ini tidak memberikan spesifikasi untuk:

  • metode di mana penyempurnaan spesifik dibangun dari modul pustaka generik;
  • metode di mana modul perpustakaan generik, modul penyempurnaan terkait, dan penyempurnaan yang dihasilkan oleh ini disimpan (termasuk korespondensi antara nama modul dan nama file sistem tempat file digunakan).

Penerbitan Standar ISO/IEC 10514-2:1998

Standar ini diterbitkan dan dipublikasikan pada Desember 1998, berupa dokumen edisi 1 dengan jumlah halaman sebanyak 45 lembar.

Disusun oleh :

  • Technical Committee ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces,
  • atau : Komite Teknis ISO/IEC JTC 1/SC 22 Bahasa pemrograman, lingkungannya, dan antarmuka perangkat lunak sistem.

ICS :

  • 35.060 Languages used in information technology, atau : Bahasa yang digunakan dalam teknologi informasi.

Sebagaimana standar ISO lainnya, ISO/IEC 10514-2:1998 ini juga ditinjau setiap 5 tahun dan peninjauan sudah mencapai tahap 90,93 (dikonfirmasi).

Isi Standar ISO/IEC 10514-2:1998

Berikut adalah kutipan isi Standar ISO/IEC 10514-2:1998 yang diambil dari Online Browsing Platform (OBP) dari situs resmi iso.org.

Yang ditambah dengan berbagai keterangan dan informasi untuk mempermudah pemahaman pembaca.

Hanya bagian standar yang informatif yang tersedia untuk umum, OBP hanya menampilkan hingga klausa 3 saja.

Oleh karena itu, untuk melihat konten lengkap dari standar ini, maka pembaca harus membeli standar dari ISO ini secara resmi.

Daftar Isi Standar ISO/IEC 10514-2:1998

  • Foreword
  • Introduction
  • 1 Scope
  • General
  • Specifications included in this part of ISO/IEC 10514
  • Relationship to ISO/IEC 10514-1
  • Specifications not within the scope of this part of ISO/IEC 10514
  • Normative References
  • Definitions, Structure and Conventions
  • Definitions
  • Structure of the Formal Definition
  • Conventions
  • Requirements for Implementations
  • General Requirements
  • Translation
  • Source Code Representation
  • Ordering of Declarations
  • Predefined Entities
  • Library Modules
  • Errors
  • Exceptions
  • Implementation-dependencies
  • Documentation
  • Statement of Compliance
  • Minimum requirements
  • The Lexis
  • Relationship to the Base Language
  • Keyword
  • The Language
  • The Model
  • Programs, Program Modules, and Separate Modules
  • Definitions and Declarations
  • Refining Local Module Declarations
  • Module Parameter Compatibility
  • Exceptions
  • System Modules
  • Required Library Modules
  • Standard Library Modules
  • Annex A Changes To the Syntax of the Base Language
  • Annex B Collected Concrete Syntax
  • Annex C Rationale
  • C.1 General
  • C.2 Rationale For Some Decisions
  • C.3 Possible Future Work
  • C.4 Relationship to Other Languages
  • Annex D Translations of Example Refinements to Standard Modula-2
  • D.1 Introduction
  • D.2 Examples from 6.2.3, 6.2.4
  • D.3 Examples from 6.4 (local refinements)
  • Annex E File Names
  • Annex F Participating Individuals
  • Bibliography

Foreword : Kata pengantar

ISO (Organisasi Internasional untuk Standardisasi) dan IEC (Komisi Elektroteknik Internasional) membentuk sistem khusus untuk standardisasi di seluruh dunia.

Badan-badan nasional yang menjadi anggota ISO atau IEC berpartisipasi dalam pengembangan Standar Internasional,

melalui komite teknis yang dibentuk oleh organisasi masing-masing untuk menangani bidang kegiatan teknis tertentu.

Komite teknis ISO dan IEC berkolaborasi dalam bidang yang menjadi kepentingan bersama.

Organisasi internasional lainnya, pemerintah dan non-pemerintah, bekerja sama dengan ISO dan IEC, juga ambil bagian dalam pekerjaan tersebut.

Di bidang teknologi informasi, ISO dan IEC telah membentuk komite teknis bersama, ISO/IEC JTC 1.

Rancangan Standar Internasional yang diadopsi oleh komite teknis bersama diedarkan ke badan-badan nasional untuk pemungutan suara.

Publikasi sebagai Standar Internasional memerlukan persetujuan setidaknya 75% dari badan-badan nasional yang memberikan suara.

Standar Internasional ISO/IEC 10514-2 disiapkan oleh :

  • Joint Technical Committee ISO/IEC JTC 1 Information technology, Subcommittee SC 22, Programming languages, their environments and system software interfaces.
  • Atau : Komite Teknis Bersama ISO/IEC JTC 1 Teknologi informasi, Subkomite SC 22, Bahasa pemrograman, lingkungan dan antarmuka perangkat lunak sistemnya.

ISO/IEC 10514 terdiri dari bagian-bagian berikut, dengan judul umum Teknologi informasi — Bahasa pemrograman :

  • — Bagian 1: Modula-2, Bahasa Dasar
  • — Bagian 2: Generik di Modula-2
  • — Bagian 3: Modula-2 Berorientasi Objek

Lampiran A dan B merupakan bagian integral dari bagian ISO/IEC 10514 ini. Lampiran C, D, E, dan F hanya untuk informasi.

Mengenal ISO dan IEC

ISO (International Organization for Standardization) adalah suatu organisasi atau lembaga nirlaba internasional.

Tujuan dari ISO adalah untuk membuat dan memperkenalkan standar dan standardisasi internasional untuk berbagai tujuan.

Sebagaimana dengan ISO, IEC juga merupakan organisasi standardisasi internasional yang menyusun dan menerbitkan standar-standar internasional.

Namun ruang lingkupnya adalah untuk seluruh bidang elektrik, elektronik dan teknologi yang terkait atau bidang teknologi elektro (electrotechnology).

Lebih jelas mengenai ISO dan IEC dapat dibaca pada artikel lain dari standarku.com berikut :

Introduction : Pengenalan Standar

Bagian ISO/IEC 10514 ini menetapkan bentuk dan arti program yang ditulis dalam Standar ISO Modula-2 dengan ekstensi Generik,

dan dengan mengacu pada spesifikasi tersebut menetapkan persyaratan untuk implementasi Standar ISO Modula-2 dengan ekstensi Generik.

Pembaca dirujuk ke Standar Internasional ISO/IEC 10514-1 (selanjutnya disebut sebagai “Bahasa Dasar”) untuk sambutan pengantar tentang bahasa pemrograman Modula-2.

Bagian dari ISO/IEC 10514 ini mendefinisikan Standar ISO Modula-2 dengan ekstensi Generik dengan penambahan ke Bahasa Dasar tanpa mengubah arti dari bagian Bahasa Dasar.

Bagian ISO/IEC 10514 ini tidak memberikan spesifikasi formal Standar ISO Modula-2 dengan ekstensi Generik,

meskipun WG13 bermaksud untuk membuat deskripsi VDM-SL yang sesuai untuk sintaks dan semantik yang dijelaskan di sini jika sumber daya komite mengizinkan.

ISO/IEC 10514-2:1998 Klausa 1-3

1 Scope : Lingkup

Bagian ini sudah dicantumkan pada paragraf awal yang dibagi menjadi beberapa bagian berikut :

  • General
  • Umum
  • Specifications included in this part of ISO/IEC 10514
  • Spesifikasi yang disertakan dalam bagian ISO/IEC 10514
  • Relationship to ISO/IEC 10514-1
  • Hubungan dengan ISO/IEC 10514-1
  • Specifications not within the scope of this part of ISO/IEC 10514
  • Spesifikasi yang tidak termasuk dalam cakupan bagian ISO/IEC 10514 . ini

2   Normative References : Referensi Normatif

Dokumen normatif berikut berisi ketentuan yang, melalui referensi dalam teks ini, merupakan ketentuan dari bagian ISO/IEC 10514 ini.

Untuk referensi bertanggal, amandemen selanjutnya, atau revisi, salah satu dari publikasi ini tidak berlaku.

Namun, para pihak dalam perjanjian berdasarkan bagian ISO/IEC 10514 ini,

didorong untuk menyelidiki kemungkinan penerapan edisi terbaru dari dokumen normatif yang ditunjukkan di bawah ini.

Untuk acuan yang tidak bertanggal, berlaku edisi terbaru dari dokumen normatif yang dimaksud.

Anggota ISO dan IEC memelihara daftar Standar Internasional yang berlaku saat ini.

  • ISO/IEC 10514-1:1996, Information technology — Programming languages — Part 1: Modula-2, Base Language.

3   Definitions, Structure and Conventions : Definisi, Struktur dan Konvensi

3.1   Definitions : Definisi

Untuk tujuan bagian ISO/IEC 10514 ini, definisi yang diberikan dalam ISO/IEC 10514-1 dan definisi berikut berlaku.

3.1.1   Generic separate module : Modul terpisah generik

Jenis baru dari modul terpisah yang memiliki parameter formal yang dapat berupa parameter tipe dan/atau parameter nilai konstan.

Modul terpisah generik berfungsi sebagai templat untuk membangun penyempurnaan spesifik dari dirinya sendiri,

yang telah disesuaikan menggunakan tipe aktual dan/atau ekspresi konstan aktual.

Catatan 1 :

  • Modul terpisah generik terdiri dari modul definisi generik dan modul implementasi generik.
  • Modul definisi generik adalah template dari mana modul definisi dapat disempurnakan.
  • Modul implementasi generik adalah template dari mana modul implementasi dapat disempurnakan.

3.1.2   Refiner or Refining module : Modul Penyulingan atau Penyulingan

Jenis modul baru yang merupakan sarana untuk memasok parameter aktual untuk tujuan membuat penyempurnaan modul terpisah generik dari mana penyempurnaan dibuat.

Catatan 2 :

  • Modul pemurnian dapat berupa modul terpisah, dalam hal ini modul definisi menghasilkan penyempurnaan modul definisi Modula-2 Generik dari modul terpisah generik tempat penyempurnaan dilakukan.
  • Modul implementasi dari modul terpisah pemurnian tersebut menyempurnakan modul implementasi dari modul terpisah generik dari mana penyempurnaan sedang dilakukan.

Catatan 3 :

  • Modul pemurnian dapat berupa modul lokal, dalam hal ini penyempurnaannya memiliki daftar ekspor yang memenuhi syarat item yang ditentukan dalam modul definisi generik yang merupakan modul pemurnian.
  • Modul lokal pemurnian seperti itu memurnikan modul implementasi dari modul terpisah generik dari mana penyempurnaan sedang dilakukan.

3.1.3   Refinement : Penyempurnaan

Entitas abstrak (baik seluruh modul atau item yang dikandungnya) dibangun dari modul terpisah generik,

dengan menentukan dalam modul pemurnian nama modul terpisah generik yang akan disempurnakan dari dan jenis aktual dan/atau ekspresi konstan aktual,

untuk dievaluasi dan kemudian pengganti parameter formal dari modul terpisah generik.

Catatan 4 :

  • Modul pemurnian bukan entitas yang sama dengan penyempurnaan yang dihasilkan darinya.

3.1.4   Refine : Perbaiki

Tindakan membangun penyempurnaan dari modul terpisah generik dengan menggunakan modul pemurnian.

Catatan 5 :

  • Secara abstrak, penyempurnaan modul generik yang terpisah menjadi penyempurnaan khusus adalah tugas penerjemah.
  • Namun, tidak ada bagian dari standar multi-bagian ini yang menghalangi implementasi yang memisahkan tugas terjemahan khusus ini dari yang lain.
  • Misalnya, penyempurnaan dapat dilakukan secara terpisah sebelum tugas terjemahan lainnya.

Catatan 6 :

  • Efek penyempurnaan sama seperti jika penyempurnaan modul terpisah generik telah ditulis langsung dalam bahasa dasar dengan parameter formal diganti dengan hasil evaluasi parameter aktual.
  • Bergantung pada strategi implementasi, ini mungkin tidak sama dengan mengatakan bahwa penyempurnaan menghasilkan program dalam bahasa dasar (kecuali dalam arti abstrak), karena tidak ada persyaratan dalam bagian ISO/IEC 10514 ini untuk perantara tertentu bentuk di mana perbaikan menemukan beberapa ekspresi sebagai file.

Catatan Terminologi :

  • WG13 sudah menggunakan istilah “instantiate” untuk digunakan dalam Modula-2 Berorientasi Objek, dan telah memilih untuk menggunakan “perbaiki” dalam Standar ISO Modula-2 dengan ekstensi Generik.

3.1.5   Generic : Umum

Properti dari keseluruhan dan item apa pun yang ditentukan dalam modul terpisah yang umum, terlepas dari apakah item itu sendiri berisi atau membutuhkan parameter modul.

3.2   Structure of the Formal Definition : Struktur Definisi Formal

Bagian dari Standar Internasional multi-bagian ini menyatakan persyaratannya dalam bentuk yang sama dengan Bahasa Dasar,

dengan pengecualian bahwa saat ini tidak termasuk ekspresi formal semantik dalam VDM-SL.

3.3   Conventions : Konvensi

Konvensi yang digunakan dalam bagian ISO/IEC 10514 ini harus ditafsirkan dengan cara yang sama seperti dalam Bahasa Dasar,

dengan pengecualian bahwa bagian ISO/IEC 10514 ini tidak mencakup VDM-SL saat ini.

Daftar Pustaka atau Bibliography :

  • Barnes, John. Programming in Ada 95. Addison-Wesley: Wokingham, England, 1996
  • Harbison, Samuel P. Modula-3. Prentice Hall: Englewood Cliffs, NJ, 1992
  • Hopper, Keith & Sutcliffe, Richard J. Proposed Generic/Abstract Type Extension To Modula-2 (Canada #C89 WG13 #D211) 1994
  • Schildt, Herbert. C++ From the Ground Up. Osborne McGraw-Hill: Berkeley, 1994
  • Sutcliffe, Richard J. Modula-2 Extension to Support Generic Programming (WG13 Wien-8 #D213) 1994
  • Sutcliffe, Richard J. A Discussion of Generic Data Types in Modula-2 (C3/D11) 1987
  • Sutcliffe, Richard J. Generic Modula-2 (Canada #C93, C94, C95/D220, C96/D221, C101/D235, C103/D242) [CD versions of this DIS]
  • Sutcliffe, Richard J. Responses to Comments on Generic Modula-2 (Canada #C98, C100) 1995
  • Sutcliffe, Richard J. Disposition of Comments on CD 10514-2 (Generics) (Canada #C103/D241, C106/D247) 1997
  • Sutcliffe, Richard J. Disposition of Comments on DIS 10514-2 (Information technology — Programming languages — Part 2: Modula-2, Generics in Modula-2) (Canada #C109/D253) 1997

Demikian artikel dari standarku.com mengenai Standar ISO/IEC 10514-2:1998.

Mohon saran dari pembaca untuk kelengkapan isi artikel ini, silahkan saran tersebut dapat disampaikan melalui kolom komentar.

Baca artikel lain :

Sumber referensi :

Leave a Comment