forritunarmál

frá Wikipedia, ókeypis alfræðiorðabókinni
Fara í siglingar Fara í leit
Kóðinn forrits í forritunarmálinu C ++ .
Upprunakóði forrits í forritunarmálinu Scratch .

Forritunarmál er formlegt tungumál fyrir mótun gagnauppbyggingar og reiknirita , þ.e. útreikningsreglur sem hægt er að framkvæma með tölvu . [1] Þau eru venjulega samsett úr skref-fyrir-skref leiðbeiningum úr leyfðu (texta) mynstri, svokölluðu setningafræði .

Þó að fyrstu forritunarmálin væru enn beint beint að eiginleikum viðkomandi tölvu, eru í dag að mestu leyti vandamálamiðuð eða (almennt) hærri forritunarmál notuð, sem leyfa vél óháðri tjáningu [2] og þannig auðveldara fyrir mönnum að skilja. Hægt er að þýða forrit sem eru skrifuð á þessum tungumálum sjálfkrafa yfir á vélmál , sem örgjörvi getur framkvæmt beint. Sjónræn forritunarmál , sem auðvelda aðgang að forritunarmálum, eru einnig í auknum mæli notuð.

Íyfirlýsandi forritunarmálum er framkvæmdarreiknirit þegar skilgreint fyrirfram og er ekki mótað / lýst í frumtextanum, heldur eru aðeins upphafsgildi og skilyrði þess skilgreind, auk reglna sem niðurstaðan verður að uppfylla.

Yfirlit

Hugmyndasamhengi „forritunarmál“

Leiðbeiningar forrits eru að mestu búnar til með einföldum textaritlinum ; þeir eru kallaðir frumkóði (eða frumkóði). Til að keyra á tölvu verður frumtextinn að vera þýddur á vélmál þess tölvu (gerð). Öfugt við forritunarmál á háu stigi og samsetningarmál er þetta tvöfaldur kóði sem mönnum er erfitt að lesa. Þegar talað er um forritun í vélmáli er það sem venjulega er átt við í dag samsett tungumál.

The þýðing íslensku vél er hægt að gera annaðhvort áður en framkvæmd af þýðanda eða - að minnsta afturkreistingur - með túlkur eða JIT þýðanda . Oft er valin blanda af báðum afbrigðum, þar sem frumtexti forritsins er fyrst þýddur í millikóða , sem síðan er breytt í vélakóða á keyrslutíma innan keyrsluumhverfis . Þessi meginregla hefur þann kost að hægt er að framkvæma sama millikóða á mismunandi kerfum. Dæmi um slíkan millikóða eru Java hliðarkóðinn og Common Intermediate Language .

Forritunarmál bjóða venjulega upp á amk

Það er venjulega hægt að búa til æðri aðgerðir úr þessum grunnaðgerðum og hylja þær sem margnota bókasafn. Að komast þaðan á æðra stig eða vandamálamiðað tungumál er ekki lengur stórt skref. Svo var fljótlega mikill fjöldi sértækra tungumála fyrir margs konar notkunarsvið. Þetta eykur skilvirkni forritarans og færanleika forrita, venjulega minnkar vinnsluhraði forrita sem búið er til og kraftur tungumálsins minnkar: því hærra og þægilegra sem tungumálið er, því meira er forritarinn bundinn þeim leiðum sem veittar eru í því að troða.

Tungumál ná árangri á mismunandi vegu - sum eru „vaxandi“ og eru notuð í auknum mæli; Aftur og aftur hafa tungumál verið hönnuð með þá fullyrðingu að þau séu margnota og breiðbandstungumál, oft með hóflegum árangri ( PL / 1 , Ada , Algol 68 ). Mismunandi þjónusta reynir að mæla dreifingu mismunandi tungumála; þekktar eru til dæmis TIOBE vísitalan , PYPL [3] og greiningar RedMonk. [4]

víðmynd

Mikilvægi forritunarmála fyrir tölvunarfræði kemur einnig fram í fjölbreytileika formanna og breidd umsókna.

Almennt eru forritunarmál einnig notuð á öðrum sviðum. Hins vegar eru eftirfarandi tungumál ekki hönnuð fyrir lýsingu á reikniritum og almennri vinnslu gagna, þ.e. engin almenn tungumál :

Slík tungumál falla undir lénasértæk tungumál .

Fræðsluflokkar

Leiðbeiningar forritunarmála (sjá dæmi hér ) má flokka í eftirfarandi hópa:

  • Inntaks- og úttaksskipanir - lestu gögn frá lyklaborðinu, úr skrá eða frá öðrum heimildum eða sendu þau til / í gegnum tiltekið framleiðslutæki (skjár, skrá, prentari, ...).
  • Verkefni og útreikningar - breyta eða búa til gagnaefni.
  • Control flæði leiðbeiningar: Ákvörðun leiðbeiningar (einnig útibú leiðbeiningar), endurtekning leiðbeiningar, stökk leiðbeiningar ákveða á grundvelli fyrirliggjandi gagna sem leiðbeiningar eru til að framkvæma næst.
  • Yfirlýsingar - áskilið geymslurými fyrir breytur eða gagnauppbyggingu undir næstum frjálst nafni sem hægt er að velja. Þú getur notað þetta nafn til að taka á þeim síðar.
  • Símtöl „utanáætlunar“ undirrita / eininga eins og kerfisaðgerða (t.d. „Lesa“) eða hagnýtra eininga, einnig frá öðrum forritunarmálum.

þýðandi

Til að hægt sé að framkvæma forrit sem er búið til á tilteknu forritunarmáli verður að framkvæma samsvarandi röð af vélaleiðbeiningum í stað frumkóða þess . Þetta er nauðsynlegt vegna þess að frumkóðinn samanstendur af stafstrengjum (t.d. „A = B + 100 * C“) sem örgjörvinn „skilur“ ekki.

Þróunarstökkin sem urðu í sögu tölvutækni og hugbúnaðartækni komu einnig með mismunandi tæki til að búa til vélakóða, hugsanlega á nokkrum stigum. Þetta er nefnt til dæmis þýðendur , túlkar , forútgáfur , tenglar osfrv.

Hvað varðar leiðina og þann tíma sem tölvan kemur með samsvarandi vélakóða má greina tvær meginreglur:

  • Ef forritatexti er „þýddur“ í heild , þ.e. vélforrit er búið til úr frumtextanum, er vísað til þýðingaraðferðarinnar sem þýðanda. Þýðandinn sjálfur er forrit sem les frumkóða forritsins sem gagnainnlag og skilar vélakóðanum (t.d. hlutkóða, EXE skrá, „keyranlegur“) eða millikóða sem gagnaútgang.
  • Ef, eftir forritatexta, samsvarandi vélkóðablokkir eru keyrðar við framkvæmd , talar maður um túlkað tungumál. Forritið er túlkað í keyrsluumhverfi (t.d. gamaldags JVM ) og samsvarandi vélstjórnarblokk er keyrð eftir forritskipuninni.

Það eru einnig til ýmsar blandaðar afbrigði :

  • Með „samantekt rétt í tíma“ er texti dagskrárinnar settur saman aftur beint fyrir hvert forrit keyrt; Ef nauðsyn krefur eru einstakir dagskrárhlutar aðeins teknir saman við (túlkað) forrit keyrslu.
  • Í sumum tilfellum búa þýðendur til forritakóða sem ekki er enn hægt að framkvæma, sem er breytt í keyranlegan vélakóða með síðari kerfisforritum . Hér verður að gera greinarmun á hugtökunum „pallháð óháð millikóði “ (t.d. í sambandi við hugbúnaðardreifingu ) og „palltengdan hlutakóða “ (er sameinuð öðrum einingum til að mynda keyranlegan kóða, stundum kallaður álagseining. ).
  • Með forútgáfum er hægt að vinna úr sérstökum setningafræðilegri uppbyggingu sem ekki er kveðið á um í forritunarmálinu sjálfu (t.d. ákvarðunartöflum ) og þýða fyrirfram í valið forritunarmál í frumkóðann.

Til að stjórna þýðingunni getur frumtextinn innihaldið sérstakar sérstakar leiðbeiningar um þýðanda auk leiðbeininga forritunarmálsins. Flóknum þýðingarferlum er stjórnað af verkefnaskipunarferli og breytunum sem eru settar í það þegar ákveðin forritunarmál/ þróunarumhverfi eru notuð.

saga

Grace Hopper þróaði fyrsta þýðandann og er þekkt sem „ amma COBOL

Frá hagnýtu sjónarmiði felur forsaga forritunarmálanna í sér fjölmargar merkingar sem voru þróaðar bæði í fjarskiptatækni ( Morse kóða ) og til að stjórna vélum ( jacquard loom ); þá samsetningar tungumál fyrstu tölvanna, sem voru aðeins frekari þróun þeirra. Frá fræðilegu sjónarmiði felur þetta í sér margar betrumbætur á hugtakinu reiknirit , þar sem λ-útreikningurinn er lang mikilvægastur. Plankalkül Zuse á einnig heima hér, vegna þess að hann er staðráðinn í lægstur nálgun kenningafræðinganna ( svolítið sem grunnbyggingareining).

Í fyrsta áfanga, upp úr miðjum fimmta áratugnum, voru þróuð ótal tungumál [5] sem voru nánast miðuð við gefin verkefni og úrræði. Frá þróun Algol 60 (1958–1963) hefur verkefni þýðenda smíði verið komið á fót í hagnýtum tölvunarfræði og er upphaflega unnið ákaflega með áherslu á setningafræði (viðurkenningu, greiningu ). Á hagnýtu hliðinni hafa útvíkkaðar gagnategundir eins og efnasambönd , stafstrengir og vísbendingar verið kynntar (stöðugt t.d. í Algol 68 ).

Á fimmta áratugnum voru fyrstu þrjú meira notuðu, hagnýtu háttsettu forritunarmálin þróuð í Bandaríkjunum . Þeir stunduðu bæði mikilvægar og yfirlýstar - hagnýtar aðferðir.

Þróun Algol 60 leiddi af sér frjóan áfanga fyrir mörg ný hugtök, svo sem aðferðaforritun . Þörfin fyrir ný forritunarmál hefur aukist vegna hraðrar framþróunar tölvutækni . Í þessum áfanga voru forritunarmálin BASIC og C , sem enn eru notuð í dag, búin til.

Á framhaldstímabilinu frá 1980 gátu nýþróuðu rökréttu forritunarmálin ekki ráðið gegn frekari þróun hefðbundinna hugtaka í formi hlutbundinnar forritunar . Internetið , sem óx sífellt hraðar á tíunda áratugnum, tók sinn toll, til dæmis í formi nýrra forskriftarmála fyrir þróun vefþjónaforrita .

Samþætting hugtaka síðustu áratuga er í gangi. Til dæmis fær þáttur öryggis kóða í formi sýndarvéla meiri athygli. Nýtt, samþætt, sjónrænt þróunarumhverfi krefst verulega minni tíma og peninga. Venjulega er hægt að hanna notendaviðmót sjónrænt, hægt er að ná kóða brotum beint með því að smella. Hægt er að skoða beint skjöl um aðra dagskrárhluta og bókasöfn; venjulega er jafnvel leitað virkni sem kemst að á meðan þú skrifar hvaða tákn eru leyfð á þessum tímapunkti og kemur með viðeigandi tillögur ( sjálfvirk útfylling ).

Til viðbótar við núgildandi hlutbundna forritun er líkanadrifinn arkitektúr önnur nálgun til að bæta hugbúnaðarþróun , þar sem forrit eru búin til úr setningafræðilega og merkingarfræðilega formlega tilgreindum líkönum. Á sama tíma marka þessar aðferðir umskipti frá meira handunninni einstaklingslist til iðnaðarskipulags ferli.

Tungumálakynslóðir

Vélin, samsetningin og forritunarmálin á háu stigi hafa einnig verið nefnd fyrstu til þriðju kynslóðar tungumál; einnig í líkingu við samtímis vélbúnaðar kynslóðir. Sem fjórða kynslóðin var fjölbreytt kerfi auglýst. B. fyrir hönnun skjágrímur ( skjámálari ) voru útbúnir. Tungumál fimmtu kynslóð ætti að lokum í 1980 hvað varðar fimmtu kynslóð Computing Samtímis Prolog vera.

Forritunarhugmyndir

Fyrirmyndir í forritunarmálum (val)
Eftirnafn hagnýtur brýnt hlutbundinn yfirlýsing rökrétt samtímis
Ada X X X
C. X
prolog X X
Áætlun X X (X) X (X)
Haskell X (X) X (X)
Scala X (X) X (X) X

Hægt er að skipta forritunarmálunum í flokka sem hafa myndast í þróunarferli forritunarmálaþróunar sem svokallaðar forritunarhugmyndir . Forsendur skipulagðrar , áríðandi og yfirlýsandi forritunar eru grundvallaratriði - hver með frekari undirdeildum. Hins vegar getur forritunarmál einnig hlýtt nokkrum hugmyndafræði, það er að styðja við hugtakaskilgreindar aðgerðir nokkurra fyrirmynda.

Skipulögð forritunarmál

Skipulögð forritun varð einnig vinsæl í upphafi áttunda áratugarins vegna hugbúnaðarkreppunnar . Það felur í sér skiptingu áætlunar í subroutines ( málsmeðferð forritun ) og takmörkun á þremur grunnskólum stjórna uppbyggingu kennslu - röð , tré og endurtekningar .

Mikilvægt forritunarmál

Forrit sem er skrifað á mikilvægu forritunarmáli samanstendur af leiðbeiningum (latínu: imperare = stjórn) sem lýsa því hvernig forritið býr til niðurstöður sínar (til dæmis ef-þá röð, lykkjur, margföldun osfrv.).

Yfirlýst forritunarmál

Yfirlýsandi forritunarmálin fylgja nákvæmlega öfugri nálgun. Forritarinn lýsir hvaða skilyrðum framleiðsla forritsins ( hvað ) verður að uppfylla. Hvernig niðurstöðurnar verða til í raun er ákvarðað meðan á þýðingunni stendur , til dæmis af túlki. Eitt dæmi er SQL gagnasafn fyrirspurnarmál.

Forrit þarf ekki endilega að innihalda lista yfir leiðbeiningar. Þess í stað er hægt að nota grafíska forritunaraðferðir , til dæmis eins og með STEP 7 vettvanginn sem notaður er í sjálfvirkni.

Tegundum skilyrða sem settar eru fram er skipt í yfirlýsandi forritunarmál í rökrétt forritunarmál sem nota stærðfræðilega rökfræði og hagnýt forritunarmál sem nota stærðfræðilegar aðgerðir í þessum tilgangi.

Hlutbundin forritunarmál

Öfugt við málsmeðferð forritun, þar sem áhersla er fyrst á vinnsluferlum ( "? Hvað vil ég að reikna") og gögn er "einhvern veginn fór í gegnum", hlutbundin forritun upphaflega lögð áhersla á gögn: "Með hvaða hlutir (hinn raunverulegi / Utanheimur) ætti að vinna? Hvaða eiginleikar / gögn lýsa þessum (→ hlutaflokkum)? “Aðeins þá er meðhöndlun hlutanna hönnuð (→ aðferðir,„ Hvað getur þú gert við þennan hlut? Hvað getur þessi hlutur gert fyrir forritið? ”). Aðferðunum er úthlutað gögnum og saman eru báðar sameinaðar í hlutum / hlutaflokkum. Hlutlæg stefna dregur úr margbreytileika forrita sem myndast, gerir þau endurnýtanlegri og lýsir venjulega raunveruleikanum nákvæmari en raunin er með eingöngu verklagsáætlun.

Hlutlæg stefna býður upp á eftirfarandi fyrirmyndir : [6]

Hylki gagna
Fela upplýsingar um framkvæmd: Hlutur býður notandanum fastan fjölda möguleika (aðferðir) til að breyta því, hafa áhrif á það, reikna eitthvað eða afla upplýsinga. Allar viðbótarrútínur eða stöðuminningar sem fara lengra en þetta eru falnar; ekki er hægt að (beint) opna þær.
Erfðir , sérhæfing og alhæfing
Erfðir þýðir í einfölduðu máli að afleiddur flokkur hefur einnig aðferðir og eiginleika grunnflokksins, þ.e. erfðir . Að auki getur það haft fleiri eiginleika og eiginleika og boðið upp á fleiri aðgerðir - afleiddur flokkur er „sérstakt tilfelli“ grunnflokksins.
Aftur á móti er hægt að „útvista“ sömu virkni nokkurra flokka í sameiginlegan grunnflokk, þar sem hann er aðeins forritaður einu sinni, sem vistar kóða, er auðveldara að viðhalda og, ef nauðsyn krefur, er hægt að endurnýta fyrir aðra sérflokka - þeir erfa einfaldlega frá þessum grunnflokki; grunnflokkurinn lýsir almennri hegðun allra afleiddra (sér) flokka.
Fjölmyndun
Hægt er alltaf að líta á hlut í sérstökum flokki sem meðlim í grunnflokknum. Þetta þýðir að hlutur af afleiddum flokki er einnig hægt að geyma í breytu sem rúmar hlut í grunnflokknum, vegna þess að vegna erfðar býður hann upp á aðferðir og eiginleika grunnflokksins.

Tegundarkerfi

Breytur eru nefndar staðsetningar í minni sem geta haldið gildi. Til að ákvarða tegund geymdra verðmæta verður að skipta breytu gagnategund á mörgum forritunarmálum. Tíð gagnategundir eru heiltölur og flotpunktstölur eða einnig stafstrengir.

Gerður er greinarmunur á vélrituðu og ritlausu tungumáli. Í vélrituðum tungumálum (til dæmis C ++ eða Java ) er innihald breytunnar ákvarðað af gagnategund. Það eru mismunandi gagnategundir fyrir heiltölur og fljótandi tölustafi sem eru mismunandi á gildissviði þeirra. Þeir geta verið ómerktir eða undirritaðir. Í hækkandi gildisröð eru þetta til dæmis: Stutt, heiltala eða langt. Gagnagerðir fyrir fljótandi tölustafi eru til dæmis flot eða tvöfaldur. Hægt er að vista einstaka stafi í Char gagnagerðinni. Gagnagerðin Strengur er fáanlegur fyrir stafstrengi .

Hægt er að aðgreina vélrituðu tungumálin út frá þeim tíma sem gerðarprófun er gerð. Ef gerðarprófunin fer þegar fram þegar forritið er tekið saman kallast þetta truflanir . Ef gerðarprófun fer fram á keyrslutíma talar maður um kraftmikla vélritun . Ef forritunarmál skynjar tegundavillur í síðasta lagi í keyrslutíma er það nefnt tegundaröryggi .

Með stöðugri tegundarprófun reynir forritarinn að sniðganga þetta eða því er ekki að fullu framfylgt (eins og staðan er í dag, þá verður að vera leið í hverju truflunarmáli til að búa til ritlaus gögn eða skipta á milli tegunda - til dæmis þegar lesið er gögn frá fjöldageymslu tæki verða). Á tungumálum með dýnamískri tegundarathugun finnast sumar tegundavillur aðeins þegar það er of seint. Ef breyta á gagnategund breytu er krafist skýrrar umskipunarskipunar .

Öfugt við vélrituð tungumál hafa ritlaus tungumál (til dæmis JavaScript eða Prolog ) engar aðgreindar gagnategundir. Gagnagerð breytu er aðeins ákvörðuð á keyrslutíma. Ef gildi annarrar gerðar er úthlutað breytu er breytunni breytt í nýju gerðina. Tegundlausu tungumálin umgangast oft allar einingar sem stafstrengi og þekkja almenna lista yfir samsett gögn.

Skilgreiningin á gagnategundinni hefur tvenns konar tilgang:

  • Lýsandi gerðar forskriftir gera forritun auðveldari og létta merkinguna. Þegar aðgangur er að sviði með vísitölu er hægt að reikna út minnisstaðsetningu þar sem fyrirspurnagildið er staðsett eftir því hvaða gagnategund er notuð.
  • Forskriftargerðar forskriftir útiloka ákveðnar aðgerðir. Til dæmis er hægt að athuga hvort svæðismörk séu uppfyllt til að koma í veg fyrir aðgang út fyrir svæðismörkin.

Öruggt kerfi ML forritunarmálsins myndar grundvöllinn fyrir réttmæti sönnunargagnakerfanna sem eru forrituð í því (LCF, HOL, Isabelle ); Á sama hátt er nú reynt að tryggja öryggi stýrikerfa . [7] Að lokum gera mismunandi gerðir forskrifta vinsæla ofhleðslu auðkennis. Að sögn Strachey ætti tegundarkerfið að vera miðpunktur skilgreiningar á forritunarmáli.

Skilgreining gagna er almennt framkvæmd með því að tilgreina sérstaka forskrift fyrir gagnageymslu og nauðsynlegar aðgerðir. Þessi sérstaka forskrift skilgreinir almenna hegðun aðgerða og dregur þannig úr sértækri útfærslu gagnagerðarinnar (sjá einnig yfirlýsingu ).

Svo eru gerðir af gögnum sem hægt er að nota til að greina beint sem hlýða fyrirmyndarmáli - oft er hægt að beita þeim á borgara í fyrsta flokks (First class Citizens - FCCs) forritunarmál. Í Java t.d. Til dæmis eru hlutir FCC, í Lisp er hvert forrit forrit FCC, í Perl eru þeir strengir, fylki og hakk. Uppbygging gagna fylgir einnig setningafræðilegum reglum. Með breytum geturðu auðveldlega nálgast gögnin og notað tvístafi tilvísunar og dagsetningu breytu. Til þess að geta notað stafstreng gagna með (merkingarlegri) merkingu þeirra, þá þarf að tilgreina þessa merkingu með því að tilgreina gagnategund . Venjulega er einnig möguleiki á að samþykkja nýjar gerðir innan gildissviðs kerfisins . LISP notar lista sem aðal hugmyndafræðilega uppbyggingu. Forritið er einnig listi yfir skipanir sem breyta öðrum listum. Forth notar stafla og staflaaðgerðir sem aðal hugmyndafræðilega uppbyggingu sem og orðabók með skilgreiningum sem hægt er að stækka við keyrslutíma og í flestum útfærslum er alls ekki gerð athugunar.

Aðrir

Vinsæl innganga í forritunarmál er að nota það til að senda textann Hello World (eða þýska „Hallo Welt“) út á skjáinn eða annað framleiðslutæki (sjá Hello World forrit ). Í samræmi við það eru listar yfir heilsuverkefni og eigin vefsíður [8] sem stangast á við fyrirmyndar útfærslur á ýmsum forritunarmálum.

Sjá einnig

bókmenntir

  • Friedrich L. Bauer , Hans Wössner: Algorithmic language and program development . 2. endurbætt útgáfa. Springer, Berlin o.fl. 1984, ISBN 3-540-12962-6 .
  • Peter A. Henning, Holger Vogelsang: Handbook of forritunarmál. Hugbúnaðarþróun fyrir nám og tilvísun . Hanser, München 2007, ISBN 978-3-446-40558-5 .
  • Kenneth C. Louden: Forritunarmál: Grundvallaratriði, hugtök, hönnun . Heimavistarskóli Thomson Publ., Bonn / Albany o.fl. 1994, ISBN 3-929821-03-6 .
  • John C. Reynolds: Kenningar um forritunarmál . Cambridge háskóli Press, Cambridge 1998, ISBN 0-521-59414-6 .
  • Robert Harper: Hagnýt grundvöllur fyrir forritunarmál . Cambridge háskóli Press, Cambridge 2016, ISBN 978-1-107-15030-0 .
  • Peter van Roy, Seif Haridi: Hugmyndir , tækni og fyrirmyndir tölvuforritunar . MIT Press, Cambridge 2004, ISBN 0-262-22069-5 .
  • Michael L. Scott: Programming language pragmatics . 2. Auflage. Elsevier, Morgan Kaufmann, Amsterdam 2006, ISBN 0-12-633951-1 .

Weblinks

Wiktionary: Programmiersprache – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen
Wikibooks: Programmierung – Lern- und Lehrmaterialien
Commons : Programmiersprachen – Sammlung von Bildern, Videos und Audiodateien
  • 99 Bottles of Beer : Ein Programm in hunderten von Programmiersprachen bzw. Dialekten (englisch)

Einzelnachweise

  1. ProgrammierspracheDuden , 2019; dort wörtlich mit „System von Wörtern und Symbolen, die zur Formulierung von Programmen (4) für die elektronische Datenverarbeitung verwendet werden“; siehe auch Duden Informatik , ISBN 3-411-05232-5
  2. … siehe auch Plattform unabhängigkeit (vor allem auch im Sinne der Herstellerunabhängigkeit bezüglich der Rechenwerke ) sowie Abstraktion (Informatik)
  3. PYPL
  4. RedMonk
  5. Um 1965 zählte man 1700, vgl. ISWIM .
  6. Peter A. Henning, Holger Vogelsang: Taschenbuch Programmiersprachen . Fachbuchverlag im Carl Hanser Verlag, Leipzig 2007, ISBN 978-3-446-40744-2 .
  7. Vgl. Sprachbasiertes System – z. B. Singularity basierend auf der Programmiersprache Sing# , JX für Java , Coyotos mit der Sprache BitC .
  8. Auflistung von Hello-World-Programmen nach Programmiersprachen