A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Sigma kalkul je beztypový deklaratívny jazyk, ktorý popisuje minimálny model objektovo orientovaného programovania.[1] Slúži ako formálna báza pre model výpočtu s netypovanými objektami. Pre symbol sigma sa používa grécke písmo ς.
Menej formálne povedané je sigma kalkul veľmi jednoduchý programovací jazyk, ktorého program je práve jeden ς-výraz. Vďaka jednoduchosti jazyka je možné formálne a presne matematicky popísať sémantiku výpočtu modelovaného ς-výrazom v tomto jazyku.
Definícia
ς-výraz je výraz v tvare:
- premenná (slovo z písmen anglickej abecedy)
- objekt (zoznam metód bez parametrov)
- invokácia metódy
- modifikácia metódy
- zátvorky
kde pre je je unikátne návestie metódy objektu, je tzv. binder, ktorý naväzuje hostujúci objekt na premennú v argumente a je telo metódy. ς-výraz pre invokáciu alebo modifikáciu metódy redukujeme na jednoduchší výraz. Redukcia musí byť validná substitúcia, t.j. textová náhrada, po ktorej sa žiadna voľná premenná nestane viazanou. Voľná premenná je taká premenná tela metódy, ktorá sa aspoň raz v rámci objektu vyskytuje voľne, teda mimo bindera. Analogicky, viazaná premenná je taká premenná, ktorá je v každom výskyte viazaná ako parameter bindera.
Odkazy
- ↑ Martin Abadi, Luca Cardelli: A Theory of Objects. Springer, 409 s., 1996
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
ABC (programming language)
Active Server Pages
Ada (programovací jazyk)
ALGOL
ALGOL 60
ALGOL 68
ALGOL W
APL (programovací jazyk)
App Inventor
AWK
BASIC (programovací jazyk)
Befunge
Brainfuck
C++
Ceylon (programovací jazyk)
COBOL
ColdFusion
C (programovací jazyk)
C Sharp
Dynamické HTML
Dynamo (programovací jazyk)
D (programovací jazyk)
Eiffel (programovací jazyk)
Fortran
Glide
Go (programovací jazyk)
Groovy
Haskell (programovací jazyk)
Imagine (programovací jazyk)
Intercal
Interface description language
Interpreter
Interpreter (programovanie)
JavaFX Script
Java (programovací jazyk)
Java ME
Jazyk symbolických inštrukcií
Karel (programovací jazyk)
Lisp
Logo (programovací jazyk)
Lua
MATLAB
Nízkoúrovňový programovací jazyk
Objective-C
Object Pascal
Pascal (programovací jazyk)
Perl
PL/SQL
Programovací jazyk
Prolog
Python (programovací jazyk)
Qore (programovací jazyk)
Ruby (programovací jazyk)
Rust (programovací jazyk)
R (programovací jazyk)
SAS (programovací jazyk)
Scheme (programovací jazyk)
Scilab
Scratch
Script-Fu
Sigma-kalkul
Simula
Smalltalk
Squeak
Structured Query Language
Swift
Unified Modeling Language
Visual Basic
Visual Basic for Applications
Zoznam programovacích jazykov
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk