Justification based on program transformation (extended abstract)

Hai Feng Guo; C. R. Ramakrishnan; I. V. Ramakrishnan

doi:10.1007/3-540-45013-0_13

Justification based on program transformation (extended abstract)

Computer Science

University of Nebraska Omaha

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

1 Scopus citations

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Michael Leuschel
Publisher	Springer Verlag
Pages	158-159
Number of pages	2
ISBN (Electronic)	9783540404385
DOIs	https://doi.org/10.1007/3-540-45013-0_13
State	Published - 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2664
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-45013-0_13

Cite this

Guo, H. F., Ramakrishnan, C. R., & Ramakrishnan, I. V. (2003). Justification based on program transformation (extended abstract). In M. Leuschel (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 158-159). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2664). Springer Verlag. https://doi.org/10.1007/3-540-45013-0_13

Guo, Hai Feng ; Ramakrishnan, C. R. ; Ramakrishnan, I. V. / Justification based on program transformation (extended abstract). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Michael Leuschel. Springer Verlag, 2003. pp. 158-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{efb1a1ba803f42068442fcafeb396b0c,

title = "Justification based on program transformation (extended abstract)",

author = "Guo, \{Hai Feng\} and Ramakrishnan, \{C. R.\} and Ramakrishnan, \{I. V.\}",

year = "2003",

doi = "10.1007/3-540-45013-0\_13",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "158--159",

editor = "Michael Leuschel",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Guo, HF, Ramakrishnan, CR & Ramakrishnan, IV 2003, Justification based on program transformation (extended abstract). in M Leuschel (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2664, Springer Verlag, pp. 158-159. https://doi.org/10.1007/3-540-45013-0_13

Justification based on program transformation (extended abstract). / Guo, Hai Feng; Ramakrishnan, C. R.; Ramakrishnan, I. V.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Michael Leuschel. Springer Verlag, 2003. p. 158-159 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2664).

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

TY - CHAP

T1 - Justification based on program transformation (extended abstract)

AU - Guo, Hai Feng

AU - Ramakrishnan, C. R.

AU - Ramakrishnan, I. V.

PY - 2003

Y1 - 2003

UR - https://www.scopus.com/pages/publications/35248884770

U2 - 10.1007/3-540-45013-0_13

DO - 10.1007/3-540-45013-0_13

M3 - Chapter

AN - SCOPUS:35248884770

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

SP - 158

EP - 159

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

A2 - Leuschel, Michael

PB - Springer Verlag

ER -

Guo HF, Ramakrishnan CR , Ramakrishnan IV. Justification based on program transformation (extended abstract). In Leuschel M, editor, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 158-159. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45013-0_13

Justification based on program transformation (extended abstract)

Publication series

Access to Document

Other files and links

Fingerprint

Cite this