{"id":"https://openalex.org/W7098688981","doi":null,"title":"A Calculus for Resource Allocation","display_name":"A Calculus for Resource Allocation","publication_year":null,"publication_date":null,"ids":{"openalex":"https://openalex.org/W7098688981"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.32.5949","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.bham.ac.uk/pub/authors/E.Ritter/respaper.ps","raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W7098688981"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Eike Ritter October","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eike Ritter October","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5086646386","display_name":"Eike Ritter","orcid":"https://orcid.org/0009-0005-2100-8866","observed_orcids":["https://orcid.org/0009-0005-2100-8866"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eike Ritter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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":1.0,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.0,"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/resource-allocation","display_name":"resource allocation","score":0.9380000233650208},{"id":"https://openalex.org/keywords/functional-language","display_name":"functional language","score":0.6190000176429749},{"id":"https://openalex.org/keywords/location","display_name":"location","score":0.5260000228881836},{"id":"https://openalex.org/keywords/memory-allocation","display_name":"memory allocation","score":0.6759999990463257},{"id":"https://openalex.org/keywords/in-place-updates","display_name":"in-place updates","score":0.6769999861717224},{"id":"https://openalex.org/keywords/arrays","display_name":"arrays","score":0.6389999985694885},{"id":"https://openalex.org/keywords/lists","display_name":"lists","score":0.8579999804496765},{"id":"https://openalex.org/keywords/higher-order-functions","display_name":"higher-order functions","score":0.8930000066757202},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.4880000054836273}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.761900007724762},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6639000177383423},{"id":"https://openalex.org/C2779151265","wikidata":"https://www.wikidata.org/wiki/Q1156791","display_name":"Copying","level":2,"score":0.611299991607666},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5964000225067139},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5289999842643738},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.45260000228881836},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4374000132083893},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4374000132083893},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.42980000376701355},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4296000003814697},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.3801000118255615},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3720000088214874},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.3716999888420105},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.33410000801086426},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3021000027656555},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.29679998755455017},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.266400009393692}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.32.5949","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.bham.ac.uk/pub/authors/E.Ritter/respaper.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1561592868","https://openalex.org/W7095858846","https://openalex.org/W7095808261","https://openalex.org/W2010138991","https://openalex.org/W1976361074","https://openalex.org/W3127575506","https://openalex.org/W7099899838","https://openalex.org/W7095728327","https://openalex.org/W2045424609","https://openalex.org/W6993249336"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,14,56],"calculus":[4,12,47],"for":[5,39,144],"resource":[6],"allocation":[7],"in":[8],"functional":[9,127],"languages.":[10],"The":[11],"has":[13,98,115,133],"separate":[15],"syntactic":[16],"category":[17],"of":[18,43,51,94],"locations,":[19],"which":[20],"are":[21,120],"used":[22,38],"to":[23,60,70,81,99,111,116,134],"annotate":[24],"aggregate":[25,83],"data":[26,84],"types":[27],"like":[28,86],"lists":[29,87],"and":[30,73,88],"arrays.":[31],"In":[32,91,104,126],"this":[33,44,107],"way":[34],"update-in-place":[35],"can":[36],"be":[37,100],"all":[40],"well-typed":[41],"expressions":[42],"calculus.":[45],"Our":[46],"is":[48,66,109,138,149],"an":[49],"extension":[50],"Hofmann's":[52],"ane":[53],"-calculus":[54],"with":[55],"special":[57],"type":[58],"3":[59],"model":[61],"memory":[62],"allocation.":[63],"His":[64],"approach":[65],"not":[67],"general":[68],"enough":[69],"handle":[71,82],"arrays":[72,89,95,119],"higher-order":[74],"functions.":[75],"1":[76],"Introduction":[77],"Functional":[78],"languages":[79,106,128],"need":[80],"structures":[85],"eciently.":[90],"particular,":[92],"copying":[93,137],"during":[96],"execution":[97],"avoided":[101],"whenever":[102],"possible.":[103],"imperative":[105],"task":[108],"delegated":[110],"the":[112,129,150],"programmer":[113],"who":[114],"specify":[117],"whether":[118],"copied":[121],"or":[122,131],"passed":[123],"as":[124],"pointers.":[125],"compiler":[130],"interpreter":[132],"ensure":[135],"that":[136],"minimised.":[139],"A":[140,146],"similar":[141],"issue":[142],"arises":[143],"lists.":[145],"good":[147],"example":[148],"append-function,":[151],"whose":[152],"recursive":[153],"...":[154]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2025-10-27T00:00:00"}