- Bài báo tạp chí
- Nhan đề: SubPolyhedra: a family of numerical abstract domains
for the (more) scalable inference of linear inequalities / Vincent Laviron, Francesco Logozzo
|
Tác giả CN
| Laviron, Vincent | |
Nhan đề
| SubPolyhedra: a family of numerical abstract domains
for the (more) scalable inference of linear inequalities / Vincent Laviron, Francesco Logozzo | |
Mô tả vật lý
| From p.91-107 | |
Từ khóa tự do
| Abstract interpretation | |
Từ khóa tự do
| Abstract domains | |
Tác giả(bs) CN
| Logozzo, Francesco | |
Nguồn trích
| International journal on software tools for technology transfer : STTT-
Số: 6
Tập: 13
Năm: 2011 |
| |
000
| 00000nab#a2200000ui#4500 |
|---|
| 001 | 170514 |
|---|
| 002 | 21 |
|---|
| 004 | E4BDD012-0586-47A8-8008-29DB809A14AF |
|---|
| 005 | 202205311625 |
|---|
| 008 | 081223s vm| vie |
|---|
| 009 | 1 0 |
|---|
| 039 | |y20220531162623|zluuyen |
|---|
| 100 | |aLaviron, Vincent |
|---|
| 245 | |aSubPolyhedra: a family of numerical abstract domains
for the (more) scalable inference of linear inequalities / |cVincent Laviron, Francesco Logozzo |
|---|
| 300 | |aFrom p.91-107 |
|---|
| 653 | |a Abstract interpretation |
|---|
| 653 | |aAbstract domains |
|---|
| 700 | |a Logozzo, Francesco |
|---|
| 773 | |tInternational journal on software tools for technology transfer : STTT|d2011|v13|i6 |
|---|
| 890 | |c1 |
|---|
| |
Không tìm thấy biểu ghi nào
|
|
|
|
|