Galois connections for flow algebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6722 LNCS, Issue , 2011, Pages 138-152

  Filipiuk, Piotr ^a   Terepeta, Michał ^a   Nielson, Hanne Riis ^a   Nielson, Flemming ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC STRUCTURES; COMPLETE LATTICES; DISTRIBUTED SYSTEMS; DISTRIBUTIVITY; GALOIS CONNECTION; GENERIC FRAMEWORKS; MONOTONE FRAMEWORKS; MONOTONICITY; MUTUAL EXCLUSION ALGORITHMS; ON FLOW; SEMIRINGS;

FORMAL METHODS; MODEL CHECKING; STATIC ANALYSIS;

ALGEBRA;

EID: 79960850810     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21461-5_9     Document Type: Conference Paper

References (15)

1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools, 2nd edn., p. 1009. Pearson/Addison Wesley, Boston, MA, USA (2007)
2. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
3. Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. Int. J. Found. Comput. Sci. 14(4), 551 (2003)
4. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293-318 (1992)
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238-252 (1977)
6. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL, pp. 269-282 (1979)
7. Droste, M., Kuich, W.: Semirings and formal power series. In: Droste, M., Kuich, W., Vogler, H. (eds.) Handbook of Weighted Automata. Monographs in Theoretical Computer Science. An EATCS Series, pp. 3-28. Springer, Heidelberg (2009)
8. Filipiuk, P., Nielson, H.R., Nielson, F.: Explicit versus symbolic algorithms for solving ALFP constraints. Electr. Notes Theor. Comput. Sci. 267(2), 15-28 (2010)
9. Kam, J.B., Ullman, J.D.: Monotone data flow analysis frameworks. Acta Inf. 7, 305-317 (1977)
10. Kildall, G.A.: A unified approach to global program optimization. In: POPL, pp. 194-206 (1973)
11. Lamport, L.: A new solution of Dijkstra's concurrent programming problem. Commun. ACM 17(8), 453-455 (1974)
12. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus (1999)
13. Nielson, F., Seidl, H., Nielson, H.R.: A succinct solver for ALFP. Nord. J. Comput. 9(4), 335-372 (2002)
14. Reps, T.W., Schwoon, S., Jha, S., Melski, D.:Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. 58(1-2), 206-263 (2005)
15. Rosen, B.K.: Monoids for rapid data flow analysis. SIAM J. Comput. 9(1), 159-196 (1980)