Some Semantic Approach

 Include:
    * Operational Semantic
    * Semantic denotation
    * Axiomatic Semantic
    * Algebraic Semantic
    * Structured Operational Semantic / Natural Semantic


Operational Semantics 

In computer science, operational semantics is a way to give meaning to the computer program with a rigorous mathematical way. Operational semantics are classified into two categories: structural operational semantics (or small-step semantics) formally describes how the individual steps of a calculation which takes place in a computer-based systems. By the opposition of natural semantics (or big-step semantics) explains how the overall results obtained from execution.

Semantic denotation 

In any semantic denotation concept derived from English denotation (n) or to denote (v). In the Indonesian language means "a sign for" or "point to" .. Denotation is the relationship between lexical units with all the objects out of context (Matthews 1997: 91).
Axiomatic SemanticAxiomatic semantics is an approach based on mathematical logic to prove the truth of a computer program. This is closely related to Hoare logic. Axiomatic semantics define the meaning of the commands in the program by describing its effect on the statement about the state program. The statement is a logical statement - predicate with variables, which variables determine the state of the program.

Algebraic Semantic 

A programming language theory, algebraic semantics of the programming language is a form of axiomatic semantics based on the law of algebra for describing and reasoning about the semantics of a formal program. In mathematical logic, algebra semantics is a formal semantics based on the algebras studied as part of the logic of algebra. For example, S4 is the logic of capital is characterized by a class of topological boolean algebras-namely, boolean algebras with operators interior. The logic of the other capital was marked with various algebras with other operators. Class of boolean algebras characterize classical propositional logic, and the class of Heyting algebras intuitionistic propositional logic.

Structured Operational Semantic / Natural SemanticStructural

operational semantics (also called structured operational semantics or small-step semantics) was introduced by Gordon Plotkin in (Plotkin81) as a logical means for defining the operational semantics. The basic idea behind SOS is to determine the behavior of a program in terms of the behavior of its parts, thus providing, namely structural, syntax-oriented and inductive, the appearance of the operational semantics. SOS specification defines the behavior of a program in terms of transition relations (sets) (s). SOS specification takes the form of a set of inference rules that define valid transition from a composite piece of syntax in terms of transition components.

Read more »

Syntax,Semantic dan Grammar

Definisi Awal
    * Bahasa pemrograman merupakan notasi formal-> deskripsikan algoritma
    * Mempunyai 2 komponen utama
          o Syntax dan Semantic
    * Syntax:

Kumpulan aturan formal yg menspesifikasikan komposisi suatu program
    * terdiri : huruf, angka & karakter lain
    * Semantic:
          o Mendefinisikan arti dari program yang benar secara syntax dari bahasa tersebut

Desain Bahasa Pemrograman

Kriteria desain bahasa pemrograman
    * Abstraction
          o Kemampuan untuk mengkonstruksi suatu pola yang berulang-ulang,
          o contoh: subprocedure
    * Simplycity
          o Kesederhanaan, semakin sedikit konsep untuk dapat dimengerti, Semakin baik
    * Regularity
          o Keteraturan, semakin sedikit melanggar aturan semakin baik
          o Konsistensi
          o Ketetapan suatu alur atau bentuk bahasa
                + contoh: A(i) pada VB
    * Translation
          o Penerjemah yang cepat dan menghasilkan kode tujuan yang efisien

download: ppt

Read more »

Hardware dan Bahasa Pemograman

Struktur Dan Operasi Komputer

Enam komponen yang berpengaruh terhadap bahasa pemrograman :
   1. Data
   2. Operasi Primitif
   3. Sequence control
   4. Data Access
   5. Manajemen Penyimpanan
   6. Lingkungan beroperasi

Translator dan Software-Simulation
Bagaimana bahasa tingkat tinggi dapat dibaca dan dieksekusi oleh bahasa komputer :

   1. Translation (kompilasi)beberapa translator :
1. Assembler
2. Compiler
3. Loader atau link editor
4. Preprocessor atau Macroprocessor
5. Software Simulation (Software Interpretation)

Compiler dan Intepreter

Compiler adalah suatu program yang menterjemahkan bahasa program (source code) kedalam bahasa objek (object code). Compiler menggabungkan keseluruhan bahasa program dikumpulkan kemudian disusun kembali.

Tahapan Kompilasi:

   1. Pertama source code ( program yang ditulis) dibaca ke memory komputer.
   2. Source code tersebut diubah menjadi object code (bahasa assembly)
   3. Object code dihubungkan dengan library yang dibutuhkan untuk membentuk file yang bisa dieksekusi.

Compiler memerlukan waktu untuk membuat suatu program yang dapat dieksekusi oleh komputer. Tetapi, program yang diproduksi oleh Compiler bisa berjalan lebih cepat dibandingkan dengan yang diproduksi oleh Interpreter, dan bersifat independen.

download: ppt

Read more »

Dasar-dasar Keamanan Komputer

Kriptografi

Berasal dari bahasa Yunani. Kripto berarti secret (rahasia)

Dan graphia berarti writing(tulisan). Menurut terminologi kriptographi adalah limu dan seni untuk menjaga keamananpesan ketika pesan dikirim dari suatu temopat ke tempat yang lain.

Dalam perkembangannnya kriptographi juga digunakan untuk mengidentifikasi pengiriman pesan dengan tanda tangan digital dan keasklian pesan dengan sidik jari digital (fingerprint).

Sejarah Kriptografi

    * Kriptographi sudah digunakan 400 tahun yang lalu den diperkenalkan oleh orang-orang Mesir untuk mengirim pesan ke pasukan militer yang berada di lapangan. Dengan demikian pesan tersebut tidak bisa terbaca oelh pihak musuh walaupun kuriri pembawa pesan tertangkap oleh musuh.
    * Pada zaman Yunani kuno Julius Caesar mengirim pesan (plaintext) kepada seorang Jenderal di medan perang juga menggunaknn kriptographi.Pesan yang diacak disebut encryption dan pesan acak yang sudah dirapikan oleh penerimanya disebut decryption.
    * Pada perang dunia kedua Jerman menggunakan enigma yang disebut juga mesin rotor yang digunakan Hitler untuk mengirim pesan kepada tentaranya.
    * Enigma yang digunakan Jerman bisa mengenkripsi satu pesan sehingga 15 milyar kemugkinan untuk dapat didekripsikan satu pesan.

download: ppt

Read more »