Search Results - "concurrent programming structures"
-
1
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Programming Languages and Systems
Subject Terms: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences
File Description: application/pdf
-
2
Authors:
Source: Proceedings of the ACM on Programming Languages. 3:1-29
Subject Terms: CCS Concepts: • Theory of computation → Program analysis, FOS: Computer and information sciences, Computer Science - Programming Languages, • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3290370
http://arxiv.org/abs/1811.03503
https://eprints.mdx.ac.uk/29747/1/3290370.pdf
https://eprints.mdx.ac.uk/29747/
https://dl.acm.org/doi/pdf/10.1145/3290370
https://dl.acm.org/doi/10.1145/3290370
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GorogiannisOS19
http://ui.adsabs.harvard.edu/abs/2018arXiv181103503G/abstract
https://arxiv.org/abs/1811.03503
https://arxiv.org/pdf/1811.03503.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-03503
https://discovery-pp.ucl.ac.uk/id/eprint/10074329/ -
3
Authors: et al.
Contributors: et al.
Subject Terms: parallelism, Software and its engineering → Concurrent programming structures, concurrency, ddc:004, do-notation, effects, Software and its engineering → Domain specific languages, Software and its engineering → Parallel programming languages
File Description: application/pdf
-
4
Authors: Anonymous Author(s)
Subject Terms: Software and its engineering, Concurrent programming languages, Concurrent programming structures
Relation: https://zenodo.org/records/16909800; oai:zenodo.org:16909800; https://doi.org/10.5281/zenodo.16909800
-
5
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 2:1-28
Subject Terms: Concurrent programming structures, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Program analysis, 02 engineering and technology, Theory of computation
File Description: application/pdf
Access URL: https://dl.acm.org/doi/pdf/10.1145/3276514
https://eprints.mdx.ac.uk/25492/1/oopsla18main-p43-p-72a2fb3-38877-final.pdf
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BlackshearGOS18
https://dl.acm.org/doi/pdf/10.1145/3276514
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BlackshearGOS18
https://dl.acm.org/doi/10.1145/3276514
https://eprints.mdx.ac.uk/25492/
https://discovery-pp.ucl.ac.uk/id/eprint/10074292/ -
6
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01778656 ; 2019.
Subject Terms: Hereditary history-preserving bisimulation, Reversible CCS, Formal semantics, Process algebras and calculi, 2012 ACM Subject Classification Theory of computation → Program semantics, Computing method-ologies → Concurrent programming languages Keywords and phrases Formal semantics, Configuration structures, Distributed and reversible computation, Auto-concurrency, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1804.10355; ARXIV: 1804.10355
-
7
Authors: et al.
Contributors: et al.
Source: ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-01148318 ; ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Subject Terms: Mémoire partagée, Concurrence, Objet Partagé, Construction Universelle, Consensus, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, [INFO]Computer Science [cs]
Relation: info:eu-repo/grantAgreement//318809/EU/Large-scale Elastic Architecture for Data as a Service/LEADS; hal-01148318; https://hal.science/hal-01148318; https://hal.science/hal-01148318/document; https://hal.science/hal-01148318/file/paper%20%281%29.pdf
-
8
Authors: et al.
Contributors: et al.
Source: Modularity - 13th International Conference on Modularity ; https://inria.hal.science/hal-00872791 ; Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. ⟨10.1145/2577080.2577085⟩
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Lugano, Switzerland
-
9
Authors: Harrison, William
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 41 - 47
Subject Terms: service-oriented, aspect-oriented, programming language, middleware, concurrency, Data processing Computer science, Software Architectures (NEW), Data abstraction (NEW), Domain-specific architectures (NEW), Information hiding (NEW), Languages (e.g., description, interconnection, definition) (NEW), Patterns (e.g., client/server, pipeline, blackboard) (NEW), Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4138/
-
10
Authors: et al.
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 27 - 31
Subject Terms: aspect oriented programming, program analysis, security policies, distributed systems, tuple spaces, Data processing Computer science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion, Security and Protection (K.6.5), Access controls, Authentication, Cryptographic controls, Information flow controls, Invasive software (e.g., viruses, worms, Trojan horses), Security kernels, Verification, Semantics of Programming Languages (D.3.1), Algebraic approaches to semantics, Denotational semantics, Operational semantics, Partial evaluation (NEW), Process models (NEW), Program analysis (NEW)
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4136/
-
11
Authors: et al.
Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 9 - 17
Subject Terms: History of pattern occurrences, bug tracking, Herodotos, Coccinelle, Data processing Computer science, Metrics (D.4.8), Complexity measures, Performance measures, Process metrics (NEW), Product metrics (NEW), Software science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion
File Description: application/pdf
Availability: http://opus.kobv.de/ubp/volltexte/2010/4132/
-
12
Authors:
Contributors:
Subject Terms: Trees, Tables, Records (NEW), Lists, stacks, and queues (REVISED), Graphs and networks (REVISED), Distributed data structures (NEW), Arrays, DATA STRUCTURES, Frameworks (NEW), Constraints (NEW), Control structures, Language Constructs and Features (E.2), Input/output, Patterns (NEW), Procedures, functions, and subroutines, Coroutines, Inheritance (NEW), Classes and objects (NEW), Data types and structures, Modules, packages, Polymorphism (NEW), Abstract data types, Dynamic storage management, Concurrent programming structures, Recursion
File Description: application/pdf
Relation: diss/z2016/0107; https://doi.org/10.17192/z2016.0107
-
13
Authors: et al.
Contributors: et al.
Source: 22nd European Symposium on Programming, ESOP 2013
https://inria.hal.science/hal-00811629
22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩Subject Terms: ACM: F.: Theory of Computation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
14
Authors: et al.
Contributors: et al.
Source: AOSD 2012 Student Research Competition (Poster) ; https://inria.hal.science/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
Subject Terms: Formal Methods, Security, Reference Monitors, Aspects, Service-Oriented Architecture, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.0: Abstract data types, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.2: Concurrent programming structures, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.1: Syntax, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.6: Data types and structures, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.10: Input/output, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.15: Recursion, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.5: Programming by contract, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
-
15
Authors: et al.
Contributors: et al.
Source: Generative Programming and Component Engineering (GPCE) ; https://hal.science/hal-00310126 ; Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Subject Terms: locations, Component, concurrency, D.3.3 Modules, packages, Concurrent programming structures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Time: Tallinn, Estonia
-
16
Authors: et al.
Contributors: et al.
Subject Terms: D.3.3 [Programming Languages] Concurrent programming structures, Language Constructs and Features- Control structures
File Description: application/pdf
-
17
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Concurrent programming structures, D.1.3 [Concurrent Programming, Parallel programming, D.3.1 [Formal Definitions and Theory, Semantics, D.3.2 [Language Classifications, Concurrent, distributed, and parallel languages Keywords
File Description: application/pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.2 [Language Classifications, Applicative (functional) languages, Concurrent, distributed, and parallel languages, D.3.3 [Language Constructs and Features, Concurrent programming structures, D.3.4 [Processors, Compilers General Terms Languages, Theory Keywords Synchronous languages, Functional languages, Semantics, Type systems
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.2 [Language Classifications, Dataflow languages, Specialised application languages, D.3.3 [Language Constructs and Features, Concurrent programming structures, Constraints, Control structures, Patterns General Terms, Design, Languages Additional Key Words and Phrases, Reactive programming, interactive applications, event-driven applications, dataflow programming, functional reactive programming, reactive systems ACM Reference Format
File Description: application/pdf
-
20
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Concurrent programming structures, Data types and structures Keywords Concurrency, Composition, Transactions, Data Structures, Automatic Synchronization
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.7801; http://www.cs.tau.ac.il/~ggolan/papers/pldi13.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science