Az Eiffel programozási nyelv
Kezdőoldal
Ez az oldal egy összefoglaló magyar nyelvű anyag az Eiffel programozási nyelvről
Szakirodalom
- Bertrand Meyer: Eiffel The Language, Prentice Hall, 1992.
Utolsó módosítás: 2011.02.07
- Kezdő oldal
- Általános jellemzők
- Változók, kifejezések, láthatóság
- Utasítások, vezérlési szerkezetek, iterátorok
- Alprogramok, eljáráshívás, paraméterátadás
- Beépített típusok és típuskonstrukciók
- Absztrakt adattípusok, generic-ek
- Kivételkezelés
- Objektum-orientált programozást támogató nyelvi eszközök
- Programhelyesség-ellenőrzés nyelvi elemei
- Bevezető
- Helyességi specifikációs nyelv
- Hoare-formulák
- Előfeltétel, utófeltétel
- Speciális elemek
- Old
- Strip
- Osztályinvariáns
- Check
- Ciklusok
- Öröklődés
- Osztályinvariáns
- Az osztályinvariáns valamint az előfeltétel és utófeltétel kapcsolata
- Kivételkezelés és helyesség
- Attribútumok helyessége
- Osztályok helyessége
- Osztályok konzisztenciája
- osztályhelyesség
- Programok helyessége
- Programhelyesség-ellenőrzés problémái
- Függőségek
- Helyességi-specifikációs nyelv
- Elméleti korlát
- Párhuzamosság
- Szabványos könyvtárak
Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék