Special issue: Selected papers based on the presentation at the 10th inernational static analysis symposium (SAS 2003), San Diego, CA, USA, June 11--13, 2003.

DOI10.1016/j.scico.2005.04.002zbMath1078.68508OpenAlexW2339697242MaRDI QIDQ2577411

No author found.

Publication date: 21 December 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.04.002

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (2)

Practical run-time checking via unobtrusive property caching ⋮ Description and Optimization of Abstract Machines in a Dialect of Prolog

This page was built for publication: Special issue: Selected papers based on the presentation at the 10th inernational static analysis symposium (SAS 2003), San Diego, CA, USA, June 11--13, 2003.