Výsledky vyhledávání - "compositional programming"
-
1
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
ISSN: 2475-1421, 2475-1421Vydáno: New York, NY, USA ACM 08.10.2024Vydáno v Proceedings of ACM on programming languages (08.10.2024)“…Compositional programming is a programming paradigm that emphasizes modularity and is implemented in the CP programming language. The foundations for…”
Získat plný text
Journal Article -
2
Compositional embeddings of domain-specific languages
ISSN: 2475-1421, 2475-1421Vydáno: New York, NY, USA ACM 31.10.2022Vydáno v Proceedings of ACM on programming languages (31.10.2022)“…A common approach to defining domain-specific languages (DSLs) is via a direct embedding into a host language. There are several well-known techniques to do…”
Získat plný text
Journal Article -
3
Development of Domestic Programming Technology
ISSN: 1060-0396, 1573-8337Vydáno: Boston Springer US 01.05.2014Vydáno v Cybernetics and systems analysis (01.05.2014)“…This article considers the evolution of computer systems technologies on the way to the automation and creation of assembly lines. It presents fundamentals and…”
Získat plný text
Journal Article