{"id":"https://openalex.org/W2038024268","doi":"https://doi.org/10.1145/1026533.1026548","title":"Exstatic","display_name":"Exstatic","publication_year":2004,"publication_date":"2004-10-10","ids":{"openalex":"https://openalex.org/W2038024268","doi":"https://doi.org/10.1145/1026533.1026548","mag":"2038024268"},"language":"en","primary_location":{"id":"doi:10.1145/1026533.1026548","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1026533.1026548","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentation","raw_type":"proceedings-article"},"type":"conference-paper","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/A5035546829","display_name":"Sarah Mount","orcid":"https://orcid.org/0000-0001-7575-8420"},"institutions":[{"id":"https://openalex.org/I73417466","display_name":"Coventry University","ror":"https://ror.org/01tgmhj36","country_code":"GB","type":"education","lineage":["https://openalex.org/I73417466"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"S. N. I. Mount","raw_affiliation_strings":["Coventry University, Coventry, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Coventry University, Coventry, UK","institution_ids":["https://openalex.org/I73417466"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006324347","display_name":"Robert Newman","orcid":"https://orcid.org/0000-0003-2350-8096"},"institutions":[{"id":"https://openalex.org/I73417466","display_name":"Coventry University","ror":"https://ror.org/01tgmhj36","country_code":"GB","type":"education","lineage":["https://openalex.org/I73417466"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"R. M. Newman","raw_affiliation_strings":["Coventry University, Coventry, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Coventry University, Coventry, UK","institution_ids":["https://openalex.org/I73417466"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091358046","display_name":"Robert J. Low","orcid":"https://orcid.org/0000-0003-3159-6129"},"institutions":[{"id":"https://openalex.org/I73417466","display_name":"Coventry University","ror":"https://ror.org/01tgmhj36","country_code":"GB","type":"education","lineage":["https://openalex.org/I73417466"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"R. J. Low","raw_affiliation_strings":["Coventry University, Coventry, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Coventry University, Coventry, UK","institution_ids":["https://openalex.org/I73417466"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004222850","display_name":"Alan Mycroft","orcid":"https://orcid.org/0000-0001-7013-8572"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Mycroft","raw_affiliation_strings":["University of Cambridge, Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4311,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.59023295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"52","last_page":"57"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"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.8439970016479492},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.7630869150161743},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7574597001075745},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7461953163146973},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6934575438499451},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6149677038192749},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5483437776565552},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.49354088306427},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4230490028858185},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.11710885167121887},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11706194281578064}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8439970016479492},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.7630869150161743},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7574597001075745},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7461953163146973},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6934575438499451},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6149677038192749},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5483437776565552},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.49354088306427},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4230490028858185},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.11710885167121887},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11706194281578064}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1026533.1026548","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1026533.1026548","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W122154057","https://openalex.org/W1830889901","https://openalex.org/W1989526951","https://openalex.org/W2015466663","https://openalex.org/W2038209453","https://openalex.org/W2106972913","https://openalex.org/W2107995193","https://openalex.org/W2109815558","https://openalex.org/W2123586642","https://openalex.org/W2171816001","https://openalex.org/W2342082360","https://openalex.org/W2575786277","https://openalex.org/W3145442111","https://openalex.org/W4242395378","https://openalex.org/W4401286428","https://openalex.org/W6633201416","https://openalex.org/W6678691610","https://openalex.org/W6732653324"],"related_works":["https://openalex.org/W85300993","https://openalex.org/W3087250444","https://openalex.org/W2104462386","https://openalex.org/W4391150403","https://openalex.org/W2081749821","https://openalex.org/W1968572830","https://openalex.org/W2090814745","https://openalex.org/W4323929292","https://openalex.org/W2029896371","https://openalex.org/W2136497797"],"abstract_inverted_index":{"Exstatic":[0,92,121],"is":[1,111],"a":[2,23,112],"generic":[3,89],"static":[4,52],"checker":[5],"developed":[6],"by":[7],"the":[8,14,38,48,68,76,86,128,147,157],"author":[9],"to":[10,43,64,67,73,95,105,126,142,166],"address":[11],"many":[12],"of":[13,75,91,132,134,161],"practical":[15],"problems":[16],"in":[17,169],"program":[18,35,49,148],"development.":[19],"Static":[20],"checking":[21,136],"provides":[22],"valuable":[24],"means":[25],"for":[26,108,137],"automating":[27],"time":[28],"consuming":[29],"checks":[30],"not":[31,72],"only":[32],"concerned":[33],"with":[34,45,58,146,163],"correctness":[36],"(writing":[37,47],"right":[39],"program),":[40],"but":[41],"also":[42],"do":[44],"style":[46],"right).":[50],"Previous":[51],"checkers":[53],"have":[54],"been":[55],"closely":[56],"coupled":[57],"compilation":[59],"systems,":[60],"and":[61,71,99,116,130,151,159],"therefore":[62,123],"tend":[63],"be":[65,103,124],"applicable":[66],"code":[69],"itself":[70],"all":[74],"textual":[77],"information":[78],"(such":[79],"as":[80,140],"makefiles,":[81],"comments,":[82],"documentation":[83,133,170],"sources)":[84],"surrounding":[85],"code.":[87],"The":[88],"nature":[90],"allows":[93],"it":[94,101],"overcome":[96],"these":[97],"boundaries,":[98],"indeed":[100],"can":[102,122],"applied":[104],"any":[106],"medium":[107],"which":[109],"there":[110],"formally":[113],"definable":[114],"syntax":[115],"(to":[117],"an":[118],"extent)":[119],"semantics.":[120],"used":[125],"increase":[127],"productivity":[129],"quality":[131],"programs,":[135],"such":[138],"things":[139],"adherence":[141],"house":[143],"style,":[144],"consistency":[145],"being":[149],"documented":[150],"self":[152],"consistency.":[153],"This":[154],"paper":[155],"describes":[156],"design":[158],"use":[160,168],"Exstatic,":[162],"particular":[164],"reference":[165],"its":[167],"systems.":[171]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}