See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Types with semantics: soundness proof assistant

Shkaravska, O. (2005). Types with semantics: soundness proof assistant. MERLIN '05 : Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with variable biNding, September 30, 2005, Tallinn, Estonia. Ed. Momigliano,A.; Pollack,R. New York: ACM Press, 50−57. DOI: 10.1145/1088454.1088461.
publitseeritud konverentsiettekanne
Shkaravska, O.
  • Inglise
MERLIN '05 : Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with variable biNding, September 30, 2005, Tallinn, Estonia
Momigliano,A.; Pollack,R.
New York
ACM Press
1-59593-072-8
2005
5057
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Ei

Viited terviktekstile

doi.org/10.1145/1088454.1088461

Lisainfo

http://helios.nlib.ee/search*est/i?SEARCH=1595930728
assertion, automated theorem proving, program logic, type system