Automated Generation of Loop Invariants by Recurrence Solving in Theorema

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04)
Editors	D. Petcu and V. Negru and D. Zaharie and T. Jebelean
Place of Publication	Timisoara, Romania
Publisher	Mirton Publisher
Pages	451-464
Number of pages	14
ISBN (Print)	973-661-441-7
Publication status	Published - Sept 2004

Fields of science

@inproceedings{90c05b83a17944b2b3e1a091e116dd1d,

title = "Automated Generation of Loop Invariants by Recurrence Solving in Theorema",

author = "Tudor Jebelean and Laura Kovacs",

year = "2004",

month = sep,

language = "English",

isbn = "973-661-441-7",

pages = "451--464",

editor = "{D. Petcu and V. Negru and D. Zaharie and T. Jebelean}",

booktitle = "Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04)",

publisher = "Mirton Publisher",

}

Automated Generation of Loop Invariants by Recurrence Solving in Theorema. / Jebelean, Tudor; Kovacs, Laura.
Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04). ed. / D. Petcu and V. Negru and D. Zaharie and T. Jebelean. Timisoara, Romania: Mirton Publisher, 2004. p. 451-464.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Automated Generation of Loop Invariants by Recurrence Solving in Theorema

AU - Jebelean, Tudor

AU - Kovacs, Laura

PY - 2004/9

Y1 - 2004/9

M3 - Conference proceedings

SN - 973-661-441-7

SP - 451

EP - 464

BT - Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04)

A2 - D. Petcu and V. Negru and D. Zaharie and T. Jebelean, null

PB - Mirton Publisher

CY - Timisoara, Romania

ER -