Výsledky vyhľadávania - Imperative Concurrent Programming Language

Reversing an imperative concurrent programming language

Autori: Hoey, James B.

Predmety: 005.13, Imperative Concurrent Programming Language, reversible executions, programming, Structured Operational Semantics

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811554

Reversing an Imperative Concurrent Programming Language

Autori: Hoey, James Ulidowski, Irek

Témy: Computer Science - Programming Languages, text

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

Reversing an imperative concurrent programming language

Autori: James Hoey Irek Ulidowski

Zdroj: Science of Computer Programming. 223:102873

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2205.01171

Reversing an Imperative Concurrent Programming Language

Autori: James Hoey

Predmety: Uncategorized

Prístupová URL adresa: 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

Autori: Miguel Silva Mário Florido Frank Pfenning

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

Predmety: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Popis súboru: electronic resource

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

Prístupová URL adresa: 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

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

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

Autori: Fasse, Justus Jacobs, Bart

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2212.14126
https://lirias.kuleuven.be/handle/20.500.12942/713013

GRID superscalar: a programming model for the Grid

Autori: Sirvent Pardell, Raül

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

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

Zdroj: TDX (Tesis Doctorals en Xarxa)

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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Michel Charpentier

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

Programming Languages: Principles and Paradigms

Autori: Maurizio Gabbrielli Simone Martini Saverio Giallorenzo

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

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

Autori: Ness, Linda¹

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

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

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.

Autori: INVERSO, OMAR TOMASCO, ERMENEGILDO FISCHER, BERND a ďalší

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

Predmety: *PROGRAMMING languages, LAZINESS, SOFTWARE verification, MACHINE translating

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC.

Autori: YIP, EUGENE GIRAULT, ALAIN ROOP, PARTHA S. a ďalší

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

Predmety: *PARALLEL programming, *PROGRAMMING languages, MULTICORE processors, PITFALL traps, DEBUGGING

The JR Programming Language : Concurrent Programming in an Extended Java

Autori: Ronald A. Olsson Aaron W. Keen

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Oguchi, Shunya Yuen, Shoji

Témy: Computer Science - Programming Languages, Computer Science - Software Engineering, text

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

Introduction to Programming Languages

Autori: Arvind Kumar Bansal

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Games, COMPUTERS / Languages / General, MATHEMATICS / General, MATHEMATICS / Arithmetic

A Concurrent Model for Imperative Languages with Improved Atomicity

Autori: Kwon, Keehang Kang, Daeseong

Témy: Computer Science - Programming Languages, text

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

Non-Blocking Concurrent Imperative Programming with Session Types

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

Témy: Computer Science - Logic in Computer Science, text

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

Get Programming with Go

Autori: Roger Peppe Nathan Youngman

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / General

Specification and verification of synchronization with condition variables

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

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

Predmety: 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

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-207406