My Account Log in

1 option

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains / Liqian Chen.

ACM Digital Library Available online

View online
Format:
Book
Author/Creator:
Chen, Liqian, author.
Series:
ACM Conferences
Language:
English
Subjects (All):
Computer programming--Congresses.
Computer programming.
Physical Description:
1 online resource (21 pages) : illustrations.
Other Title:
NSAD 2020
Place of Publication:
New York : Association for Computing Machinery, 2020.
Summary:
Welcome to the Ninth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020). The workshop took place virtually (online) on November 17, 2020 as a satellite event to the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2020).
Notes:
Description based on publisher supplied metadata and other sources.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account