Sémantika programovacích jazyků: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 35:
* K staticky slabě typovaným jazykům patří například jazyk C.<ref>
{{Citace monografie▼
| příjmení = Vavrečková▼
| jméno = Š▼
| titul = Programování překladačů▼
| vydavatel = Slezská univerzita▼
| místo = Opava▼
| rok = 2008▼
| isbn = 978-80-7248-493-5▼
}}▼
</ref> <ref>{{Citace elektronické monografie▼
| příjmení = Vavrečková▼
| jméno = Š▼
| titul = Sémantika▼
| datum_vydání = 2012▼
| url = http://axpsu.fpf.slu.cz/~vav10ui/obsahy/prekl/prezentace/prekl_09a_sem.pdf▼
}}</ref>▼
<references/>▼
== Přehled ==
Řádek 74 ⟶ 58:
== Literatura ==
; Knihy
* [[Carl Gunter (computer scientist)|Carl Gunter]]. ''Semantics of Programming Languages''. MIT Press, 1992. (ISBN 0-262-07143-6)
* [[Robert Harper (computer scientist)|Robert Harper]]. ''Practical Foundations for Programming Languages''. Working draft, 2006. ([http://www.cs.cmu.edu/~rwh/plbook/book.pdf online], as [[Portable Document Format|PDF]])
Řádek 86 ⟶ 71:
; Skripta
* [[Glynn Winskel]]. ''[http://www.cl.cam.ac.uk/~gw104/dens.pdf Denotational Semantics]''. University of Cambridge.
▲{{Citace monografie
▲ | příjmení = Vavrečková
▲ | jméno = Š
▲ | titul = Programování překladačů
▲ | vydavatel = Slezská univerzita
▲ | místo = Opava
▲ | rok = 2008
▲ | isbn = 978-80-7248-493-5
▲}}
▲</ref> <ref>{{Citace elektronické monografie
▲ | příjmení = Vavrečková
▲ | jméno = Š
▲ | titul = Sémantika
▲ | datum_vydání = 2012
▲ | url = http://axpsu.fpf.slu.cz/~vav10ui/obsahy/prekl/prezentace/prekl_09a_sem.pdf
▲}}</ref>
▲<references/>
== Reference ==
{{Překlad|en|Semantics (computer science)|540747164}}
| |||