About: A Static Verification Framework for Message Passing in Go using Behavioural Types

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: A Static Verification Framework for Message Passing in Go using Behavioural Types Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : demo.openlinksw.com associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #65587 A Static Verification Framework for Message Passing in Go using Behavioural Types
sameAs	A Static Verification Framework for Message Passing in Go using Behavioural Types
http://eprints.org/ontology/hasAccepted	A Static Verification Framework for Message Passing in Go using Behavioural Types (PDF)
http://eprints.org/ontology/hasDocument	A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (PDF) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other) A Static Verification Framework for Message Passing in Go using Behavioural Types (PDF) A Static Verification Framework for Message Passing in Go using Behavioural Types (Other)
http://eprints.org/ontology/hasPublished	A Static Verification Framework for Message Passing in Go using Behavioural Types (PDF)
dc:hasVersion	A Static Verification Framework for Message Passing in Go using Behavioural Types (PDF) A Static Verification Framework for Message Passing in Go using Behavioural Types (PDF)
Title	A Static Verification Framework for Message Passing in Go using Behavioural Types
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2018-05-27
Creator	Nicholas Ng Bernardo Toninho Julien Lange Nobuko Yoshida
status	peer reviewed published
Publisher	ACM
abstract	The Go programming language has been heavily adopted in industry as a language that efficiently combines systems programming with concurrency. Go’s concurrency primitives, inspired by process calculi such as CCS and CSP, feature channel-based communication and lightweight threads, providing a distinct means of structuring concurrent software. Despite its popularity, the Go programming ecosystem offers little to no support for guarantee- ing the correctness of message-passing concurrent programs. This work proposes a practical verification framework for message passing concurrency in Go by developing a robust static analysis that infers an abstract model of a program’s communication behaviour in the form of a behavioural type, a powerful process calculi typing discipline. We make use of our analysis to deploy a model and termination checking based verification of the inferred behavioural type that is suitable for a range of safety and liveness properties of Go programs, providing several improvements over existing approaches. We evaluate our framework and its implementation on publicly available real-world Go code.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA Mathematics (inc Computing science)
list of authors	https://kar.kent.ac.uk/id/eprint/65587#authors
presented at	ICSE '18: 40th International Conference on Software Engineering
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #65587 A Static Verification Framework for Message Passing in Go using Behavioural Types

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 45 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software