Search Results - "compositional programming"

Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing

Authors: Wenjia Ye Yaozhu Sun Bruno C. d. S. Oliveira

Source: Proceedings of the ACM on Programming Languages. 8:2010-2039

Compositional Programming

Authors: Weixin Zhang Yaozhu Sun Bruno C. D. S. Oliveira

Source: ACM Transactions on Programming Languages and Systems. 43:1-61

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences

A denotational semantics of a concatenative/compositional programming language

Authors: William Steingartner Valerie Novitzká Jurij Mihelic

Source: Acta Polytechnica Hungarica. 18:231-250

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Compositional programming and testing of dynamic distributed systems

Authors: Desai, Ankush Phanishayee, Amar Qadeer, Shaz et al.

Source: Proceedings of the ACM on Programming Languages. 2(OOPSLA)

Subject Terms: domain-specific language, distributed systems, event-driven programming, actors, module system, compositional verification, systematic testing

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/28t253qm
https://escholarship.org/content/qt28t253qm/qt28t253qm.pdf

Direct Foundations for Compositional Programming

Authors: Andong Fan Xuejing Huang Xu Han et al.

Contributors: Andong Fan Xuejing Huang Xu Han et al.

Subject Terms: FOS: Computer and information sciences, Disjoint sets, Well-founded semantics, Mathematical proof, Geometry, Intersection types, 02 engineering and technology, Schema Matching, Theoretical computer science, Artificial Intelligence, Logic Programming and Knowledge Representation, Programming Language Semantics, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Denotational semantics, Nonmonotonic Reasoning, Computer Science - Programming Languages, Semantics (computer science), disjoint polymorphism, Discrete mathematics, Computer science, Programming language, Functional programming, Constraint Logic Programming, Haskell, operational semantics, Computer Science, Physical Sciences, Operational semantics, ddc:004, Program Analysis and Verification Techniques, Correctness, Semantic Web and Ontology Development, Mathematics, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2205.06150
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.18

Direct Foundations for Compositional Programming

Authors: Fan, Andong Huang, Xuejing Xu, Han et al.

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2205.06150

Direct Foundations for Compositional Programming (Artifact)

Authors: Fan, Andong Huang, Xuejing Xu, Han et al.

Source:
Evaluation Policy The artifact has been evaluated as described in the ECOOP 2022

Index Terms: Intersection types, disjoint polymorphism, operational semantics, Data processing Computer science, InProceedings, publishedVersion

Compositional Programming (Artifact)

Authors: Zhang, Weixin Sun, Yaozhu Oliveira, Bruno C. d. S.

Index Terms: Expression Problem, Compositionality, Traits, Data processing Computer science, InProceedings, publishedVersion

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning

Authors: Alvarez, Mario McGilvray Jhala, Ranjit1

Index Terms: Computer science, Composition, Foundational, Programming Languages, Verification, publication

URL: https://escholarship.org/uc/item/5847p18d
https://escholarship.org/

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning

Authors: Jhala, Ranjit Alvarez, Mario McGilvray

Index Terms: Computer science, Composition, Foundational, Programming Languages, Verification, publication

URL: https://escholarship.org/uc/item/5847p18d
https://escholarship.org/content/qt5847p18d/qt5847p18d.pdf

Distributive Disjoint Polymorphism for Compositional Programming

Authors: Xuan, Bi Ningning, Xie Bruno C. d. S., Oliveira et al.

Contributors: Xuan, Bi Ningning, Xie Bruno C. d. S., Oliveira et al.

Source: Lecture Notes in Computer Science ISBN: 9783030171834

Subject Terms: Technology, Science & Technology, Computer Science, Theory & Methods, Computer Science, UNION, 0202 electrical engineering, electronic engineering, information engineering, LANGUAGES, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, INTERSECTION, 01 natural sciences

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_14.pdf
https://rd.springer.com/chapter/10.1007/978-3-030-17184-1_14
https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_14.pdf
https://link.springer.com/chapter/10.1007/978-3-030-17184-1_14
https://dblp.uni-trier.de/db/conf/esop/esop2019.html#BiXOS19

Compositional programming and testing of dynamic distributed systems

Authors: Desai, A Phanishayee, A Qadeer, S et al.

Source: Proceedings of the ACM on Programming Languages; vol 2, iss OOPSLA, 1-30; 2475-1421

Index Terms: domain-specific language, distributed systems, event-driven programming, actors, module system, compositional verification, systematic testing, article

URL: https://escholarship.org/uc/item/28t253qm
https://escholarship.org/

Compositional programming: theory and practice

Authors: K. M. Lavrischeva

Source: Cybernetics and Systems Analysis. 45:845-853

Subject Terms: 0211 other engineering and technologies, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Access URL: https://link.springer.com/article/10.1007/s10559-009-9154-9

Compositional programming abstractions for mobile computing

Authors: McCann, Peter J. Roman, Gruia-Catalin

Source: IEEE Transactions on Software Engineering. 24:97-110

Subject Terms: Computer Sciences, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Computer Engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, 12. Responsible consumption

File Description: application/pdf

Access URL: https://openscholarship.wustl.edu/cgi/viewcontent.cgi?article=1455&context=cse_research

System and method for managing resources using a compositional programming model

On Compositional Programming for Field-bus Interconnected Embedded Control Systems

Authors: Broenink, Johannes F.

Subject Terms: METIS-201044

Access URL: https://research.utwente.nl/en/publications/2f2ab8dd-7321-4ffa-b785-595489eb0de0

A Language for Compositional Programming: A Rationale and Design

Authors: Bantchev, Boyko

Subject Terms: Functional Programming, Programming Languages

Access URL: https://hdl.handle.net/10525/1907

Imperative Compositional Programming (Artifact)

Authors: Ye, Wenjia Sun, Yaozhu Oliveira, Bruno C. d. S.

Relation: https://zenodo.org/records/13373228; oai:zenodo.org:13373228; https://doi.org/10.5281/zenodo.13373228

Availability: https://doi.org/10.5281/zenodo.13373228
https://zenodo.org/records/13373228

General principles of compositional programming in the production of program systems

Authors: Messikh, I. G. Shtrik, A. A.

Subject Terms: General topics in the theory of software, compositional programming

File Description: application/xml

Access URL: https://zbmath.org/6451

System and method for managing resources using a compositional programming model