GraphRedex: Look at your research
A significant aspect of designing new programming languages is to define their operational semantics. Working with a pen and paper version of such a semantics is notoriously difficult. For this reason, tools for computer aided semantics engineering were created. Many of these tools allow programmers...
Gespeichert in:
| Veröffentlicht in: | Software, practice & experience Jg. 51; H. 6; S. 1322 - 1351 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Bognor Regis
Wiley Subscription Services, Inc
01.06.2021
|
| Schlagworte: | |
| ISSN: | 0038-0644, 1097-024X |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | A significant aspect of designing new programming languages is to define their operational semantics. Working with a pen and paper version of such a semantics is notoriously difficult. For this reason, tools for computer aided semantics engineering were created. Many of these tools allow programmers to execute their language's operational semantics. An executable semantics makes it easier to verify whether the execution of a program leads to the desired result. When a program exhibits unexpected behavior, the programmer can consult the reduction graph to see what went wrong. Unfortunately, visualization of these graphs is currently not well‐supported by most tools. Consequently, the comprehension of errors remains challenging. In this article, we present GraphRedex an open‐source tool that empowers language designers to interactively explore their reduction graphs, offering three main benefits. First, a global exploration mode allows users to obtain a bird's‐eye overview of the reduction graph and learn its high level workings. Second, a local exploration mode lets the programmer closely interact with the individual reduction rules. Third, our query interface allows the programmer to filter out and highlight specific regions of the reduction graph. We evaluated our tool by carrying out a user study showing that participants comprehend programs on average twice as fast while being able to answer questions more accurately. Finally, we demonstrate how GraphRedex helps to understand the semantics of two published works. Exploration of the semantics with GraphRedex unveiled an issue in one of the implementations of these works, which the author confirmed. |
|---|---|
| AbstractList | A significant aspect of designing new programming languages is to define their operational semantics. Working with a pen and paper version of such a semantics is notoriously difficult. For this reason, tools for computer aided semantics engineering were created. Many of these tools allow programmers to execute their language's operational semantics. An executable semantics makes it easier to verify whether the execution of a program leads to the desired result. When a program exhibits unexpected behavior, the programmer can consult the reduction graph to see what went wrong. Unfortunately, visualization of these graphs is currently not well‐supported by most tools. Consequently, the comprehension of errors remains challenging. In this article, we present GraphRedex an open‐source tool that empowers language designers to interactively explore their reduction graphs, offering three main benefits. First, a global exploration mode allows users to obtain a bird's‐eye overview of the reduction graph and learn its high level workings. Second, a local exploration mode lets the programmer closely interact with the individual reduction rules. Third, our query interface allows the programmer to filter out and highlight specific regions of the reduction graph. We evaluated our tool by carrying out a user study showing that participants comprehend programs on average twice as fast while being able to answer questions more accurately. Finally, we demonstrate how GraphRedex helps to understand the semantics of two published works. Exploration of the semantics with GraphRedex unveiled an issue in one of the implementations of these works, which the author confirmed. |
| Author | Gurdeep Singh, Robbert Scholliers, Christophe |
| Author_xml | – sequence: 1 givenname: Robbert orcidid: 0000-0003-4394-0011 surname: Gurdeep Singh fullname: Gurdeep Singh, Robbert email: robbert.gurdeepsingh@ugent.be organization: Universiteit Gent – sequence: 2 givenname: Christophe surname: Scholliers fullname: Scholliers, Christophe organization: Universiteit Gent |
| BookMark | eNp10E1Lw0AQgOFFKphWwZ8Q8eIldfYjm6w3KbUKAcUP8LZsNrO0tSZxt8Xm35sar57m8jAzvGMyqpsaCTmnMKUA7Dq0OGUqVUckoqCyBJh4H5EIgOcJSCFOyDiENQClKZMRuVh40y6fscL9TVw0zUdstnHX7HzsMaDxdnlKjp3ZBDz7mxPydjd_nd0nxePiYXZbJJalQiWcg3CZEwZshVwYJZgqcymZQFeVRiHlKVcmlcAUtdyq3LGMSgsOS0mN4RNyOextffO1w7DV6_6Nuj-pWcpA5rnktFdXg7K-CcGj061ffRrfaQr6EED3AfQhQE-TgX6vNtj96_TL0_zX_wDNYVuV |
| Cites_doi | 10.1007/3-540-65306-6_21 10.1007/3-540-58950-3_393 10.1007/3-540-45949-9 10.1145/503502.503505 10.1016/j.jss.2018.06.027 10.1016/S0049-237X(09)70099-0 10.1007/978-3-319-96418-8_1 10.1145/1596550.1596588 10.1007/978-3-319-23165-5_28 10.1016/0890-5401(91)90055-7 10.1145/3062341.3062363 10.1016/B978-155860915-0/50046-9 10.1002/spe.4380211102 10.1111/j.1467-8659.2011.01898.x 10.1016/j.jlap.2010.03.012 10.1038/324446a0 10.1007/978-3-030-17184-1_2 10.1109/TVCG.2019.2934609 10.1201/b17511 10.1007/s10817-014-9317-x 10.1017/S0956796801004208 10.1112/plms/s3-13.1.743 10.1109/ICPP.2017.47 10.1145/1596550.1596589 10.1145/3358711.3361625 10.1016/j.jlap.2004.03.009 10.1145/1596550.1596598 10.1016/j.jsc.2014.09.028 10.1109/TVCG.2011.185 10.1145/2103621.2103691 |
| ContentType | Journal Article |
| Copyright | 2021 John Wiley & Sons, Ltd. |
| Copyright_xml | – notice: 2021 John Wiley & Sons, Ltd. |
| DBID | AAYXX CITATION 7SC 8FD F28 FR3 JQ2 L7M L~C L~D |
| DOI | 10.1002/spe.2959 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | CrossRef Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1097-024X |
| EndPage | 1351 |
| ExternalDocumentID | 10_1002_spe_2959 SPE2959 |
| Genre | article |
| GroupedDBID | -~X .3N .4S .DC .GA .Y3 05W 0R~ 10A 123 1L6 1OB 1OC 31~ 33P 3EH 3R3 3SF 3WU 4.4 4ZD 50Y 50Z 51W 51X 52M 52N 52O 52P 52S 52T 52U 52W 52X 5VS 66C 702 7PT 8-0 8-1 8-3 8-4 8-5 85S 8UM 8WZ 930 9M8 A03 A6W AAESR AAEVG AAHHS AAHQN AAMNL AANHP AANLZ AAONW AASGY AAXRX AAYCA AAZKR ABCQN ABCUV ABDPE ABEFU ABEML ABIJN ABLJU ABTAH ACAHQ ACBWZ ACCFJ ACCZN ACFBH ACGFS ACIWK ACNCT ACPOU ACRPL ACSCC ACXBN ACXQS ACYXJ ADBBV ADEOM ADIZJ ADKYN ADMGS ADMXK ADNMO ADOZA ADXAS ADZMN AEEZP AEIGN AEIMD AENEX AEQDE AEUQT AEUYR AFBPY AFFPM AFGKR AFPWT AFWVQ AFZJQ AHBTC AITYG AIURR AIWBW AJBDE AJXKR ALAGY ALMA_UNASSIGNED_HOLDINGS ALUQN ALVPJ AMBMR AMYDB ARCSS ASPBG ATUGU AUFTA AVWKF AZBYB AZFZN AZVAB BAFTC BDRZF BFHJK BHBCM BMNLL BNHUX BROTX BRXPI BY8 CS3 CWDTD D-E D-F D0L DCZOG DPXWK DR2 DRFUL DRSTM DU5 EBS EJD F00 F01 F04 FEDTE G-S G.N GNP GODZA H.T H.X HBH HF~ HGLYW HHY HVGLF HZ~ IX1 J0M JPC KQQ LATKE LAW LC2 LC3 LEEKS LH4 LITHE LOXES LP6 LP7 LUTES LW6 LYRES M61 MEWTI MK4 MRFUL MRSTM MSFUL MSSTM MXFUL MXSTM N04 N05 N9A NF~ NNB O66 O9- OIG P2P P2W P2X P4D PALCI PQQKQ PZZ Q.N Q11 QB0 QRW R.K RIWAO RJQFR ROL RWI RX1 RXW RYL S10 SAMSI SUPJJ TAE TUS TWZ UB1 V2E W8V W99 WBKPD WH7 WIB WIH WIK WOHZO WQJ WRC WWW WXSBR WYISQ WZISG XG1 XPP XV2 YYP ZCA ZY4 ZZTAW ~02 ~IA ~WT AAMMB AAYXX ABUFD ADMLS AEFGJ AEYWJ AGHNM AGQPQ AGXDD AGYGG AIDQK AIDYY AIQQE CITATION O8X 7SC 8FD F28 FR3 JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c2549-3304f7f4a0cde34a9429b86624efdba9e13539a560291c3c98f2716c0feb61aa3 |
| IEDL.DBID | DRFUL |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000624493700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0038-0644 |
| IngestDate | Fri Jul 25 09:24:06 EDT 2025 Sat Nov 29 04:02:38 EST 2025 Wed Jan 22 16:30:43 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c2549-3304f7f4a0cde34a9429b86624efdba9e13539a560291c3c98f2716c0feb61aa3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0003-4394-0011 |
| PQID | 2520688631 |
| PQPubID | 1046349 |
| PageCount | 30 |
| ParticipantIDs | proquest_journals_2520688631 crossref_primary_10_1002_spe_2959 wiley_primary_10_1002_spe_2959_SPE2959 |
| PublicationCentury | 2000 |
| PublicationDate | June 2021 2021-06-00 20210601 |
| PublicationDateYYYYMMDD | 2021-06-01 |
| PublicationDate_xml | – month: 06 year: 2021 text: June 2021 |
| PublicationDecade | 2020 |
| PublicationPlace | Bognor Regis |
| PublicationPlace_xml | – name: Bognor Regis |
| PublicationSubtitle | Practice & Experience |
| PublicationTitle | Software, practice & experience |
| PublicationYear | 2021 |
| Publisher | Wiley Subscription Services, Inc |
| Publisher_xml | – name: Wiley Subscription Services, Inc |
| References | 2018; 144 1984; 42 2010; 79 2010 2002; 12 2015; 54 2009 1998 2011; 30 2007 1996 1963; s3‐13 1995 2004 2003 2002 2011; 17 1959; 26 2014; 40 2001; 23 2004; 60‐61 2015; 69 1986; 324 1991; 21 1991; 93 2019 2018 2017 2016 2015 2014 2009; 4 2012; 47 2019; 134 e_1_2_10_23_1 e_1_2_10_21_1 e_1_2_10_44_1 e_1_2_10_43_1 Van Cutsem T (e_1_2_10_22_1) 2014; 40 e_1_2_10_42_1 e_1_2_10_20_1 e_1_2_10_41_1 Felleisen M (e_1_2_10_6_1) 2009 Bangor A (e_1_2_10_25_1) 2009; 4 Brooke John (e_1_2_10_24_1) 1996 Clavel M (e_1_2_10_5_1) 2007 Lopez CT (e_1_2_10_35_1) 2019 e_1_2_10_2_1 Pierce BC (e_1_2_10_3_1) 2002 e_1_2_10_4_1 e_1_2_10_18_1 e_1_2_10_19_1 e_1_2_10_16_1 e_1_2_10_17_1 e_1_2_10_38_1 e_1_2_10_8_1 e_1_2_10_14_1 e_1_2_10_37_1 e_1_2_10_7_1 e_1_2_10_15_1 e_1_2_10_36_1 e_1_2_10_12_1 e_1_2_10_9_1 e_1_2_10_13_1 Castéran P (e_1_2_10_28_1) 2004 e_1_2_10_34_1 Eades P (e_1_2_10_40_1) 1984; 42 e_1_2_10_10_1 e_1_2_10_33_1 e_1_2_10_32_1 e_1_2_10_31_1 e_1_2_10_30_1 Tamassia R (e_1_2_10_39_1) 2016 Kienle HM (e_1_2_10_11_1) 2010 e_1_2_10_29_1 e_1_2_10_27_1 e_1_2_10_26_1 |
| References_xml | – start-page: 1 year: 2019 end-page: 1 article-title: Visualizing hierarchical performance profiles of parallel codes using callflow publication-title: IEEE Trans Vis Comput Graph – year: 2009 – volume: 134 start-page: 27:1 year: 2019 end-page: 27:30 – start-page: 189 year: 2010 end-page: 290 – volume: 17 start-page: 2301 issue: 12 year: 2011 end-page: 2309 article-title: D : data‐driven documents publication-title: IEEE Trans Vis Comp Graph (Proc InfoVis) – start-page: 1 year: 2018 end-page: 10 – volume: 93 start-page: 172 issue: 1 year: 1991 end-page: 221 article-title: Inheritance as implicit coercion publication-title: Inf Comput – volume: 79 start-page: 397 issue: 6 year: 2010 end-page: 434 article-title: An overview of the K semantic framework publication-title: J Logic Algebraic Program – volume: 4 start-page: 114 issue: 3 year: 2009 end-page: 123 article-title: Determining what individual sus scores mean: adding an adjective rating scale publication-title: J Usability Stud – year: 2007 – start-page: 429 year: 1998 end-page: 528 – volume: 60‐61 start-page: 17 year: 2004 end-page: 139 article-title: A structural approach to operational semantics publication-title: J Log Algebraic Program – year: 2016 – year: 2014 – volume: s3‐13 start-page: 743 issue: 1 year: 1963 end-page: 767 article-title: How to draw a graph publication-title: Proc Lond Math Soc – volume: 144 start-page: 165 year: 2018 end-page: 180 article-title: A systematic literature review of software visualization evaluation publication-title: J Syst Softw – volume: 21 start-page: 1129 issue: 11 year: 1991 end-page: 1164 article-title: Graph drawing by force‐directed placement publication-title: Softw Pract Exper – volume: 47 start-page: 285 issue: 1 year: 2012 end-page: 296 article-title: Run your research: on the effectiveness of lightweight mechanization publication-title: SIGPLAN Not – year: 2002 – start-page: 598 year: 2015 end-page: 616 – volume: 42 start-page: 149 year: 1984 end-page: 160 article-title: A heuristic for graph drawing publication-title: Congr Numer – year: 2004 – volume: 23 start-page: 396 issue: 3 year: 2001 end-page: 450 article-title: Featherweight Java: a minimal core calculus for Java and GJ publication-title: ACM Trans Program Lang Syst – volume: 69 start-page: 3 year: 2015 end-page: 39 article-title: Exploring conditional rewriting logic computations publication-title: J Symbol Comput – start-page: 388 year: 1995 end-page: 403 – volume: 54 start-page: 135 issue: 2 year: 2015 end-page: 163 article-title: Verified compilation of floating‐point computations publication-title: J Automat Reason – volume: 30 start-page: 1719 issue: 6 year: 2011 end-page: 1749 article-title: Visual analysis of large graphs: state‐of‐the‐art and future research challenges publication-title: Comput Graph Forum – start-page: 364 year: 2003 end-page: 371 – volume: 12 start-page: 159 issue: 2 year: 2002 end-page: 182 article-title: DrScheme: a programming environment for scheme publication-title: J Funct Program – year: 2017 – volume: 26 start-page: 33 year: 1959 end-page: 70 – volume: 324 start-page: 446 issue: 6096 year: 1986 end-page: 449 article-title: A hierarchical O(N log N) force‐calculation algorithm publication-title: Nature – start-page: 189 year: 1996 article-title: SUS: a "quick and dirty" usability scale – year: 2019 – volume: 40 start-page: 112 issue: 3‐4 year: 2014 end-page: 136 article-title: AmbientTalk: programming responsive mobile peer‐to‐peer applications with actors publication-title: Comput Lang Syst Struct – ident: e_1_2_10_8_1 doi: 10.1007/3-540-65306-6_21 – ident: e_1_2_10_44_1 doi: 10.1007/3-540-58950-3_393 – ident: e_1_2_10_27_1 doi: 10.1007/3-540-45949-9 – volume: 42 start-page: 149 year: 1984 ident: e_1_2_10_40_1 article-title: A heuristic for graph drawing publication-title: Congr Numer – ident: e_1_2_10_23_1 doi: 10.1145/503502.503505 – ident: e_1_2_10_12_1 doi: 10.1016/j.jss.2018.06.027 – volume: 40 start-page: 112 issue: 3 year: 2014 ident: e_1_2_10_22_1 article-title: AmbientTalk: programming responsive mobile peer‐to‐peer applications with actors publication-title: Comput Lang Syst Struct – volume-title: Semantics engineering with PLT Redex year: 2009 ident: e_1_2_10_6_1 – ident: e_1_2_10_9_1 doi: 10.1016/S0049-237X(09)70099-0 – ident: e_1_2_10_34_1 doi: 10.1007/978-3-319-96418-8_1 – ident: e_1_2_10_18_1 doi: 10.1145/1596550.1596588 – ident: e_1_2_10_31_1 doi: 10.1007/978-3-319-23165-5_28 – ident: e_1_2_10_19_1 doi: 10.1016/0890-5401(91)90055-7 – volume: 4 start-page: 114 issue: 3 year: 2009 ident: e_1_2_10_25_1 article-title: Determining what individual sus scores mean: adding an adjective rating scale publication-title: J Usability Stud – start-page: 27:1 volume-title: Proceedings of the 33rd European Conference on Object‐Oriented Programming (ECOOP 2019), Leibniz International Proceedings in Informatics (LIPIcs) year: 2019 ident: e_1_2_10_35_1 – ident: e_1_2_10_14_1 doi: 10.1145/3062341.3062363 – ident: e_1_2_10_10_1 doi: 10.1016/B978-155860915-0/50046-9 – ident: e_1_2_10_41_1 doi: 10.1002/spe.4380211102 – ident: e_1_2_10_37_1 doi: 10.1111/j.1467-8659.2011.01898.x – ident: e_1_2_10_7_1 doi: 10.1016/j.jlap.2010.03.012 – ident: e_1_2_10_42_1 doi: 10.1038/324446a0 – ident: e_1_2_10_29_1 doi: 10.1007/978-3-030-17184-1_2 – ident: e_1_2_10_36_1 doi: 10.1109/TVCG.2019.2934609 – ident: e_1_2_10_21_1 doi: 10.1201/b17511 – ident: e_1_2_10_30_1 doi: 10.1007/s10817-014-9317-x – ident: e_1_2_10_20_1 doi: 10.1017/S0956796801004208 – start-page: 189 volume-title: Usability Evaluation in Industry year: 1996 ident: e_1_2_10_24_1 – ident: e_1_2_10_15_1 – ident: e_1_2_10_4_1 – ident: e_1_2_10_38_1 doi: 10.1112/plms/s3-13.1.743 – ident: e_1_2_10_43_1 doi: 10.1109/ICPP.2017.47 – volume-title: All About Maude ‐ a High‐performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic year: 2007 ident: e_1_2_10_5_1 – ident: e_1_2_10_16_1 doi: 10.1145/1596550.1596589 – volume-title: Handbook of Graph Drawing and Visualization year: 2016 ident: e_1_2_10_39_1 – ident: e_1_2_10_32_1 doi: 10.1145/3358711.3361625 – volume-title: Types and Programming Languages year: 2002 ident: e_1_2_10_3_1 – ident: e_1_2_10_26_1 doi: 10.1016/j.jlap.2004.03.009 – start-page: 189 volume-title: Advances in Computers year: 2010 ident: e_1_2_10_11_1 – ident: e_1_2_10_17_1 doi: 10.1145/1596550.1596598 – ident: e_1_2_10_33_1 doi: 10.1016/j.jsc.2014.09.028 – ident: e_1_2_10_13_1 doi: 10.1109/TVCG.2011.185 – volume-title: Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions year: 2004 ident: e_1_2_10_28_1 – ident: e_1_2_10_2_1 doi: 10.1145/2103621.2103691 |
| SSID | ssj0011526 |
| Score | 2.2708879 |
| Snippet | A significant aspect of designing new programming languages is to define their operational semantics. Working with a pen and paper version of such a semantics... |
| SourceID | proquest crossref wiley |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 1322 |
| SubjectTerms | Exploration Graphs Open source software operational semantics PLT Redex Programming languages Reduction Semantics semantics engineering state explosion tooling visualization |
| Title | GraphRedex: Look at your research |
| URI | https://onlinelibrary.wiley.com/doi/abs/10.1002%2Fspe.2959 https://www.proquest.com/docview/2520688631 |
| Volume | 51 |
| WOSCitedRecordID | wos000624493700001&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 | |
| journalDatabaseRights | – providerCode: PRVWIB databaseName: Wiley Online Library - Journals customDbUrl: eissn: 1097-024X dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0011526 issn: 0038-0644 databaseCode: DRFUL dateStart: 19960101 isFulltext: true titleUrlDefault: https://onlinelibrary.wiley.com providerName: Wiley-Blackwell |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV09T8MwED1By8BC-RSFglwJsYU6tpvEbAhaGKqqKlTqZjmOLVhK1RQE_x47cVoYkJCYsvgi-3SX93yx3wFchAbzhOssSKMUByyzYexYSIClRXueKBMqWTSbiIfDZDrlI3-q0t2FKfUhVgU3lxnF99oluEzzzlo0NJ_rK8K7fBPqxIYtq0H9btyfDFb_ECwyRaUoYxJY4GWV9Cwmncr2JxitGeZ3nloATb_xnynuwo6nl-imjIc92NCzfWhUrRuQz-QDaN87oeqxzvTHNRpYoo3kEn1aa-TVf54PYdLvPd0-BL5bQqDcJi9whQkTGyaxyjRlklukSZMoIkybLJVcuw4XXFqGQ3ioqOKJIXazpLDRaRRKSY-gNnud6WNAisbc8CyMsVbufTLG3YxGccqI4QmhTWhXbhPzUhRDlPLHRNg1C7fmJrQqfwqfFrkgXeKa3EQ0bMJl4blf7cXjqOeeJ38deArbxJ03KSokLagtF2_6DLbU-_IlX5z74PgCGhu7QQ |
| linkProvider | Wiley-Blackwell |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1NT8JAEJ0gmOhF_CKiqEtivFW228_Vk1EQYyUEIeG22W53oxckgEb_vbv9AD2YmHjqpdN0JzN9b6ftewBntsI0pDKxYj_GlpvoMjYsxMJcoz0NhbIFT80mgl4vHI9pvwRXxb8wmT7EcuBmOiN9XpsGNwPp1ko1dD6VF4R6dA0qrq4irwyV20FnFC1fImho8jNVxtDSyOsW2rOYtIrYn2i0opjfiWqKNJ3qv-5xG7Zygomus4rYgZKc7EK1MG9AeS_vQfPOSFUPZCI_LlGkqTbiC_Spo1Gu__O8D6NOe3jTtXK_BEuYbZ5lRhMqUC7HIpGOy6nGmjj0feJKlcScSuNxQbnmOITawhE0VERvlwRWMvZtzp0alCevE3kASDgBVTSxAyyFuR4PsJc4fhC7RNGQOHVoFnlj00wWg2UCyITpNTOz5jo0ioSyvDHmjHjE2Nz4jl2H8zR1v8azp37bHA__euIpbHSHjxGL7nsPR7BJzNcn6bykAeXF7E0ew7p4X7zMZyd5pXwBZFW_MQ |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1NS8NAEB1qK-LF-onVqimIt9jNJtlk9STaqFhKqRZ6Wzb7gV5qaavov3c3H60eBMFTLpmQHeblvZ0kbwBOPY1oTJV0U5IiN5CmjK0KcRE3bE9joT3Bs2ETUa8Xj0a0X4HL8l-Y3B9i0XCzyMie1xbgaiJ1e-kaOpuoc0xDugK1IKTEoLJ2M0iG3cVLBENNJHdljF3DvEHpPYtwu4z9yUZLifldqGZMk9T_dY-bsFEITOcqr4gtqKjxNtTL4Q1OgeUdaN1aq-qBkurjwukaqe3wufNpop3C_-d5F4ZJ5-n6zi3mJbjCbvNc25rQkQ44ElL5AaeGa9KYEBwoLVNOlZ1xQbnROJh6whc01thslwTSKiUe5_4eVMevY7UPjvAjqqn0IqSEvR6PUCh9EqUB1jTGfgNaZd7YJLfFYLkBMmZmzcyuuQHNMqGsAMaM4RDbMTfE9xpwlqXu13j22O_Y48FfTzyBtf5Nwrr3vYdDWMf245OsXdKE6nz6po5gVbzPX2bT46JQvgBOM76s |
| 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%3Ajournal&rft.genre=article&rft.atitle=GraphRedex%3A+Look+at+your+research&rft.jtitle=Software%2C+practice+%26+experience&rft.au=Gurdeep+Singh%2C+Robbert&rft.au=Scholliers%2C+Christophe&rft.date=2021-06-01&rft.issn=0038-0644&rft.eissn=1097-024X&rft.volume=51&rft.issue=6&rft.spage=1322&rft.epage=1351&rft_id=info:doi/10.1002%2Fspe.2959&rft.externalDBID=10.1002%252Fspe.2959&rft.externalDocID=SPE2959 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0038-0644&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0038-0644&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0038-0644&client=summon |