×

Found 4 Documents (Results 1–4)

Checking Herbrand equalities and beyond. (English) Zbl 1112.68094

Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 79-96 (2005).
MSC:  68Q60 03B25 68Q17
PDFBibTeX XMLCite
Full Text: DOI

On optimal slicing of parallel programs. (English) Zbl 1323.68316

Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6–8, 2001. New York, NY: ACM Press (ISBN 1-581-13349-9). 647-656 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software