Suchergebnisse - Imperative Concurrent Programming Language~

Reversing an imperative concurrent programming language

Autoren: Hoey, James B.

Schlagwörter: 005.13, Imperative Concurrent Programming Language, reversible executions, programming, Structured Operational Semantics

Zugangs-URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811554

Reversing an Imperative Concurrent Programming Language

Autoren: Hoey, James Ulidowski, Irek

Index Begriffe: Computer Science - Programming Languages, text

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

Reversing an imperative concurrent programming language

Autoren: James Hoey Irek Ulidowski

Quelle: Science of Computer Programming. 223:102873

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2205.01171

Reversing an Imperative Concurrent Programming Language

Autoren: James Hoey

Schlagwörter: Uncategorized

Zugangs-URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811554
https://leicester.figshare.com/articles/thesis/Reversing_an_Imperative_Concurrent_Programming_Language/12656219

Non-Blocking Concurrent Imperative Programming with Session Types

Autoren: Miguel Silva Mário Florido Frank Pfenning

Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 238, Iss Proc. LINEARITY 2016, Pp 64-72 (2017)

Schlagwörter: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Dateibeschreibung: electronic resource

Relation: http://arxiv.org/pdf/1701.04920v1; https://doaj.org/toc/2075-2180

Zugangs-URL: https://doaj.org/article/6018d84c27e1438bad6cfed0dac1e85b

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoren: Viktor Vafeiadis

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Modular termination verification with a higher-order concurrent separation logic (Intermediate report)

Autoren: Fasse, Justus Jacobs, Bart

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2212.14126
https://lirias.kuleuven.be/handle/20.500.12942/713013

GRID superscalar: a programming model for the Grid

Autoren: Sirvent Pardell, Raül

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: checkpointing, task replication, task retries, fault tolerance, scientific workflows, implicit parallelism, programming models, grid computing

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.tdx.cat/TDX-1118110-124150
http://hdl.handle.net/10803/6015
https://dx.doi.org/10.5821/dissertation-2117-93329

Functional and Concurrent Programming : Core Concepts and Features

Autoren: Michel Charpentier

Resource Type: eBook.

Schlagworte: Computer multitasking, Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

Programming Languages: Principles and Paradigms

Autoren: Maurizio Gabbrielli Simone Martini Saverio Giallorenzo

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.

Autoren: Ness, Linda¹

Quelle: IEEE Transactions on Software Engineering. Apr93, Vol. 19 Issue 4, p410-423. 14p.

Schlagwörter: *PROGRAMMING languages, *CONCURRENT engineering, *COMPUTER network protocols, *ALGORITHMS, COMPUTER logic, DISTRIBUTED operating systems (Computers)

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.

Autoren: INVERSO, OMAR TOMASCO, ERMENEGILDO FISCHER, BERND et al.

Quelle: ACM Transactions on Programming Languages & Systems. 2022, Vol. 44 Issue 1, p1-50. 50p.

Schlagwörter: *PROGRAMMING languages, LAZINESS, SOFTWARE verification, MACHINE translating

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC.

Autoren: YIP, EUGENE GIRAULT, ALAIN ROOP, PARTHA S. et al.

Quelle: ACM Transactions on Programming Languages & Systems. Jun2023, Vol. 45 Issue 2, p1-74. 74p.

Schlagwörter: *PARALLEL programming, *PROGRAMMING languages, MULTICORE processors, PITFALL traps, DEBUGGING

The JR Programming Language : Concurrent Programming in an Extended Java

Autoren: Ronald A. Olsson Aaron W. Keen

Resource Type: eBook.

Schlagworte: Computer programming, Compilers (Computer programs), Microprocessors, Computer architecture, Operating systems (Computers), Computer science, Software engineering

Categories: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General

CRIL: A Concurrent Reversible Intermediate Language

Autoren: Oguchi, Shunya Yuen, Shoji

Index Begriffe: Computer Science - Programming Languages, Computer Science - Software Engineering, text

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

Introduction to Programming Languages

Autoren: Arvind Kumar Bansal

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Handbooks, manuals, etc, Computer programming--Handbooks, manuals, etc

Categories: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic

A Concurrent Model for Imperative Languages with Improved Atomicity

Autoren: Kwon, Keehang Kang, Daeseong

Index Begriffe: Computer Science - Programming Languages, text

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

Non-Blocking Concurrent Imperative Programming with Session Types

Autoren: Silva, Miguel Florido, Mário Pfenning, Frank

Index Begriffe: Computer Science - Logic in Computer Science, text

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

Get Programming with Go

Autoren: Roger Peppe Nathan Youngman

Resource Type: eBook.

Schlagworte: Computer programming, Go (Computer program language), Programming languages (Electronic computers)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / General

Specification and verification of synchronization with condition variables

Autoren: De Carvalho Gomes, Pedro Gurov, Dilian Huisman, M.

Quelle: 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016 Communications in Computer and Information Science. :3-19

Schlagwörter: Computer software, Explosions, Extraction, Petri nets, Safety engineering, Security systems, Specifications, Synchronization, Automated extraction, Combinatorial explosion, Concurrent program, Imperative languages, Liveness properties, Parallel Computation, Reachability problem, Specification and verification, Java programming language

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-207406