Certifying domain-specific policies
暂无分享,去创建一个
[1] Joseph A. Goguen,et al. Order Sorted Algebra , 1996 .
[2] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..
[3] Michael R. Lowry,et al. A formal approach to domain-oriented software design environments , 1994, Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.
[4] José Meseguer,et al. Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations , 1992, Theor. Comput. Sci..
[5] Narciso Martí-Oliet,et al. The Maude System , 1999, RTA.
[6] José Meseguer,et al. Membership algebra as a logical framework for equational specification , 1997, WADT.
[7] K. Rustan M. Leino,et al. An Extended Static Checker for Modular-3 , 1998, CC.
[8] Grigore Rosu,et al. Interpreting Abstract Interpretations in Membership Equational Logic , 2001, RULE@PLI.
[9] Mark Lillibridge,et al. Extended static checking for Java , 2002, PLDI '02.
[10] José Meseguer,et al. Specification and proof in membership equational logic , 2000, Theor. Comput. Sci..
[11] Joseph A. Goguen,et al. Software Engineering with Obj: Algebraic Specification In Action , 2010 .
[12] George C. Necula,et al. Proof-carrying code , 1997, POPL '97.
[13] José Meseguer,et al. Specification and proof in membership equational logic , 2000, Theor. Comput. Sci..