Semantica denotațională
În informatică , semantica denotațională este o abordare pentru a formaliza semnificația limbajelor de programare prin construirea obiectelor matematice (denumite denotații ) care descriu semnificațiile expresiilor limbajului. Alte abordări care vizează furnizarea de semantică formală a limbajelor de programare includ semantica axiomatică și semantica operațională .
Semantica denotațională a luat naștere în anii 1960 , grație muncii lui Christopher Strachey și Dana Scott . În evoluțiile originale ale lui Strachey și Scott, semantica denotațională oferă denotarea (sensul) unui program ca o funcție care leagă intrarea de ieșire [1] . Pentru a da o denotație a programelor definite recursiv , Scott a propus să lucreze cu funcții continue între domenii , în special între ordonări parțiale complete . Lucrările de cercetare continuă astăzi, studiind o semantică denotațională adecvată pentru aspecte ale limbajelor de programare precum secvențialitatea, concurența și nedeterminismul.
În linii mari, semantica denotațională se preocupă de găsirea obiectelor matematice care reprezintă ceea ce fac programele. Seturile de astfel de obiecte sunt numite domenii. De exemplu, programele (sau părți ale programelor) pot fi reprezentate prin funcții parțiale .
Un element important al semanticii denotaționale este acela că „semantica ar trebui să fie compozițională ”: denotarea unei instrucțiuni într-un program ar trebui construită din denotațiile subinstrucțiunilor sale. Un exemplu simplu: semnificația „3 + 4” este determinată de semnificațiile „3”, „4” și „+”.
Semantica denotațională a fost inițial dezvoltată ca un cadru pentru programe funcționale și secvențiale, ca funcții matematice care mapează intrarea la ieșire.
Notă
- ^ Dana Scott și Christopher Strachey. Către o semantică matematică pentru limbaje de calculator Monografie tehnică a grupului de cercetare în programare Oxford. PRG-6. 1971.
