Type-Directed Continuation Allocation

Shao, Zhong; Trifonov, Valery

doi:10.21236/ada436476

Cited by 2 publications

(3 citation statements)

References 18 publications

(39 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Interoperability via typed targets. Shao and Trifonov [44,49] studied interoperability much earlier, and closer to our context: they consider interoperability mediated by translation to a common target. They tackle the problem that one language has access to control effects and the other does not.…”

Section: Related Work and Conclusionmentioning

confidence: 98%

Semantic Soundness for Language Interoperability

Patterson¹,

Noble²,

Wagner³

et al. 2022

Preprint

View full text Add to dashboard Cite

Programs are rarely implemented in a single language, and thus questions of type soundness should address not only the semantics of a single language, but how it interacts with others. Even between type-safe languages, disparate features can frustrate interoperability, as invariants from one language can easily be violated in the other. In their seminal 2007 paper, Matthews and Findler [32] proposed a multilanguage construction that augments the interoperating languages with a pair of boundaries that allow code from one language to be embedded in the other. While this technique has been widely applied, their syntactic source-level interoperability doesn't reflect practical implementations, where the behavior of interaction is only defined after compilation to a common target, and any safety must be ensured by target invariants or inserted target-level "glue code. "In this paper, we present a novel framework for the design and verification of sound language interoperability that follows an interoperation-after-compilation strategy. Language designers specify what data can be converted between types of the two languages via a convertibility relation ∼ (" is convertible to ") and specify target-level glue code implementing the conversions. Then, by giving a semantic model of source-language types as sets of target-language terms, we can establish not only the meaning of our source types, but also soundness of conversions: i.e., whenever ∼ , the corresponding pair of conversions (glue code) convert target terms that behave like to target terms that behave like , and vice versa. With this, we can prove semantic type soundness for the entire system. We illustrate our framework via a series of case studies that demonstrate how our semantic interoperation-after-compilation approach allows us both to account for complex differences in language semantics and make efficiency trade-offs based on particularities of compilers or targets.

show abstract

Section: Related Work and Conclusionmentioning

confidence: 98%

Semantic Soundness for Language Interoperability

Patterson¹,

Noble²,

Wagner³

et al. 2022

Preprint

View full text Add to dashboard Cite

show abstract

“…Backing a mountain and facing a river was a common situation for the location of a study hall in a landscape environment, such as the Huaihai Academy in Zhenjiang in Song Dynasty (Figure 3) and the Erquan Academy in Wuxi in Ming Dynasty (Figure 4), which are all of this kind [11,12]. Moreover, in the urban and rural environments, academies were usually surrounded by other buildings or forests, and were close to water sources.…”

Section: The Place Suitable To Livementioning

confidence: 99%

“…For example, in the Ming Dynasty, Jiangyin's Aixi Academy, Fan Chengchong, a trainer during the Longqing period, donated a lecture hall with three Jian (the basic unit of ancient Chinese architecture) [21]. There was also the Taiping Academy in Zhenjiang in the Qing Dynasty, which only had a lecture hall with three Jian [12] p. 372. These academies were all for the few scholars in the small villages.…”

Section: Scale and Function With The Balance Of Supply And Demandmentioning

confidence: 99%

Sustainable Relationship in Design: The Contribution Wisdom of Academies Landscape in Southern Jiangsu from an “Interpersonal View” Perspective

Guo

Wang

et al. 2022

Sustainability

View full text Add to dashboard Cite

In recent years, designers have increasingly emphasized sustainability in landscape design, but they have focused more on the “human-nature” relationship while neglecting the relationship between people. As a result, problems such as inconvenient use of the landscape and waste of resources for management and renovation have been caused. To solve this problem, it is necessary to establish the correct concept at the beginning of design. Traditional Chinese ideas can often provide appropriate reference points for many contemporary issues, including design. Taking the landscapes of ancient academies in southern Jiangsu as an example, this paper tries to explore the methods and ideas of the designers to deal with the “people-people” relationship in the process of construction, as an example of sustainable landscape design. Both textual research and metrological historiography were used to examine and summarize the characteristics of the landscape construction of the academies in southern Jiangsu, combined with the analysis of the theory of “interpersonal view”. It is apparent that the landscape construction of the academies in southern Jiangsu is characterized by site selection with favorable geography and people, scale and function with the balance of supply and demand, building construction with thrift and efficiency, and a site-specific and simple courtyard built. The formation of these characteristics originates from the founder’s design concept of care about education and being kind to scholars, saving materials and taking good care of the people, benefiting others before to themselves, and portraying the Confucian idea of “great harmony in the world”. The thought and design concept of the landscape construction of the academies in southern Jiangsu can provide a reference point for landscape designers to solve the sustainable problem of the “people-people” relationship in landscape design.

show abstract

Type-Directed Continuation Allocation

Abstract: Abstract. Suppose we translate two different source languages,

Cited by 2 publications

References 18 publications

Semantic Soundness for Language Interoperability

Semantic Soundness for Language Interoperability

Sustainable Relationship in Design: The Contribution Wisdom of Academies Landscape in Southern Jiangsu from an “Interpersonal View” Perspective

Contact Info

Product

Resources

About