Compile-time data dependency verification


Ontology type: sgo:Patent     


Patent Info

DATE

2001-08-14T00:00

AUTHORS

Graham W. Ewart

ABSTRACT

A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression. The data-verification expression has a predetermined value when the programmer-defined data dependency is conformed to in the program. A compile-time error is generated if the data-verification expression does not have the predetermined value on the compilation of the check statement. The successful compilation of the check statement does not result in run-time code or run-time data allocation occurring. More... »

Related SciGraph Publications

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2766", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "name": "Graham W. Ewart", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/s007780050020", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029353464", 
          "https://doi.org/10.1007/s007780050020"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2001-08-14T00:00", 
    "description": "

A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression. The data-verification expression has a predetermined value when the programmer-defined data dependency is conformed to in the program. A compile-time error is generated if the data-verification expression does not have the predetermined value on the compilation of the check statement. The successful compilation of the check statement does not result in run-time code or run-time data allocation occurring.

", "id": "sg:patent.US-6275986-B1", "keywords": [ "data dependency", "extension", "compile-time", "statement", "argument", "verification", "compilation", "run-time", "time data" ], "name": "Compile-time data dependency verification", "recipient": [ { "id": "https://www.grid.ac/institutes/grid.410484.d", "type": "Organization" } ], "sameAs": [ "https://app.dimensions.ai/details/patent/US-6275986-B1" ], "sdDataset": "patents", "sdDatePublished": "2019-04-18T10:27", "sdLicense": "https://scigraph.springernature.com/explorer/license/", "sdPublisher": { "name": "Springer Nature - SN SciGraph project", "type": "Organization" }, "sdSource": "s3://com-uberresearch-data-patents-target-20190320-rc/data/sn-export/402f166718b70575fb5d4ffe01f064d1/0000100128-0000352499/json_export_03093.jsonl", "type": "Patent" } ]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/patent.US-6275986-B1'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/patent.US-6275986-B1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/patent.US-6275986-B1'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/patent.US-6275986-B1'


 

This table displays all metadata directly associated to this object as RDF triples.

35 TRIPLES      15 PREDICATES      24 URIs      17 LITERALS      2 BLANK NODES

Subject Predicate Object
1 sg:patent.US-6275986-B1 schema:about anzsrc-for:2766
2 schema:author N9be65583ecbc4fcfa0e66fb8701f518a
3 schema:citation sg:pub.10.1007/s007780050020
4 schema:datePublished 2001-08-14T00:00
5 schema:description <p>A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression. The data-verification expression has a predetermined value when the programmer-defined data dependency is conformed to in the program. A compile-time error is generated if the data-verification expression does not have the predetermined value on the compilation of the check statement. The successful compilation of the check statement does not result in run-time code or run-time data allocation occurring.</p>
6 schema:keywords argument
7 compilation
8 compile-time
9 data dependency
10 extension
11 run-time
12 statement
13 time data
14 verification
15 schema:name Compile-time data dependency verification
16 schema:recipient https://www.grid.ac/institutes/grid.410484.d
17 schema:sameAs https://app.dimensions.ai/details/patent/US-6275986-B1
18 schema:sdDatePublished 2019-04-18T10:27
19 schema:sdLicense https://scigraph.springernature.com/explorer/license/
20 schema:sdPublisher N64fd4c8cd4fe4c32ab67858adeb2e316
21 sgo:license sg:explorer/license/
22 sgo:sdDataset patents
23 rdf:type sgo:Patent
24 N5d0512c71c1d4cfdb2219fd53fe11e22 schema:name Graham W. Ewart
25 rdf:type schema:Person
26 N64fd4c8cd4fe4c32ab67858adeb2e316 schema:name Springer Nature - SN SciGraph project
27 rdf:type schema:Organization
28 N9be65583ecbc4fcfa0e66fb8701f518a rdf:first N5d0512c71c1d4cfdb2219fd53fe11e22
29 rdf:rest rdf:nil
30 anzsrc-for:2766 schema:inDefinedTermSet anzsrc-for:
31 rdf:type schema:DefinedTerm
32 sg:pub.10.1007/s007780050020 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029353464
33 https://doi.org/10.1007/s007780050020
34 rdf:type schema:CreativeWork
35 https://www.grid.ac/institutes/grid.410484.d schema:Organization
 




Preview window. Press ESC to close (or click here)


...