{"id":"https://openalex.org/W3012274571","doi":"https://doi.org/10.48550/arxiv.1006.3481","title":"Reflection and Hyper-Programming in Persistent Programming Systems","display_name":"Reflection and Hyper-Programming in Persistent Programming Systems","publication_year":2010,"publication_date":"2010-06-17","ids":{"openalex":"https://openalex.org/W3012274571","doi":"https://doi.org/10.48550/arxiv.1006.3481","mag":"3012274571"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1006.3481","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1006.3481","pdf_url":"https://arxiv.org/pdf/1006.3481","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1006.3481","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083941762","display_name":"Graham Kirby","orcid":"https://orcid.org/0000-0002-4422-0190","observed_orcids":["https://orcid.org/0000-0002-4422-0190"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kirby, Graham","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5083941762"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":34,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9092000126838684,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9092000126838684,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.06350000202655792,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.00570000009611249,"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/linguistic-reflection","display_name":"linguistic reflection","score":0.6990000009536743},{"id":"https://openalex.org/keywords/program-generators","display_name":"program generators","score":0.746999979019165},{"id":"https://openalex.org/keywords/genericity","display_name":"genericity","score":0.6349999904632568},{"id":"https://openalex.org/keywords/software-reuse","display_name":"software reuse","score":0.9440000057220459},{"id":"https://openalex.org/keywords/software-reliability","display_name":"software reliability","score":0.8109999895095825},{"id":"https://openalex.org/keywords/developer-productivity","display_name":"developer productivity","score":0.6140000224113464}],"concepts":[{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.8625887632369995},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8246543407440186},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7960321307182312},{"id":"https://openalex.org/C2778583558","wikidata":"https://www.wikidata.org/wiki/Q771245","display_name":"Code reuse","level":3,"score":0.6064658761024475},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.4650607705116272},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4641273021697998},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4360384941101074},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.4190114736557007},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38615745306015015},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36359483003616333},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"pmh:oai:arXiv.org:1006.3481","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1006.3481","pdf_url":"https://arxiv.org/pdf/1006.3481","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.38.9269","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9269","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp-fide.dcs.st-andrews.ac.uk/pub/persistence.papers/thesis.gk.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.857.5365","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.857.5365","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://research-repository.st-andrews.ac.uk/bitstream/10023/1673/3/GrahamKirbyPhDThesis.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.99.811","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.811","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.st-andrews.ac.uk/files/publications/download/Kir92b.pdf","raw_type":"text"},{"id":"pmh:oai:cds.cern.ch:1272841","doi":null,"is_oa":false,"landing_page_url":"http://cds.cern.ch/record/1272841","pdf_url":null,"source":{"id":"https://openalex.org/S4306402195","display_name":"CERN Document Server (European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/1673","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10023/1673","pdf_url":null,"source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:uilis.unsyiah.ac.id:26277","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10023/1673","pdf_url":null,"source":{"id":"https://openalex.org/S4377196378","display_name":"UPT. Syiah Kuala University Library (Syiah Kuala University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I187494767","host_organization_name":"Universitas Syiah Kuala","host_organization_lineage":["https://openalex.org/I187494767"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"doi:10.48550/arxiv.1006.3481","doi":"https://doi.org/10.48550/arxiv.1006.3481","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1006.3481","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"mag:3012274571","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1006.3481","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1006.3481","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1006.3481","pdf_url":"https://arxiv.org/pdf/1006.3481","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3012274571.pdf","grobid_xml":"https://content.openalex.org/works/W3012274571.grobid-xml"},"referenced_works_count":83,"referenced_works":["https://openalex.org/W6645450","https://openalex.org/W25511134","https://openalex.org/W25713613","https://openalex.org/W28124293","https://openalex.org/W36698339","https://openalex.org/W40741557","https://openalex.org/W73668425","https://openalex.org/W84750249","https://openalex.org/W109198532","https://openalex.org/W129991640","https://openalex.org/W343672403","https://openalex.org/W1495607520","https://openalex.org/W1499048821","https://openalex.org/W1507727091","https://openalex.org/W1518122111","https://openalex.org/W1539735128","https://openalex.org/W1545571974","https://openalex.org/W1546544214","https://openalex.org/W1550375233","https://openalex.org/W1558508802","https://openalex.org/W1566842404","https://openalex.org/W1576832566","https://openalex.org/W1588254135","https://openalex.org/W1590607611","https://openalex.org/W1592327060","https://openalex.org/W1596022086","https://openalex.org/W1600342738","https://openalex.org/W1602275238","https://openalex.org/W1604916715","https://openalex.org/W1608052467","https://openalex.org/W1770006921","https://openalex.org/W1829244603","https://openalex.org/W1861241341","https://openalex.org/W1966028617","https://openalex.org/W1975825202","https://openalex.org/W1981635406","https://openalex.org/W1984958950","https://openalex.org/W1992847198","https://openalex.org/W1993035107","https://openalex.org/W1996027765","https://openalex.org/W2005318605","https://openalex.org/W2011306767","https://openalex.org/W2027750453","https://openalex.org/W2036211686","https://openalex.org/W2061891986","https://openalex.org/W2074394944","https://openalex.org/W2079239826","https://openalex.org/W2083310421","https://openalex.org/W2083472806","https://openalex.org/W2089042876","https://openalex.org/W2111698415","https://openalex.org/W2115917121","https://openalex.org/W2118826983","https://openalex.org/W2119069304","https://openalex.org/W2127382014","https://openalex.org/W2131664240","https://openalex.org/W2132078858","https://openalex.org/W2132785089","https://openalex.org/W2143723931","https://openalex.org/W2143791196","https://openalex.org/W2145764100","https://openalex.org/W2147869465","https://openalex.org/W2150759145","https://openalex.org/W2151384546","https://openalex.org/W2156325860","https://openalex.org/W2163285366","https://openalex.org/W2164580238","https://openalex.org/W2166401064","https://openalex.org/W2166822586","https://openalex.org/W2166849373","https://openalex.org/W2168287017","https://openalex.org/W2169514871","https://openalex.org/W2172428145","https://openalex.org/W2176293370","https://openalex.org/W2339063427","https://openalex.org/W2411369279","https://openalex.org/W2611598995","https://openalex.org/W2792939069","https://openalex.org/W2807712132","https://openalex.org/W2912090731","https://openalex.org/W3006715821","https://openalex.org/W3095711147","https://openalex.org/W3145454088"],"related_works":["https://openalex.org/W1876433028","https://openalex.org/W1588254135","https://openalex.org/W2169514871","https://openalex.org/W7097525837","https://openalex.org/W1509945334","https://openalex.org/W2221150409","https://openalex.org/W7097446490","https://openalex.org/W1496185682","https://openalex.org/W165482726","https://openalex.org/W7100873135"],"abstract_inverted_index":{"The":[0,77,268],"work":[1],"presented":[2],"in":[3,11,51,67,108,126,150,185,220,227,239,260],"this":[4],"thesis":[5,225],"seeks":[6],"to":[7,24,27,63,136,144,147,163,183,194,213,262],"improve":[8],"programmer":[9,85],"productivity":[10],"the":[12,18,34,37,44,48,84,98,112,115,129,151,174,186,195,198,203,221,229,240,271],"following":[13],"ways:":[14],"-":[15,31,41],"by":[16,32,42,82,158,179],"reducing":[17],"amount":[19,130,175],"of":[20,36,47,100,114,131,176,188,197,205,231,246,270],"code":[21,38,133,177],"that":[22,59,102,134,249],"has":[23,135],"be":[25,61,137,164,214,258],"written":[26,178],"construct":[28],"an":[29],"application;":[30],"increasing":[33],"reliability":[35,157],"written;":[39],"and":[40,75,209,235,243,253],"improving":[43],"programmer's":[45],"understanding":[46,196],"persistent":[49,69,152,199,222,241],"environment":[50,70,200],"which":[52,83,118,125],"applications":[53],"are":[54,71,103],"constructed.":[55],"Two":[56],"programming":[57,247,252],"techniques":[58,192],"may":[60,257],"used":[62,259],"pursue":[64],"these":[65],"goals":[66],"a":[68,80,141,244],"type-safe":[72,232],"linguistic":[73,233],"reflection":[74,234,264],"hyper-programming.":[76,254],"first":[78],"provides":[79],"mechanism":[81],"can":[86],"write":[87],"generators":[88],"that,":[89],"when":[90],"executed,":[91],"produce":[92],"new":[93,132],"program":[94,143,156,161],"representations.":[95,267],"This":[96,154,224],"allows":[97,140],"specification":[99],"programs":[101,219],"highly":[104],"generic":[105],"yet":[106],"depend":[107],"non-trivial":[109],"ways":[110],"on":[111,117],"types":[113],"data":[116,148,184],"they":[119],"operate.":[120],"Genericity":[121],"promotes":[122],"software":[123],"reuse":[124],"turn":[127],"reduces":[128,173],"written.":[138],"Hyper-programming":[139],"source":[142,211],"contain":[145],"links":[146,182],"items":[149],"store.":[153,223],"improves":[155],"allowing":[159,210],"certain":[160],"checking":[162],"performed":[165],"earlier":[166],"than":[167],"is":[168,273],"otherwise":[169],"possible.":[170],"It":[171],"also":[172],"permitting":[180],"direct":[181],"place":[187],"textual":[189],"descriptions.":[190],"Both":[191],"contribute":[193],"through":[201],"supporting":[202],"implementation":[204,269],"store":[206],"browsing":[207],"tools":[208,248,256,272],"representations":[212],"associated":[215],"with":[216],"all":[217],"executable":[218],"describes":[226],"detail":[228],"structure":[230],"hyper-programming,":[236],"their":[237],"benefits":[238],"context,":[242],"suite":[245],"support":[250],"reflective":[251],"These":[255],"conjunction":[261],"allow":[263],"over":[265],"hyper-program":[266],"described.":[274]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2020-03-23T00:00:00"}