A system for automatic evaluation of programs for correctness and performance

Chris Reade; Amit Kumar Mandal; Chittaranjan Mandal

doi:10.1007/978-3-540-74063-6_29

A system for automatic evaluation of programs for correctness and performance

Chris Reade
, Amit Kumar Mandal
, Chittaranjan Mandal

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

Original language	English
Title of host publication	Web information systems and technologies
Subtitle of host publication	international conferences, WEBIST 2005 and WEBIST 2006 : revised selected papers
Editors	Vitor Pedrosa, Joaquim Filipe, Jos├® Cordiro
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	367-380
ISBN (Print)	9783540740629
DOIs	https://doi.org/10.1007/978-3-540-74063-6_29
Publication status	Published - Aug 2007
Externally published	Yes

Publication series

Name	Lecture notes in business information processing
Publisher	Springer
Number	1
ISSN (Print)	1865-1348

Keywords

Computer science and informatics

Access to Document

10.1007/978-3-540-74063-6_29

http://dx.doi.org/10.1007/978-3-540-74063-6_29

Cite this

Reade, C., Mandal, A. K., & Mandal, C. (2007). A system for automatic evaluation of programs for correctness and performance. In V. Pedrosa, J. Filipe, & J. Cordiro (Eds.), Web information systems and technologies: international conferences, WEBIST 2005 and WEBIST 2006 : revised selected papers (pp. 367-380). (Lecture notes in business information processing; No. 1). Springer. https://doi.org/10.1007/978-3-540-74063-6_29

Reade, Chris ; Mandal, Amit Kumar ; Mandal, Chittaranjan. / A system for automatic evaluation of programs for correctness and performance. Web information systems and technologies: international conferences, WEBIST 2005 and WEBIST 2006 : revised selected papers. editor / Vitor Pedrosa ; Joaquim Filipe ; Jos├® Cordiro. Berlin, Germany : Springer, 2007. pp. 367-380 (Lecture notes in business information processing; 1).

@inbook{bc8dfa5ec56f4f7390b9960121d90442,

title = "A system for automatic evaluation of programs for correctness and performance",

keywords = "Computer science and informatics",

author = "Chris Reade and Mandal, \{Amit Kumar\} and Chittaranjan Mandal",

year = "2007",

month = aug,

doi = "10.1007/978-3-540-74063-6\_29",

language = "English",

isbn = "9783540740629",

series = "Lecture notes in business information processing",

publisher = "Springer",

number = "1",

pages = "367--380",

editor = "Vitor Pedrosa and Joaquim Filipe and Jos├{\textregistered} Cordiro",

booktitle = "Web information systems and technologies",

address = "Germany",

}

Reade, C, Mandal, AK & Mandal, C 2007, A system for automatic evaluation of programs for correctness and performance. in V Pedrosa, J Filipe & J Cordiro (eds), Web information systems and technologies: international conferences, WEBIST 2005 and WEBIST 2006 : revised selected papers. Lecture notes in business information processing, no. 1, Springer, Berlin, Germany, pp. 367-380. https://doi.org/10.1007/978-3-540-74063-6_29

A system for automatic evaluation of programs for correctness and performance. / Reade, Chris; Mandal, Amit Kumar; Mandal, Chittaranjan.
Web information systems and technologies: international conferences, WEBIST 2005 and WEBIST 2006 : revised selected papers. ed. / Vitor Pedrosa; Joaquim Filipe; Jos├® Cordiro. Berlin, Germany: Springer, 2007. p. 367-380 (Lecture notes in business information processing; No. 1).

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

TY - CHAP

T1 - A system for automatic evaluation of programs for correctness and performance

AU - Reade, Chris

AU - Mandal, Amit Kumar

AU - Mandal, Chittaranjan

PY - 2007/8

Y1 - 2007/8

KW - Computer science and informatics

U2 - 10.1007/978-3-540-74063-6_29

DO - 10.1007/978-3-540-74063-6_29

M3 - Chapter

SN - 9783540740629

T3 - Lecture notes in business information processing

SP - 367

EP - 380

BT - Web information systems and technologies

A2 - Pedrosa, Vitor

A2 - Filipe, Joaquim

A2 - Cordiro, Jos├®

PB - Springer

CY - Berlin, Germany

ER -

Reade C, Mandal AK, Mandal C. A system for automatic evaluation of programs for correctness and performance. In Pedrosa V, Filipe J, Cordiro J, editors, Web information systems and technologies: international conferences, WEBIST 2005 and WEBIST 2006 : revised selected papers. Berlin, Germany: Springer. 2007. p. 367-380. (Lecture notes in business information processing; 1). doi: 10.1007/978-3-540-74063-6_29