{"id":"https://openalex.org/W2498660554","doi":"https://doi.org/10.1145/2897336.2897337","title":"Static and dynamic visualisations of monadic programs","display_name":"Static and dynamic visualisations of monadic programs","publication_year":2015,"publication_date":"2015-09-14","ids":{"openalex":"https://openalex.org/W2498660554","doi":"https://doi.org/10.1145/2897336.2897337","mag":"2498660554"},"language":"en","primary_location":{"id":"doi:10.1145/2897336.2897337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897336.2897337","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045879907","display_name":"Jurri\u00ebn Stutterheim","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jurri\u00ebn Stutterheim","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081280625","display_name":"Peter Achten","orcid":"https://orcid.org/0000-0002-3585-7165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Peter Achten","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049917627","display_name":"Rinus Plasmeijer","orcid":"https://orcid.org/0009-0007-1606-8412"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Rinus Plasmeijer","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5045879907"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.31815042,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8795886039733887},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8287439942359924},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7929519414901733},{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.7097905874252319},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.696049690246582},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6130713820457458},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4996607303619385},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.49874281883239746},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.46078431606292725},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4268980324268341},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.41787058115005493},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35789555311203003}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8795886039733887},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8287439942359924},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7929519414901733},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.7097905874252319},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.696049690246582},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6130713820457458},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4996607303619385},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.49874281883239746},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.46078431606292725},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4268980324268341},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.41787058115005493},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35789555311203003},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2897336.2897337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897336.2897337","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/161445","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/161445","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Part of book or chapter of book"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/161445","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/161445","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"L\u00e4mmel, R. (ed.), IFL '15 : Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, September 14-16, 2015 Koblenz, Germany, 1 - 13. New York : ACM","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1482689271","https://openalex.org/W1490584728","https://openalex.org/W1534285741","https://openalex.org/W1536042340","https://openalex.org/W1570383166","https://openalex.org/W1841915623","https://openalex.org/W2038856365","https://openalex.org/W2049299242","https://openalex.org/W2085070867","https://openalex.org/W2098926504","https://openalex.org/W2128383602","https://openalex.org/W2136729623","https://openalex.org/W2146494438","https://openalex.org/W2418938958","https://openalex.org/W2488050585","https://openalex.org/W2561675875"],"related_works":["https://openalex.org/W2800641345","https://openalex.org/W2886673879","https://openalex.org/W564953056","https://openalex.org/W2061184006","https://openalex.org/W2381239448","https://openalex.org/W4236910510","https://openalex.org/W2092932442","https://openalex.org/W2543963479","https://openalex.org/W1751798423","https://openalex.org/W2583000271"],"abstract_inverted_index":{"iTasks":[0,61,98,128],"is":[1,51,62,149,161,228,247],"a":[2,28,47,195,200,216],"shallowly":[3],"embedded":[4],"monadic":[5,240],"domain-specific":[6],"language":[7,14],"written":[8],"in":[9,46,64,158,223],"the":[10,18,33,55,65,107,118,123,145,207,213,243,250],"lazy,":[11],"functional":[12,237],"programming":[13,74],"Clean.":[15],"It":[16,44],"implements":[17],"Task-Oriented":[19],"Programming":[20],"(TOP)":[21],"paradigm.":[22],"In":[23,84,113,194,239],"TOP":[24,208],"one":[25],"describes,":[26],"on":[27,163],"high":[29],"level":[30],"of":[31,68,126,245],"abstraction,":[32],"tasks":[34,166,170,188],"distributed":[35],"collaborative":[36],"systems":[37],"and":[38,111,139,143,173,177,191,203,210,218,226],"end":[39,137],"users":[40,138],"have":[41,198,211],"to":[42,53,82,95,105,120,141,230,233,254],"do.":[43],"results":[45,178],"web":[48],"application":[49],"that":[50],"able":[52],"coordinate":[54],"work":[56,146],"thus":[57],"described.":[58],"Even":[59],"though":[60],"defined":[63],"common":[66],"notion":[67],"\"tasks\",":[69],"for":[70,206,215,221,235],"stake":[71],"holders":[72],"without":[73],"experience,":[75],"textual":[76],"source":[77],"code":[78],"remains":[79],"too":[80],"difficult":[81],"understand.":[83],"previous":[85],"work,":[86],"we":[87,116,155,183,197],"introduced":[88],"Tonic":[89,252],"(Task-Oriented":[90],"Notation":[91],"Inferred":[92],"from":[93],"Code)":[94],"graphically":[96,121],"represent":[97],"programs":[99],"using":[100],"blueprints.":[101],"Blueprints":[102],"are":[103,167,171,189],"designed":[104],"bridge":[106],"gap":[108],"between":[109],"domain-expert":[110],"programmer.":[112],"this":[114],"paper,":[115],"add":[117],"capability":[119],"trace":[122],"dynamic":[124,153],"behaviour":[125],"an":[127],"program":[129],"at":[130],"run-time.":[131],"This":[132],"enables":[133],"domain":[134,209],"experts,":[135],"managers,":[136],"programmers":[140],"follow":[142],"inspect":[144],"as":[147],"it":[148],"being":[150],"executed.":[151],"Using":[152],"blueprints":[154],"can":[156,184],"show,":[157],"real-time,":[159],"who":[160],"working":[162],"what,":[164],"which":[165,169,186,192],"finished,":[168],"active,":[172],"what":[174],"their":[175],"parameters":[176],"are.":[179],"Under":[180],"certain":[181],"conditions":[182],"predict":[185],"future":[187],"reachable":[190],"not.":[193],"way,":[196],"created":[199,212],"graphical":[201],"tracing":[202,217],"debugging":[204,219,227],"system":[205,220],"foundation":[214],"monads":[222],"general.":[224],"Tracing":[225],"known":[229],"be":[231],"hard":[232],"realize":[234],"lazy":[236],"languages.":[238],"contexts,":[241],"however,":[242],"order":[244],"evaluation":[246],"well-defined,":[248],"reducing":[249],"challenges":[251],"needs":[253],"overcome.":[255]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}