Automated Generation of Loop Invariants by Recurrence Solving in Theorema

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04)
Herausgeber*innen	D. Petcu and V. Negru and D. Zaharie and T. Jebelean
Erscheinungsort	Timisoara, Romania
Verlag	Mirton Publisher
Seiten	451-464
Seitenumfang	14
ISBN (Print)	973-661-441-7
Publikationsstatus	Veröffentlicht - Sep. 2004

Wissenschaftszweige

@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). Hrsg. / D. Petcu and V. Negru and D. Zaharie and T. Jebelean. Timisoara, Romania: Mirton Publisher, 2004. S. 451-464.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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 -