Determining Equivalence of Expressions: An Automated Evaluator's Perspective
As the intake of students is increasing in the institutions, fast and consistent evaluation of students' performance is becoming difficult without automated means of assessment. Programming assignments submitted by the students can be automatically assessed using an automated evaluator, which c...
Uložené v:
| Vydané v: | 2015 IEEE Seventh International Conference on Technology for Education (T4E) s. 35 - 36 |
|---|---|
| Hlavní autori: | , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
01.12.2015
|
| Predmet: | |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | As the intake of students is increasing in the institutions, fast and consistent evaluation of students' performance is becoming difficult without automated means of assessment. Programming assignments submitted by the students can be automatically assessed using an automated evaluator, which compares a program written by a student with a model program supplied by the instructor in order to evaluate the student's performance. In course of checking equivalence between the two programs, the evaluator sometimes has to determine whether some expression used in the student program assumes the same value as that of the model program or not. Thus, determining equivalence between pairs of expressions is at the core of designing automated evaluators. This paper proposes a novel technique to determine equivalence between expressions involving floating point and transcendental numbers, which have not been addressed in earlier literature to the best of the authors' knowledge. |
|---|---|
| AbstractList | As the intake of students is increasing in the institutions, fast and consistent evaluation of students' performance is becoming difficult without automated means of assessment. Programming assignments submitted by the students can be automatically assessed using an automated evaluator, which compares a program written by a student with a model program supplied by the instructor in order to evaluate the student's performance. In course of checking equivalence between the two programs, the evaluator sometimes has to determine whether some expression used in the student program assumes the same value as that of the model program or not. Thus, determining equivalence between pairs of expressions is at the core of designing automated evaluators. This paper proposes a novel technique to determine equivalence between expressions involving floating point and transcendental numbers, which have not been addressed in earlier literature to the best of the authors' knowledge. |
| Author | Banerjee, Kunal Sharma, K. K. Mandal, Chittaranjan |
| Author_xml | – sequence: 1 givenname: K. K. surname: Sharma fullname: Sharma, K. K. email: kks@sit.iitkgp.ernet.in organization: Sch. of Inf. Technol., Indian Inst. of Technol., Kharagpur, Kharagpur, India – sequence: 2 givenname: Kunal surname: Banerjee fullname: Banerjee, Kunal email: kunalb@cse.iitkgp.ernet.in organization: Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, Kharagpur, India – sequence: 3 givenname: Chittaranjan surname: Mandal fullname: Mandal, Chittaranjan email: chitta@iitkgp.ac.in organization: Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, Kharagpur, India |
| BookMark | eNotj79LxDAYQCMoqGcnR5dsTq35miZN3I6z_oCCDud8pM0XCVzTmqaH_vee6PSWx4N3SU7DGJCQa2AFANN326opSgaiAH5CMl0rqGTNtWCanZNsnn3HSlnLSlf6grQPmDAOPvjwQZvPxR_MHkOPdHS0-ZoiHv0xzPd0Heh6SeNgElraHK3FpDHezvQN4zxhn_wBr8iZM_sZs3-uyPtjs9085-3r08tm3ea-ZCrlwjLFFdi-Vh1Yhp0TpWIaeiaM6hCc7UDzUldSCMOFkcJqLWrea5DOupqvyM1f1yPibop-MPF79_sooeQ_TItNLw |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/T4E.2015.13 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISBN | 9781467395090 1467395099 |
| EndPage | 36 |
| ExternalDocumentID | 7395612 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IL ALMA_UNASSIGNED_HOLDINGS CBEJK RIB RIC RIE RIL |
| ID | FETCH-LOGICAL-i208t-5d08381dc78b1d0ebf528091c05a8be1fdb193294655a35a65d99573c916fdf73 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000380915400008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Dec 20 05:18:21 EST 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i208t-5d08381dc78b1d0ebf528091c05a8be1fdb193294655a35a65d99573c916fdf73 |
| PageCount | 2 |
| ParticipantIDs | ieee_primary_7395612 |
| PublicationCentury | 2000 |
| PublicationDate | 20151201 |
| PublicationDateYYYYMMDD | 2015-12-01 |
| PublicationDate_xml | – month: 12 year: 2015 text: 20151201 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | 2015 IEEE Seventh International Conference on Technology for Education (T4E) |
| PublicationTitleAbbrev | T4E |
| PublicationYear | 2015 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssib026764949 |
| Score | 1.584583 |
| Snippet | As the intake of students is increasing in the institutions, fast and consistent evaluation of students' performance is becoming difficult without automated... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 35 |
| SubjectTerms | automated program evaluation Benchmark testing Computer-assisted learning Conferences Design automation equivalence checking floating point numbers Mathematics Programming profession trigonometric functions |
| Title | Determining Equivalence of Expressions: An Automated Evaluator's Perspective |
| URI | https://ieeexplore.ieee.org/document/7395612 |
| WOSCitedRecordID | wos000380915400008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZKxQALjxbxlgckFlKcuI5ttgpSMZSqQ0Hdqtg-S10SaBLEz8dOQsvAwmZZtiydLd3J9z0Qukkjqw0hJpCQ-jaj5oHSqQmotcr7FYZR_aH_NuHTqVgs5KyD7jZcGACowWcw8MO6l29yXfmvsnvfVIq9pfAO53HD1fp5O1HMYy-00lLwQiLv58PEQ7fYwFsX_LJOqTPH-OB_Zx6i_paCh2eb5HKEOpAdo_2Xjchq0UOTpxbK4hbg5KNauUdT78stTr5agGtWPOBRhkdVmbt9YHDSyHvn69sCz7ZMyz56HSfzx-egNUcIVhERZcCMK55csam5UKEhoCyLhEv-mrBUKAitUb42k14fLaUsjZmRknGqXT1ojeX0BHWzPINThEOhgYpIgdV0SIW7Kmljpk0IlhMGwzPU83FZvjf6F8s2JOd_T1-gPR_1BvJxibrluoIrtKs_y1Wxvq4v7RuQrJrW |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFH8MFdSLH5v4bQ6CF7ulH2lTb0M7JnZjhym7jTZ5gV1aXVfxzzdp6-bBi7cQEgJ5gffI-30A3CaOEpJSaYWYmDajCKxUJNJylUqNX6HtVB_6b3EwHvPZLJy04H7NhUHECnyGXTOsevkyF6X5KuuZppJvLIW3mec5tGZr_bwexw98I7XSkPBsGvamXmTAW6xrzAt-madUuWNw8L9TD6GzIeGRyTq9HEELs2PYH61lVos2xE8NmEUvINFHudDPptqXKxJ9NRDXrHgg_Yz0y1Wu96EkUS3wnS_vCjLZcC078DqIpo9Dq7FHsBYO5SuLSV0-6XJTBDy1JcVUMYfr9C8oS3iKtpKpqc5Co5CWuCzxmQxDFrhCV4RKqsA9ga0sz_AUiM0FutxJUQnXc7kOVqh8JqSNKqAMvTNom3uZv9cKGPPmSs7_nr6B3eF0FM_j5_HLBeyZCNQAkEvYWi1LvIId8blaFMvrKoDfzU-eHQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2015+IEEE+Seventh+International+Conference+on+Technology+for+Education+%28T4E%29&rft.atitle=Determining+Equivalence+of+Expressions%3A+An+Automated+Evaluator%27s+Perspective&rft.au=Sharma%2C+K.+K.&rft.au=Banerjee%2C+Kunal&rft.au=Mandal%2C+Chittaranjan&rft.date=2015-12-01&rft.pub=IEEE&rft.spage=35&rft.epage=36&rft_id=info:doi/10.1109%2FT4E.2015.13&rft.externalDocID=7395612 |