Concurrent Data Access: Spatial and Temporal Reference Management

并发数据访问：空间和时间参考管理

• 批准号: 2282414
• 金额: --
• 依托单位: Imperial College London
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2019
• 资助国家: 英国
• 起止时间: 2019 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2282414
• 关键词: Concurrent; Data; Access; Spatial; Temporal

I will explore a corpus of problems to establish case studies, studying the programming patterns that are ofinterest for the questions I've posed. These will motivate designing new semantics and extensions to thetype system, formalising them and proving the normal goals of well-formedness and soundness. Revisiting thecase studies with the new extensions will evaluate the success of the solution, with which the design will beiteratively fine tuned.Research area: programming languages

我将探索一个问题语料库来建立案例研究，研究与我所提出的问题相关的编程模式。这将激励设计新的语义和扩展类型系统，形式化它们，并证明良好的格式性和可靠性的正常目标。使用新扩展重新访问案例研究将评估解决方案的成功，设计将迭代地进行微调。研究领域：程序设计语言