×

Found 13 Documents (Results 1–13)

Conditional must not aliasing for static race detection. (English) Zbl 1295.68073

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 327-338 (2007).
MSC:  68N19 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Specialization of CML message-passing primitives. (English) Zbl 1295.68155

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 315-326 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Extracting queries by static analysis of transparent persistence. (English) Zbl 1295.68107

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 199-210 (2007).
MSC:  68P15 68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Logic-flow analysis of higher-order programs. (English) Zbl 1295.68066

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 185-198 (2007).
MSC:  68N18 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Relating complexity and precision in control flow analysis. (English) Zbl 1291.68184

Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 85-96 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Lightweight static capabilities. (English) Zbl 1277.68052

Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 79-104 (2007).
MSC:  68N19 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Hybrid logical analyses of the ambient calculus. (English) Zbl 1175.68271

Leivant, Daniel (ed.) et al., Logic, language, information and computation. 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73443-7/pbk). Lecture Notes in Computer Science 4576, 83-100 (2007).
MSC:  68Q85 03B62 03B70 68Q55 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Power aware scheduling on variable speed processor: limits of the theoretical model. (English) Zbl 1173.68417

Păltineanu, Gavriil (ed.) et al., Trends and challenges in applied mathematics. Conference proceedings of the international conference, ICTCAM 2007, Bucharest, Romania, June 20–23, 2007. Bucharest: Matrix Rom (ISBN 978-973-755-283-9/pbk). 361-365 (2007).
PDFBibTeX XMLCite

An abstract domain extending difference-bound matrices with disequality constraints. (English) Zbl 1132.68464

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 268-282 (2007).
MSC:  68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Model checking via \(\Gamma \)CFA. (English) Zbl 1132.68475

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 59-73 (2007).
MSC:  68Q60 68N18
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Main Field

all top 3

Software