Suchergebnisse - "compositional programming"

Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing von Ye, Wenjia, Sun, Yaozhu, Oliveira, Bruno C. d. S.

“… Compositional programming is a programming paradigm that emphasizes modularity and is implemented in the CP programming language …”
Volltext

Compositional programming and testing of dynamic distributed systems von Desai, Ankush, Phanishayee, Amar, Qadeer, Shaz, Seshia, Sanjit A.

“… This paper proposes techniques for compositional programming and testing of distributed systems with two central contributions: (1 …”
Volltext

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning von Alvarez, Mario M

“… Formalizing the semantics of a programming language enables powerful techniques for understanding the correctness of tooling related to that language (e.g …”
Volltext

Direct Foundations for Compositional Programming von Fan, Andong, Huang, Xuejing, Xu, Han, Sun, Yaozhu, Bruno C d S Oliveira

“… The recently proposed CP language adopts Compositional Programming: a new modular programming style that solves challenging problems such as the Expression Problem …”
Volltext

Compositional programming: theory and practice von Lavrischeva, K. M.

“… Methods, means, and tools of compositional programming are considered. The fundamentals of composition of multilanguages objects in fourth-generation languages in the OS/ES environment are considered …”
Volltext

Compositional programming abstractions for mobile computing von McCann, P.J., Roman, G.-C.

“… Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile connectivity demonstrate the importance of providing …”
Volltext

Compositional Programming (Artifact) von Zhang, Weixin, Sun, Yaozhu, Oliveira, Bruno C. d. S.

“… Our main paper presents CP, a Compositional Programming language in a statically typed modular programming style …”
Volltext

Compositional embeddings of domain-specific languages von Sun, Yaozhu, Dhandhania, Utkarsh, Oliveira, Bruno C. d. S.

“… In this paper, we show that the recently proposed Compositional Programming paradigm and the CP language provide improved support for embedded DSLs …”
Volltext

Direct Foundations for Compositional Programming (Artifact) von Fan, Andong, Huang, Xuejing, Xu, Han, Sun, Yaozhu, Oliveira, Bruno C. d. S.

“… {i}^{+} can serve as the direct foundation for Compositional Programming …”
Volltext

Distributive Disjoint Polymorphism for Compositional Programming

Volltext

International Business Machines (IBM) issued patent titled "System and method for managing resources using a compositional programming model"

Volltext

Development of Domestic Programming Technology von Lavrischeva, E. M.

“… This article considers the evolution of computer systems technologies on the way to the automation and creation of assembly lines. It presents fundamentals and …”
Volltext

US Patent Issued to International Business Machines on Aug. 6 for "System and method for managing resources using a compositional programming model" (New York, Connecticut Inventors)

Volltext

International Business Machines Assigned Patent for System and Method for Managing Resources Using Compositional Programming Model

Volltext

US Patent Issued to International Business Machines on April 1 for "System and method for managing resources using a compositional programming model" (New York Inventors)

Volltext

International Business Machines Assigned Patent for System and Method for Managing Resources Using a Compositional Programming Model

Volltext

US Patent Issued to International Business Machines on Nov. 8 for "System and Method for Managing Resources Using a Compositional Programming Model" (New York, Connecticut Inventors)

Volltext

Aspectual Feature Modules von Apel, Sven, Leich, Thomas, Saake, Gunter

“… ) and incremental software development (ISD). Feature-oriented programming (FOP) aims at large-scale compositional programming and feature modularity in SPLs using ISD …”
Volltext

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing von IWASAKI, HIDEYA, EMOTO, KENTO, MORIHATA, AKIMASA, MATSUZAKI, KIMINORI, HU, ZHENJIANG

“… The vertex-centric computation is abstracted using compositional programming that uses second-order functions on graphs provided by Fregel …”
Volltext

Call-by-need is clairvoyant call-by-value von Hackett, Jennifer, Hutton, Graham

“… : compositional programming and infinite data. The standard semantics for laziness is Launchbury’s natural semantics DBLP:conf/popl/Launchbury93, which uses a heap to memoise the results of delayed evaluations …”
Volltext