{"id":"https://openalex.org/W2396831727","doi":"https://doi.org/10.29007/3bwg","title":"Specifying Hyperdocuments with Algebraic Methods","display_name":"Specifying Hyperdocuments with Algebraic Methods","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2396831727","doi":"https://doi.org/10.29007/3bwg","mag":"2396831727"},"language":"en","primary_location":{"id":"doi:10.29007/3bwg","is_oa":true,"landing_page_url":"https://doi.org/10.29007/3bwg","pdf_url":"https://easychair.org/publications/open/tqDK","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/tqDK","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083890386","display_name":"Volker Mattick","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Volker Mattick","raw_affiliation_strings":["Technische Universitt Dortmund Fakultt fr Informatik","Technische Universit\u00e4t Dortmund Fakult\u00e4t f\u00fcr Informatik"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universitt Dortmund Fakultt fr Informatik","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Technische Universit\u00e4t Dortmund Fakult\u00e4t f\u00fcr Informatik","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083890386"],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0047645,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":null,"first_page":"19","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8617947101593018},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7844268083572388},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.7760267853736877},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.6707677245140076},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6458274126052856},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.5457876920700073},{"id":"https://openalex.org/keywords/sgml","display_name":"SGML","score":0.5379500985145569},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"Abstract syntax","score":0.5336381196975708},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.47756773233413696},{"id":"https://openalex.org/keywords/markup-language","display_name":"Markup language","score":0.4673123061656952},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.4555176794528961},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.45298486948013306},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.4388256072998047},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.369762122631073},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32864999771118164},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.2871183753013611},{"id":"https://openalex.org/keywords/document-structure-description","display_name":"Document Structure Description","score":0.276735782623291},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.19579899311065674},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.15121155977249146}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8617947101593018},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7844268083572388},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7760267853736877},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.6707677245140076},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6458274126052856},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.5457876920700073},{"id":"https://openalex.org/C62701983","wikidata":"https://www.wikidata.org/wiki/Q207819","display_name":"SGML","level":4,"score":0.5379500985145569},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.5336381196975708},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47756773233413696},{"id":"https://openalex.org/C45874996","wikidata":"https://www.wikidata.org/wiki/Q37045","display_name":"Markup language","level":3,"score":0.4673123061656952},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.4555176794528961},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.45298486948013306},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.4388256072998047},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.369762122631073},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32864999771118164},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2871183753013611},{"id":"https://openalex.org/C68699486","wikidata":"https://www.wikidata.org/wiki/Q265904","display_name":"Document Structure Description","level":3,"score":0.276735782623291},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.19579899311065674},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.15121155977249146},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/3bwg","is_oa":true,"landing_page_url":"https://doi.org/10.29007/3bwg","pdf_url":"https://easychair.org/publications/open/tqDK","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/3bwg","is_oa":true,"landing_page_url":"https://doi.org/10.29007/3bwg","pdf_url":"https://easychair.org/publications/open/tqDK","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2396831727.pdf","grobid_xml":"https://content.openalex.org/works/W2396831727.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1546727036","https://openalex.org/W1557533716","https://openalex.org/W1567856068","https://openalex.org/W1598200292","https://openalex.org/W1817780983","https://openalex.org/W1884719254","https://openalex.org/W1963842623","https://openalex.org/W2020563325","https://openalex.org/W2062871376","https://openalex.org/W2093310194","https://openalex.org/W2099243739","https://openalex.org/W2116790952","https://openalex.org/W2134287022","https://openalex.org/W2142456799","https://openalex.org/W2153166264","https://openalex.org/W2912417109","https://openalex.org/W4206478455","https://openalex.org/W4230642148","https://openalex.org/W4234894614","https://openalex.org/W4238205552","https://openalex.org/W4292014583"],"related_works":["https://openalex.org/W2044641582","https://openalex.org/W2186877208","https://openalex.org/W2112263414","https://openalex.org/W2084734328","https://openalex.org/W3004782279","https://openalex.org/W4232022739","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W2076638146","https://openalex.org/W2060814800"],"abstract_inverted_index":{"Algebraic":[0],"specification":[1],"methods,":[2],"well-known":[3,78],"in":[4,46,96,118],"the":[5,44,51,55,69,75,81,87,97,150],"area":[6],"of":[7,38,64,68,77,83,89,120],"programming":[8],"languages,":[9],"are":[10,62,101],"adapted":[11,148],"to":[12,86,149,157],"present":[13],"a":[14,25,35,39,47],"tailored":[15],"framework":[16,122,126],"for":[17,93],"hyperdocuments":[18],"and":[19,50,113,123],"hyperdocument":[20,26,90],"systems.":[21,91],"In":[22],"this":[23,121,125],"framework,":[24],"is":[27,34,105,155],"defined":[28,117],"via":[29],"its":[30,94],"abstract":[31],"syntax,":[32],"which":[33,153],"variable-free":[36],"term":[37],"suitable":[40],"constructor-based":[41],"signature.":[42,71],"Both":[43],"representation":[45],"markup":[48,109],"language":[49,99],"graphical":[52],"presentation":[53],"on":[54],"screen":[56],"as":[57,59],"well":[58],"further":[60],"representations":[61],"elements":[63],"particular":[65],"algebraic":[66],"interpretations":[67],"same":[70],"This":[72],"technique":[73],"allows":[74],"application":[76],"methods":[79],"from":[80],"field":[82],"compiler":[84],"construction":[85],"development":[88],"Ideas":[92],"implementation":[95],"functional":[98],"Haskell":[100],"roughly":[102],"drafted.":[103],"It":[104],"shown":[106],"how":[107,124],"XML-based":[108],"languages":[110],"with":[111,135],"schemas":[112],"stylesheets":[114],"can":[115,127,133,145],"be":[116,128,146],"terms":[119],"extended":[129],"so":[130],"that":[131],"it":[132],"deal":[134],"partially":[136],"specified":[137],"documents,":[138],"called":[139],"semi":[140,143],"documents.":[141],"These":[142],"documents":[144],"automatically":[147],"users'":[151],"needs,":[152],"e.g.":[154],"helpful":[156],"ensure":[158],"accessibility.":[159]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}