Programski jezik: razlika med redakcijama

odstranjena 2 zloga ,  pred 6 leti
m
m (m/dp/slog/arg ktgr)
 
Specifikacija programskega jezika je lahko v različnih oblikah:
* Natančna definicija sintakse, statične semantike, izvajanja semantike jezika. Medtem ko je sintaksa običajno specificirana z uporabo formalne slovnice, je semantika lahko zapisana v naravnem jeziku (npr. kot je to pri jeziku [[C (programski jezik) C|C jeziku]]) ali s formalno semantiko (npr. kot je to pri [[Standard ML]]<ref>{{cite book|last=Milner|first=R.|authorlink=Robin Milner|coauthors=[[Mads Tofte|M. Tofte]], [[Robert Harper (computer scientist)|R. Harper]] and D. MacQueen.|title=The Definition of Standard ML (Revised)|publisher=MIT Press|year=1997|isbn=0-262-63181-4}}</ref> in [[Scheme (programski jezik)|Scheme]]<ref>{{cite web|first=Richard |last=Kelsey|coauthors=William Clinger and Jonathan Rees|title=Section 7.2 Formal semantics|work=Revised<sup>5</sup> Report on the Algorithmic Language Scheme|url=http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-10.html#%_sec_7.2| year=1998|month=February|accessdate=9 June 2006}}</ref> specifikacijah).
* Opis obnašanja [[prevajalnik|translatorja]] za jezik (npr. [[C++]] in [[Fortran]] specifikacije). Sintaksa in semantika jezika se sklepata iz tega opisa, ki je lahko napisan v naravnem ali formalnem jeziku.