A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Autor: Claudio Corrodi, Christopher M. Poskitt, Alexander Heußner
Přispěvatelé: Stevens, Perdita, Wasowski, Andrzej
Jazyk: angličtina
Rok vydání: 2016
Předmět:
FOS: Computer and information sciences
Computer Science - Logic in Computer Science
Computer science
Concurrency
SCOOP
PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING)
PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)
GRAPHENALGORITHMEN + GEOMETRISCHE ALGORITHMEN (GRAPHENTHEORIE)
VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)
PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)
CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS)
PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING)
GRAPH ALGORITHMS + GEOMETRIC ALGORITHMS (GRAPH THEORY)
0102 computer and information sciences
02 engineering and technology
Semantics
computer.software_genre
01 natural sciences
Data processing
computer science

Computer Science - Software Engineering
510 Mathematics
ComputingMilieux_COMPUTERSANDEDUCATION
0202 electrical engineering
electronic engineering
information engineering

000 Computer science
knowledge & systems

computer.programming_language
Soundness
Graph rewriting
Computer Science - Programming Languages
business.industry
Programming language
020207 software engineering
Modular design
Logic in Computer Science (cs.LO)
Software Engineering (cs.SE)
Computer Science - Distributed
Parallel
and Cluster Computing

010201 computation theory & mathematics
Asynchronous communication
Graph (abstract data type)
Workbench
Distributed
Parallel
and Cluster Computing (cs.DC)

ddc:004
business
computer
Programming Languages (cs.PL)
Zdroj: Lecture Notes in Computer Science, 9633
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering ISBN: 9783662496640
ISSN: 0302-9743
1611-3349
Popis: Lecture Notes in Computer Science, 9633
ISSN:0302-9743
ISSN:1611-3349
Fundamental Approaches to Software Engineering
ISBN:978-3-662-49665-7
ISBN:978-3-662-49664-0
Databáze: OpenAIRE