Naik, Mayur; Aiken, Alex 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 \textit{M. Naik} and \textit{A. Aiken}, in: 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). 327--338 (2007; Zbl 1295.68073) Full Text: DOI
Reppy, John; Xiao, Yingqi 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). MSC: 68Q55 68N15 68N19 68N30 PDFBibTeX XMLCite \textit{J. Reppy} and \textit{Y. Xiao}, in: 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). 315--326 (2007; Zbl 1295.68155) Full Text: DOI
Wiedermann, Ben; Cook, William R. 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 \textit{B. Wiedermann} and \textit{W. R. Cook}, in: 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). 199--210 (2007; Zbl 1295.68107) Full Text: DOI
Might, Matthew 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 \textit{M. Might}, in: 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). 185--198 (2007; Zbl 1295.68066) Full Text: DOI
Van Horn, David; Mairson, Harry G. 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). MSC: 68Q25 03F52 68N18 68Q17 68Q60 PDFBibTeX XMLCite \textit{D. Van Horn} and \textit{H. G. Mairson}, in: 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). 85--96 (2007; Zbl 1291.68184) Full Text: DOI
Kiselyov, Oleg; Shan, Chung-chieh 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 \textit{O. Kiselyov} and \textit{C.-c. Shan}, Electron. Notes Theor. Comput. Sci. 174, No. 7, 79--104 (2007; Zbl 1277.68052) Full Text: DOI
Nielson, Flemming; Nielson, Hanne Riis Heuristics for safety and security constraints. (English) Zbl 1277.68250 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 523-543 (2007). MSC: 68T20 68Q60 68Q55 PDFBibTeX XMLCite \textit{F. Nielson} and \textit{H. R. Nielson}, Electron. Notes Theor. Comput. Sci. 172, 523--543 (2007; Zbl 1277.68250) Full Text: DOI
Bolander, Thomas; Hansen, René Rydhof 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 \textit{T. Bolander} and \textit{R. R. Hansen}, Lect. Notes Comput. Sci. 4576, 83--100 (2007; Zbl 1175.68271) Full Text: DOI
Vîlcu, Dana 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). MSC: 68M20 65K10 68N30 68M07 PDFBibTeX XMLCite \textit{D. Vîlcu}, in: Trends and challenges in applied mathematics. Conference proceedings of the international conference, ICTCAM 2007, Bucharest, Romania, June 20--23, 2007. Bucharest: Matrix Rom. 361--365 (2007; Zbl 1173.68417)
Péron, Mathias; Halbwachs, Nicolas 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 \textit{M. Péron} and \textit{N. Halbwachs}, Lect. Notes Comput. Sci. 4349, 268--282 (2007; Zbl 1132.68464) Full Text: DOI
Might, Matthew; Chambers, Benjamin; Shivers, Olin 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 \textit{M. Might} et al., Lect. Notes Comput. Sci. 4349, 59--73 (2007; Zbl 1132.68475) Full Text: DOI
Spoto, Fausto Optimality and condensing of information flow through linear refinement. (English) Zbl 1143.68040 Theor. Comput. Sci. 388, No. 1-3, 53-82 (2007). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{F. Spoto}, Theor. Comput. Sci. 388, No. 1--3, 53--82 (2007; Zbl 1143.68040) Full Text: DOI
Chalin, Patrice Are the logical foundations of verifying compiler prototypes matching user expectations? (English) Zbl 1121.68025 Formal Asp. Comput. 19, No. 2, 139-158 (2007). MSC: 68N20 PDFBibTeX XMLCite \textit{P. Chalin}, Formal Asp. Comput. 19, No. 2, 139--158 (2007; Zbl 1121.68025) Full Text: DOI