Zobrazeno 1 - 10
of 133
pro vyhledávání: '"Giorgio Levi"'
Autor:
Letterio Galletta, Giorgio Levi
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 61, Iss Proc. WWV 2011, Pp 81-95 (2011)
Types-and-effects are type systems, which allow one to express general semantic properties and to statically reason about program's execution. They have been widely exploited to specify static analyses, for example to track computational side effects
Externí odkaz:
https://doaj.org/article/9187fd57218240e9be4eab0ef4d1d2ea
Publikováno v:
Ars Orientalis, 1957 Jan 01. 2, 627-633.
Externí odkaz:
https://www.jstor.org/stable/4629092
Autor:
Giorgio Levi, Marco Comini
Publikováno v:
Logic and algebra
ResearcherID
ResearcherID
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e1935fb37ccbbc97f92e7e5b7d41870
https://doi.org/10.1201/9780203748671-2
https://doi.org/10.1201/9780203748671-2
Autor:
Della Vida, Giorgio Levi
Publikováno v:
Zeitschrift für Politik, 1923 Jan 01. 12, 427-434.
Externí odkaz:
https://www.jstor.org/stable/43346873
Autor:
Della Vida, Giorgio Levi
Publikováno v:
Byzantion, 1940 Jan 01. 15, 144-157.
Externí odkaz:
https://www.jstor.org/stable/44168523
Autor:
Vida, Giorgio Levi Della
Publikováno v:
Oriente Moderno, 1935 May 01. 15(5), 236-248.
Externí odkaz:
https://www.jstor.org/stable/25809481
Autor:
Vida, Giorgio Levi Della
Publikováno v:
Oriente Moderno, 1938 Sep 01. 18(9), 459-478.
Externí odkaz:
https://www.jstor.org/stable/25810184
Autor:
Della Vida, Giorgio Levi
Publikováno v:
Rivista degli studi orientali, 1961 Jan 01. 36, 271-291.
Externí odkaz:
https://www.jstor.org/stable/41879389
Autor:
Della Vida, Giorgio Levi
Publikováno v:
Rivista degli studi orientali, 1962 Dec 01. 37(3/4), 257-264.
Externí odkaz:
https://www.jstor.org/stable/41879440
Autor:
Della Vida, Giorgio Levi
Publikováno v:
Rivista degli studi orientali, 1963 Mar 01. 38(1), 59-60.
Externí odkaz:
https://www.jstor.org/stable/41879456