Fail:Combination of abstract domains.svg
Mine navigeerimisribale
Mine otsikasti
Selle SVG-faili PNG-vormingus eelvaate suurus: 301 × 248 pikslit. Teised eraldusvõimed: 291 × 240 pikslit | 583 × 480 pikslit | 932 × 768 pikslit | 1243 × 1024 pikslit | 2486 × 2048 pikslit.
Algfail (SVG-fail, algsuurus 301 × 248 pikslit, faili suurus: 46 KB)
Lühikirjeldus
| Kirjeldus |
English: Shows the analysis of a simple piece of C code (black) by abstract interpretation.
x is known to be non-even. |
| Kuupäev | |
| Allikas | Üleslaadija oma töö, created with converted to SVG via pdf2svg. |
| Autor | Jochen Burghardt |
TeX source
|
|---|
\documentclass[12pt]{article}
\usepackage[pdftex]{color}
\usepackage[paperwidth=85mm,paperheight=70mm]{geometry}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{30cm}
\setlength{\textheight}{26cm}
\setlength{\evensidemargin}{-2.7cm}
\setlength{\oddsidemargin}{-2.5cm}
\setlength{\parindent}{0cm}
\newcommand{\prog}{\tt}
\newcommand{\set}[1]{\{#1\}}
\newcommand{\Z}{Z\!\!\!\!Z}
\pagestyle{empty}
\begin{document}
\definecolor{ABST}{rgb}{0.00, 0.99, 0.99}
\definecolor{conc}{rgb}{0.99, 0.50, 0.50}
\definecolor{abst}{rgb}{0.00, 0.99, 0.00}
\newcommand{\co}[1]{\textcolor{conc}{#1}}
\newcommand{\ab}[1]{\textcolor{abst}{#1}}
\newcommand{\AB}[1]{\textcolor{ABST}{#1}}
$\begin{array}[t]{r@{}c@{} c @{}c@{}l r@{}c@{} c @{}c@{}l}
%
&
& \co{\Z}
&
&
\\
%
&
& \ab{[-\infty,\infty]} , \AB{\set{0,1}}
&
&
&
\\
%
&
& \mbox{\prog if(x>0)}
&
&
\\
%
& {\scriptstyle\swarrow}
&
& {\scriptstyle\searrow}
&
\\
\co{\set{1,2,3,...}}
&
&
&
& \co{\set{...,\mbox-2,\mbox-1,0}}
\\
\ab{[1,\infty]} , \AB{\set{0,1}}
&
&
&
& \ab{[-\infty,0]} , \AB{\set{0,1}}
\\
\mbox{\prog x=2*x+1;}
&
& \mbox{\prog else}
&
& \mbox{\prog x=1-4*x;}
\\
\co{\set{3,5,7,...}}
&
&
&
& \co{\set{1,3,5,...}}
\\
\ab{[3,\infty]} , \AB{\set{1}}
&
&
&
& \ab{[1,\infty]} , \AB{\set{1}}
\\
%
& {\scriptstyle\searrow}
&
& {\scriptstyle\swarrow}
&
\\
%
&
& \co{\set{1,3,5,...}}
&
&
&
\\
%
&
& \ab{[1,\infty]} , \AB{\set{1}}
&
&
\\
%
&
& \mbox{\prog x=8/(x\%2);}
&
&
\\
\end{array}$
\end{document}
|
Litsents
Autoriõiguse omanikuna avaldan selle teose järgmise litsentsi all:
See fail kuulub jurisdiktsiooniga sidumata Creative Commonsi litsentsi "Autorile viitamine + jagamine samadel tingimustel 3.0" alla.
- Tohid:
- jagada – teost kopeerida, levitada ja edastada
- kohandada – valmistada muudetud teoseid
- Järgmistel tingimustel:
- omistamine – Pead materjali sobival viisil autorile omistama, tooma ära litsentsi lingi ja märkima ära, kas on tehtud muudatusi. Sobib, kui teed seda mõistlikul viisil, kuid seejuures ei tohi jääda muljet, et litsentsiandja tõstab esile sind või seda, et sina materjali kasutad.
- sarnaselt jagamine – Kui töötled, kujundad ümber või arendad materjali edasi, siis pead oma töö levitamiseks kasutama sama litsentsi, mille all on algupärand, või ühilduvat litsentsi.
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
| Kuupäev/kellaaeg | Pisipilt | Mõõtmed | Kasutaja | Kommentaar | |
|---|---|---|---|---|---|
| viimane | 30. detsember 2013, kell 14:51 | | 301 × 248 (46 KB) | wikimediacommons>Jochen Burghardt | User created page with UploadWizard |
Faili kasutus
Seda faili kasutab järgmine lehekülg:
