01197nam a2200277 i 450099100041140970753620020506130158.0950401s1990 it ||| | ita 8871870247b10696465-39ule_instEXGIL145034ExLBiblioteca InterfacoltàitaCaleffi, Franco115345Trattamento convenzionale dei dividendi, interessi e royalties :analisi e procedure di applicazione /Franco Caleffi, Michele Del Giudice ; prefazione di Giuliano SegreMilano :Il Sole-24 ore libri,1990196 p. ;24 cm.Finanza e industriaItalia - Trattati e convenzioni internazionaliDel Giudice, Micheleauthorhttp://id.loc.gov/vocabulary/relators/aut128851Segre, Giuliano.b1069646523-02-1728-06-02991000411409707536LE002 Dir. VI N 2512002000482822le002-E0.00-l- 00000.i1079095028-06-02Trattamento convenzionale dei dividendi, interessi e royalties454795UNISALENTOle00201-01-95ma -itait 0101724nam 2200373z- 450 9910346909903321202102111000020678(CKB)4920000000101423(oapen)https://directory.doabooks.org/handle/20.500.12854/48105(oapen)doab48105(EXLCZ)99492000000010142320202102d2011 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierFrom Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based SecurityKIT Scientific Publishing20111 online resource (XIX, 203 p. p.)3-86644-594-6 This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.From Formal Semantics to Verified Slicing Formal SemanticsLanguage Based SecurityModularitySlicingTheorem ProvingWasserrab Danielauth1302950BOOK9910346909903321From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security3026762UNINA