About: Model Checking Transactional Sapphire

Not logged in : Login

(Sponging disallowed)

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

About: Model Checking Transactional Sapphire Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	http://eprints.org/ontology/EPrint http://eprints.org/ontology/MonographEPrint Article Manuscript
seeAlso	HTML Summary of #67197 Model Checking Transactional Sapphire
http://eprints.org/ontology/hasDocument	Model Checking Transactional Sapphire (PDF) Model Checking Transactional Sapphire (Other) Model Checking Transactional Sapphire (Other) Model Checking Transactional Sapphire (Other) Model Checking Transactional Sapphire (Other) Model Checking Transactional Sapphire (Other)
http://eprints.org...y/hasSupplemental	Model Checking Transactional Sapphire (PDF)
Title	Model Checking Transactional Sapphire
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-03-15
Creator	Richard E. Jones Tomoharu Ugawa
status	unpublished
Publisher	School of Computing, University of Kent
abstract	This report describes how we verified major aspects of the Transactional Sap- phire garbage collector for Java.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/67197#authors
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 #67197 Model Checking Transactional Sapphire

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, 27 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software