Information Technology Reference
In-Depth Information
13. German, S., Wegbreit, B.: A synthesizer of inductive assertions. IEEE Transactions
on Software Engineering 1(1), 68-75 (1975)
14. Hoare,
C.A.R.:
An
axiomatic
basis
for
computer
programming.
Comm.
ACM 12(10), 576-580 (1969)
15. Karr, M.: Ane relationships among variables of a program. Acta Informatica 6,
133-151 (1976)
16. Katz, S., Manna, Z.: Logical analysis of programms. Communications of the
ACM 19(4), 188-206 (1976)
17. Kapur, D.: Automatically generating loop invariants using quantifier llimination.
In: Proc. IMACS Intl. Conf. on Applications of Computer Algebra ( ACA'04),
Beaumont, Texas (July 2004)
18. Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer,
Heidelberg (1995)
19. Muller-Olm, M., Seidl, H.: Polynomial constants are decidable. In: Hermenegildo,
M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, pp. 4-19. Springer, Heidelberg
(2002)
20. Muller-Olm, M., Seidl, H.: Precise interprocedural analysis through linear algebra.
In: ACM SIGPLAN Principles of Programming Languages, POPL 2004, pp. 330-
341 (2004)
21. Rodriguez-Carbonell, E., Kapur, D.: An abstract interpretation approach for au-
tomatic generation of polynomial invariants. In: Giacobazzi, R. (ed.) SAS 2004.
LNCS, vol. 3148, pp. 280-295. Springer, Heidelberg (2004)
22. Rodriguez-Carbonell, E., Kapur, D.: Automatic generation of polynomial loop in-
variants: algebraic foundations. In: Proc. Intl. Symp on Symbolic and Algebraic
Computation (ISSAC'04) (July 2004)
23. Rodriguez-Carbonell, E., Kapur, D.: Generating all polynomial invariants in simple
loops. Journal of Symbolic Computation 42, 443-476 (2007)
24. Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Non-linear loop invariant genera-
tion using Grobner bases. In: ACM POPL'04, pp. 318-329 (2004)
25. Wegbreit, B.: The synthesis of loop predicates. Communications of the ACM 17(2),
102-112 (1974)
26. Wu, W.-T.: Basic principles of mechanical theorem proving in elementary geome-
tries. J. Syst. Sci. Math. 4, 207-235 (1984)
27. Xia, B., Xiao, R., Yang, L.: Solving parametric semi-algebraic systems. In: Pae,
S.-l, Park, H. (eds.) Proc. the 7th Asian Symposium on Computer Mathematics
(ASCM 2005), Seoul, December 8-10, pp. 153-156 (2005)
28. Xia, B., Yang, L.: An algorithm for isolating the real solutions of semi-algebraic
systems. J. Symbolic Computation 34, 461-477 (2002)
29. Xia, B., Zhang, T.: Real Solution Isolation Using Interval Arithmetic. Comput.
Math. Appl. 52, 853-860 (2006)
30. Yang, L.: Recent advances on determining the number of real roots of parametric
polynomials. J. Symbolic Computation 28, 225-242 (1999)
31. Yang, L., Hou, X., Xia, B.: A complete algorithm for automated discovering of a
class of inequality-type theorems. Sci. in China (Ser. F) 44, 33-49 (2001)
32. Yang, L., Hou, X., Zeng, Z.: A complete discrimination system for polynomials.
Science in China (Ser. E) 39, 628-646 (1996)
33. Yang, L., Xia, B.: Automated Deduction in Real Geometry. In: Chen, F., Wang,
D. (eds.) Geometric Computation, pp. 248-298. World Scientific, Singapore (2004)
34. Yang, L., Xia, B.: Real solution classifications of a class of parametric semi-
algebraic systems. In: Proc. of Int'l Conf. on Algorithmic Algebra and Logic, pp.
281-289 (2005)
Search WWH ::
Custom Search