This HTML5 document contains 31 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10https://kar.kent.ac.uk/79924/
dctermshttp://purl.org/dc/terms/
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
n18http://purl.org/ontology/bibo/status/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n8doi:10.1109/
n11http://eprints.org/ontology/
n21https://kar.kent.ac.uk/id/eprint/79924#
n19https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n4https://kar.kent.ac.uk/id/publication/
n20https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n12https://kar.kent.ac.uk/id/
n15https://kar.kent.ac.uk/id/document/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n6https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:79924
rdf:type
bibo:Article bibo:AcademicArticle n11:ArticleEPrint n11:EPrint
rdfs:seeAlso
n10:
owl:sameAs
n8:SE4Science.2019.00013
n11:hasAccepted
n15:3200932
n11:hasDocument
n15:3200932 n15:3200964 n15:3200965 n15:3200966 n15:3200967 n15:3200968
dc:hasVersion
n15:3200932
dcterms:title
Learning Units-of-Measure from Scientific Code
wdrs:describedby
n14:export_kar_RDFN3.n3 n16:export_kar_RDFN3.n3
dcterms:date
2019-09-05
dcterms:creator
n6:ext-ce56c7c9f67b2b85ca9f4bf472cc9e4d n6:ext-9a05fc11bc353e728d7c092579ddedf9 n6:ext-9a0938ddef11251762a1d058fb78f16d n6:ext-3a4604ef6a1814988c8ade8cae781622 n6:ext-d.a.orchard@kent.ac.uk
bibo:status
n18:peerReviewed n18:published
dcterms:publisher
n20:ext-af0a9a5baed87c407844a3f5db44597c
bibo:abstract
CamFort is our multi-purpose tool for lightweight analysis and verification of scientific Fortran code. One core feature provides units-of-measure verification (dimensional analysis) of programs, where users partially annotate programs with units-of-measure from which our tool checks consistency and infers any missing specifications. However, many users find it onerous to provide units-of-measure information for existing code, even in part. We have noted however that there are often many common patterns and clues about the intended units-of-measure contained within variable names, comments, and surrounding code context. In this work-in-progress paper, we describe how we are adapting our approach, leveraging machine learning techniques to reconstruct units-of-measure information automatically thus saving programmer effort and increasing the likelihood of adoption.
dcterms:isPartOf
n4:ext-ccac135f9c6ae2fb94ca0cc4f5d1c9b3 n12:repository
bibo:authorList
n21:authors
bibo:presentedAt
n19:ext-066a7f79e8888c72461a2fdc791425d5