NREVERSAL of fortune — The thermodynamics of garbage collection View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2005-06-10

AUTHORS

Henry G. Baker

ABSTRACT

The need to reverse a computation arises in many contexts—debugging, editor undoing, optimistic concurrency undoing, speculative computation undoing, trace scheduling, exception handling undoing, database recovery, optimistic discrete event simulations, subjunctive computing, etc. The need to analyze a reversed computation arises in the context of static analysis—liveness analysis, strictness analysis, type inference, etc. Traditional means for restoring a computation to a previous state involve checkpoints; checkpoints require time to copy, as well as space to store, the copied material. Traditional reverse abstract interpretation produces relatively poor information due to its inability to guess the previous values of assigned-to variables. We propose an abstract computer model and a programming language—Ψ-Lisp—whose primitive operations are injective and hence reversible, thus allowing arbitrary undoing without the overheads of checkpointing. Such a computer can be built from reversible conservative logic circuits, with the serendipitous advantage of dissipating far less heat than traditional Boolean AND/OR/NOT circuits. Unlike functional languages, which have one “state” for all times, Ψ-Lisp has at all times one “state”, with unique predecessor and successor states. Compiling into a reversible pseudocode can have benefits even when targeting a traditional computer. Certain optimizations, e.g., update-in-place, and compile-time garbage collection may be more easily performed, because the information may be elicited without the difficult and time-consuming iterative abstract interpretation required for most non-reversible models. In a reversible machine, garbage collection for recycling storage can always be performed by a reversed (sub)computation. While this “collection is reversed mutation” insight does not reduce space requirements when used for the computation as a whole, it does save space when used to recycle at finer scales. This insight also provides an explanation for the fundamental importance of the push-down stack both for recognizing palindromes and for managing storage. Reversible computers are related to Prolog, linear logic and chemical abstract machines. More... »

PAGES

507-524

References to SciGraph publications

  • 1982-04. Physics and computation in INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
  • 1980. Reversible computing in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1977-09. Microelectronics and the Personal Computer in SCIENTIFIC AMERICAN
  • 1985. Lambda lifting: Transforming programs to recursive equations in FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
  • 1981-12. Bicontinuous extensions of invertible combinatorial functions in MATHEMATICAL SYSTEMS THEORY
  • 1985. The G-machine: A fast, graph-reduction evaluator in FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
  • 1988-10. Dissipation and noise immunity in computation and communication in NATURE
  • 1982-04. Conservative logic in INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
  • 1986-06. Quantum mechanical computers in FOUNDATIONS OF PHYSICS
  • 1982-04. Quantum mechanical Hamiltonian models of discrete processes that erase their own histories: Application to Turing machines in INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
  • 1982-12. The thermodynamics of computation—a review in INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
  • 1977. On backtracking and greatest fixpoints in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1991. Linearity and laziness in FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
  • 1990-11. A runtime system in LISP AND SYMBOLIC COMPUTATION
  • Book

    TITLE

    Memory Management

    ISBN

    3-540-55940-X

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bfb0017210

    DOI

    http://dx.doi.org/10.1007/bfb0017210

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1030791058


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "name": [
                "Nimble Computer Corporation, 16231 Meadow Ridge Way, 91436, Encino, California, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Baker", 
            "givenName": "Henry G.", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/363534.363554", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001574209"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/357103.357109", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001954319"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/356770.356773", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003933414"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/76894.76897", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004090245"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1476936.1476952", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006251513"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-10003-2_104", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006731052", 
              "https://doi.org/10.1007/3-540-10003-2_104"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1038/335779a0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006784147", 
              "https://doi.org/10.1038/335779a0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/96709.96718", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007426656"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/114005.102808", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008518564"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/115790.115800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008680407"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/99583.99626", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011057170"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/68210.69226", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011168053"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1515/9781400882618-009", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011817422"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3916.3988", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012287092"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/987352.987358", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012771048"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01807697", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013740393", 
              "https://doi.org/10.1007/bf01807697"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01807697", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013740393", 
              "https://doi.org/10.1007/bf01807697"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/109625.109642", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013978226"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf02084158", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014354438", 
              "https://doi.org/10.1007/bf02084158"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf02084158", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014354438", 
              "https://doi.org/10.1007/bf02084158"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/358141.358147", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014595365"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/362790.362798", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017790239"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/359636.359713", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017832296"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/91556.91564", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018670039"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/988164.988172", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021650898"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/362342.362360", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021817835"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857725", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022602677", 
              "https://doi.org/10.1007/bf01857725"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857725", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022602677", 
              "https://doi.org/10.1007/bf01857725"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/100348.100410", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023400276"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-08342-1_32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024024627", 
              "https://doi.org/10.1007/3-540-08342-1_32"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-6423(90)90042-c", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024446635"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0096-0551(84)90004-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024448797"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0096-0551(84)90004-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024448797"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-2789(84)90252-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024857421"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-2789(84)90252-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024857421"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/321420.321422", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025665569"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/358506.358513", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025905873"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/spe.4380090105", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026141514"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/357233.357234", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026882086"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/800017.800536", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027400363"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/48022.48025", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027602991"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0096-0551(87)90002-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027642588"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0096-0551(87)90002-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027642588"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-15975-4_50", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028527908", 
              "https://doi.org/10.1007/3-540-15975-4_50"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/5001.5005", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029409176"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3540543961_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030283314", 
              "https://doi.org/10.1007/3540543961_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(87)90045-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030539676"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/73560.73585", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031736956"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857724", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032160596", 
              "https://doi.org/10.1007/bf01857724"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857724", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032160596", 
              "https://doi.org/10.1007/bf01857724"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/spe.4380190206", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032276986"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/319838.319868", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032540533"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857727", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032661873", 
              "https://doi.org/10.1007/bf01857727"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01857727", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032661873", 
              "https://doi.org/10.1007/bf01857727"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/41625.41653", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035111087"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/359545.359566", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036060371"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2786.2793", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037649283"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01886518", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037696840", 
              "https://doi.org/10.1007/bf01886518"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01886518", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037696840", 
              "https://doi.org/10.1007/bf01886518"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01752388", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037755566", 
              "https://doi.org/10.1007/bf01752388"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01752388", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037755566", 
              "https://doi.org/10.1007/bf01752388"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/130854.130858", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039023091"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/68210.69227", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040595928"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/319566.319567", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040795131"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(88)90100-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042423983"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/116873.116875", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043995506"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3318.3321", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045617487"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/512950.512973", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045819695"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/142137.142162", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047903139"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-15975-4_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048857545", 
              "https://doi.org/10.1007/3-540-15975-4_37"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/358024.358059", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049374833"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(82)90058-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050797751"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1476793.1476881", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051889694"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1038/scientificamerican0977-230", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1056600678", 
              "https://doi.org/10.1038/scientificamerican0977-230"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/32.90445", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061154680"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/52.88940", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061186055"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ms.1984.229460", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061419842"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tc.1981.1675827", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061532591"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tc.1987.1676929", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061533539"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0218053", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062842152"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/36205.36197", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063169087"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.176.0525", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063180324"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.321.0016", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063181580"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/sj.92.0078", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063185202"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sfcs.1980.18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086205559"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icdcs.1989.37929", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086225351"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/hicss.1988.11808", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086250629"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.21236/ada082021", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1091582442"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/115865.115894", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098839153"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2005-06-10", 
        "datePublishedReg": "2005-06-10", 
        "description": "The need to reverse a computation arises in many contexts\u2014debugging, editor undoing, optimistic concurrency undoing, speculative computation undoing, trace scheduling, exception handling undoing, database recovery, optimistic discrete event simulations, subjunctive computing, etc. The need to analyze a reversed computation arises in the context of static analysis\u2014liveness analysis, strictness analysis, type inference, etc. Traditional means for restoring a computation to a previous state involve checkpoints; checkpoints require time to copy, as well as space to store, the copied material. Traditional reverse abstract interpretation produces relatively poor information due to its inability to guess the previous values of assigned-to variables. We propose an abstract computer model and a programming language\u2014\u03a8-Lisp\u2014whose primitive operations are injective and hence reversible, thus allowing arbitrary undoing without the overheads of checkpointing. Such a computer can be built from reversible conservative logic circuits, with the serendipitous advantage of dissipating far less heat than traditional Boolean AND/OR/NOT circuits. Unlike functional languages, which have one \u201cstate\u201d for all times, \u03a8-Lisp has at all times one \u201cstate\u201d, with unique predecessor and successor states. Compiling into a reversible pseudocode can have benefits even when targeting a traditional computer. Certain optimizations, e.g., update-in-place, and compile-time garbage collection may be more easily performed, because the information may be elicited without the difficult and time-consuming iterative abstract interpretation required for most non-reversible models. In a reversible machine, garbage collection for recycling storage can always be performed by a reversed (sub)computation. While this \u201ccollection is reversed mutation\u201d insight does not reduce space requirements when used for the computation as a whole, it does save space when used to recycle at finer scales. This insight also provides an explanation for the fundamental importance of the push-down stack both for recognizing palindromes and for managing storage. Reversible computers are related to Prolog, linear logic and chemical abstract machines.", 
        "editor": [
          {
            "familyName": "Bekkers", 
            "givenName": "Yves", 
            "type": "Person"
          }, 
          {
            "familyName": "Cohen", 
            "givenName": "Jacques", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/bfb0017210", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "3-540-55940-X"
          ], 
          "name": "Memory Management", 
          "type": "Book"
        }, 
        "name": "NREVERSAL of fortune \u2014 The thermodynamics of garbage collection", 
        "pagination": "507-524", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1030791058"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bfb0017210"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "92af3915231ccd8ac0be0842a9d0266c08b8f4b23dde8d54bd4809dc70169f9d"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin/Heidelberg", 
          "name": "Springer-Verlag", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/bfb0017210", 
          "https://app.dimensions.ai/details/publication/pub.1030791058"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T09:31", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000372_0000000372/records_117125_00000001.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2FBFb0017210"
      }
    ]
     

    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/pub.10.1007/bfb0017210'

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

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/bfb0017210'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0017210'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0017210'


     

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

    318 TRIPLES      23 PREDICATES      105 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bfb0017210 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N920589b20cf84c89af6d9e0d25ac3341
    4 schema:citation sg:pub.10.1007/3-540-08342-1_32
    5 sg:pub.10.1007/3-540-10003-2_104
    6 sg:pub.10.1007/3-540-15975-4_37
    7 sg:pub.10.1007/3-540-15975-4_50
    8 sg:pub.10.1007/3540543961_11
    9 sg:pub.10.1007/bf01752388
    10 sg:pub.10.1007/bf01807697
    11 sg:pub.10.1007/bf01857724
    12 sg:pub.10.1007/bf01857725
    13 sg:pub.10.1007/bf01857727
    14 sg:pub.10.1007/bf01886518
    15 sg:pub.10.1007/bf02084158
    16 sg:pub.10.1038/335779a0
    17 sg:pub.10.1038/scientificamerican0977-230
    18 https://doi.org/10.1002/spe.4380090105
    19 https://doi.org/10.1002/spe.4380190206
    20 https://doi.org/10.1016/0096-0551(84)90004-3
    21 https://doi.org/10.1016/0096-0551(87)90002-6
    22 https://doi.org/10.1016/0167-2789(84)90252-5
    23 https://doi.org/10.1016/0167-6423(90)90042-c
    24 https://doi.org/10.1016/0304-3975(82)90058-5
    25 https://doi.org/10.1016/0304-3975(87)90045-4
    26 https://doi.org/10.1016/0304-3975(88)90100-4
    27 https://doi.org/10.1109/32.90445
    28 https://doi.org/10.1109/52.88940
    29 https://doi.org/10.1109/hicss.1988.11808
    30 https://doi.org/10.1109/icdcs.1989.37929
    31 https://doi.org/10.1109/ms.1984.229460
    32 https://doi.org/10.1109/sfcs.1980.18
    33 https://doi.org/10.1109/tc.1981.1675827
    34 https://doi.org/10.1109/tc.1987.1676929
    35 https://doi.org/10.1137/0218053
    36 https://doi.org/10.1145/100348.100410
    37 https://doi.org/10.1145/109625.109642
    38 https://doi.org/10.1145/114005.102808
    39 https://doi.org/10.1145/115790.115800
    40 https://doi.org/10.1145/115865.115894
    41 https://doi.org/10.1145/116873.116875
    42 https://doi.org/10.1145/130854.130858
    43 https://doi.org/10.1145/142137.142162
    44 https://doi.org/10.1145/1476793.1476881
    45 https://doi.org/10.1145/1476936.1476952
    46 https://doi.org/10.1145/2786.2793
    47 https://doi.org/10.1145/319566.319567
    48 https://doi.org/10.1145/319838.319868
    49 https://doi.org/10.1145/321420.321422
    50 https://doi.org/10.1145/3318.3321
    51 https://doi.org/10.1145/356770.356773
    52 https://doi.org/10.1145/357103.357109
    53 https://doi.org/10.1145/357233.357234
    54 https://doi.org/10.1145/358024.358059
    55 https://doi.org/10.1145/358141.358147
    56 https://doi.org/10.1145/358506.358513
    57 https://doi.org/10.1145/359545.359566
    58 https://doi.org/10.1145/359636.359713
    59 https://doi.org/10.1145/36205.36197
    60 https://doi.org/10.1145/362342.362360
    61 https://doi.org/10.1145/362790.362798
    62 https://doi.org/10.1145/363534.363554
    63 https://doi.org/10.1145/3916.3988
    64 https://doi.org/10.1145/41625.41653
    65 https://doi.org/10.1145/48022.48025
    66 https://doi.org/10.1145/5001.5005
    67 https://doi.org/10.1145/512950.512973
    68 https://doi.org/10.1145/68210.69226
    69 https://doi.org/10.1145/68210.69227
    70 https://doi.org/10.1145/73560.73585
    71 https://doi.org/10.1145/76894.76897
    72 https://doi.org/10.1145/800017.800536
    73 https://doi.org/10.1145/91556.91564
    74 https://doi.org/10.1145/96709.96718
    75 https://doi.org/10.1145/987352.987358
    76 https://doi.org/10.1145/988164.988172
    77 https://doi.org/10.1145/99583.99626
    78 https://doi.org/10.1147/rd.176.0525
    79 https://doi.org/10.1147/rd.321.0016
    80 https://doi.org/10.1147/sj.92.0078
    81 https://doi.org/10.1515/9781400882618-009
    82 https://doi.org/10.21236/ada082021
    83 schema:datePublished 2005-06-10
    84 schema:datePublishedReg 2005-06-10
    85 schema:description The need to reverse a computation arises in many contexts—debugging, editor undoing, optimistic concurrency undoing, speculative computation undoing, trace scheduling, exception handling undoing, database recovery, optimistic discrete event simulations, subjunctive computing, etc. The need to analyze a reversed computation arises in the context of static analysis—liveness analysis, strictness analysis, type inference, etc. Traditional means for restoring a computation to a previous state involve checkpoints; checkpoints require time to copy, as well as space to store, the copied material. Traditional reverse abstract interpretation produces relatively poor information due to its inability to guess the previous values of assigned-to variables. We propose an abstract computer model and a programming language—Ψ-Lisp—whose primitive operations are injective and hence reversible, thus allowing arbitrary undoing without the overheads of checkpointing. Such a computer can be built from reversible conservative logic circuits, with the serendipitous advantage of dissipating far less heat than traditional Boolean AND/OR/NOT circuits. Unlike functional languages, which have one “state” for all times, Ψ-Lisp has at all times one “state”, with unique predecessor and successor states. Compiling into a reversible pseudocode can have benefits even when targeting a traditional computer. Certain optimizations, e.g., update-in-place, and compile-time garbage collection may be more easily performed, because the information may be elicited without the difficult and time-consuming iterative abstract interpretation required for most non-reversible models. In a reversible machine, garbage collection for recycling storage can always be performed by a reversed (sub)computation. While this “collection is reversed mutation” insight does not reduce space requirements when used for the computation as a whole, it does save space when used to recycle at finer scales. This insight also provides an explanation for the fundamental importance of the push-down stack both for recognizing palindromes and for managing storage. Reversible computers are related to Prolog, linear logic and chemical abstract machines.
    86 schema:editor Na5f336e6996244818cce6255be9ee5c8
    87 schema:genre chapter
    88 schema:inLanguage en
    89 schema:isAccessibleForFree true
    90 schema:isPartOf Na297422ab72b4e1a957174cb96b6da38
    91 schema:name NREVERSAL of fortune — The thermodynamics of garbage collection
    92 schema:pagination 507-524
    93 schema:productId N6a4b5837a5324da28ab9cce54da49cf9
    94 Nc918b985147b468986e94207172d13d7
    95 Nce364ab839124a18a1c6d0fd310ccc8b
    96 schema:publisher Nbfc3f584c3cf4aa086f377798b872536
    97 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030791058
    98 https://doi.org/10.1007/bfb0017210
    99 schema:sdDatePublished 2019-04-16T09:31
    100 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    101 schema:sdPublisher N0eecdfd80fc647c6befa23533f66c1eb
    102 schema:url https://link.springer.com/10.1007%2FBFb0017210
    103 sgo:license sg:explorer/license/
    104 sgo:sdDataset chapters
    105 rdf:type schema:Chapter
    106 N0d9c9807e85345eaa74447859edbe5d0 schema:affiliation Nba2aa7f05a3a41c7a2824f7e9909bb37
    107 schema:familyName Baker
    108 schema:givenName Henry G.
    109 rdf:type schema:Person
    110 N0eecdfd80fc647c6befa23533f66c1eb schema:name Springer Nature - SN SciGraph project
    111 rdf:type schema:Organization
    112 N44b441f5671d483ba7f482dc2388194d schema:familyName Cohen
    113 schema:givenName Jacques
    114 rdf:type schema:Person
    115 N6a4b5837a5324da28ab9cce54da49cf9 schema:name doi
    116 schema:value 10.1007/bfb0017210
    117 rdf:type schema:PropertyValue
    118 N920589b20cf84c89af6d9e0d25ac3341 rdf:first N0d9c9807e85345eaa74447859edbe5d0
    119 rdf:rest rdf:nil
    120 Na297422ab72b4e1a957174cb96b6da38 schema:isbn 3-540-55940-X
    121 schema:name Memory Management
    122 rdf:type schema:Book
    123 Na5f336e6996244818cce6255be9ee5c8 rdf:first Ndeb382b3158b4a5d957c53e5aa7f9b10
    124 rdf:rest Nb3318b2ec79b4ef9a167e27679955bec
    125 Nb3318b2ec79b4ef9a167e27679955bec rdf:first N44b441f5671d483ba7f482dc2388194d
    126 rdf:rest rdf:nil
    127 Nba2aa7f05a3a41c7a2824f7e9909bb37 schema:name Nimble Computer Corporation, 16231 Meadow Ridge Way, 91436, Encino, California, USA
    128 rdf:type schema:Organization
    129 Nbfc3f584c3cf4aa086f377798b872536 schema:location Berlin/Heidelberg
    130 schema:name Springer-Verlag
    131 rdf:type schema:Organisation
    132 Nc918b985147b468986e94207172d13d7 schema:name dimensions_id
    133 schema:value pub.1030791058
    134 rdf:type schema:PropertyValue
    135 Nce364ab839124a18a1c6d0fd310ccc8b schema:name readcube_id
    136 schema:value 92af3915231ccd8ac0be0842a9d0266c08b8f4b23dde8d54bd4809dc70169f9d
    137 rdf:type schema:PropertyValue
    138 Ndeb382b3158b4a5d957c53e5aa7f9b10 schema:familyName Bekkers
    139 schema:givenName Yves
    140 rdf:type schema:Person
    141 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    142 schema:name Information and Computing Sciences
    143 rdf:type schema:DefinedTerm
    144 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    145 schema:name Computer Software
    146 rdf:type schema:DefinedTerm
    147 sg:pub.10.1007/3-540-08342-1_32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024024627
    148 https://doi.org/10.1007/3-540-08342-1_32
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/3-540-10003-2_104 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006731052
    151 https://doi.org/10.1007/3-540-10003-2_104
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1007/3-540-15975-4_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048857545
    154 https://doi.org/10.1007/3-540-15975-4_37
    155 rdf:type schema:CreativeWork
    156 sg:pub.10.1007/3-540-15975-4_50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028527908
    157 https://doi.org/10.1007/3-540-15975-4_50
    158 rdf:type schema:CreativeWork
    159 sg:pub.10.1007/3540543961_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030283314
    160 https://doi.org/10.1007/3540543961_11
    161 rdf:type schema:CreativeWork
    162 sg:pub.10.1007/bf01752388 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037755566
    163 https://doi.org/10.1007/bf01752388
    164 rdf:type schema:CreativeWork
    165 sg:pub.10.1007/bf01807697 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013740393
    166 https://doi.org/10.1007/bf01807697
    167 rdf:type schema:CreativeWork
    168 sg:pub.10.1007/bf01857724 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032160596
    169 https://doi.org/10.1007/bf01857724
    170 rdf:type schema:CreativeWork
    171 sg:pub.10.1007/bf01857725 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022602677
    172 https://doi.org/10.1007/bf01857725
    173 rdf:type schema:CreativeWork
    174 sg:pub.10.1007/bf01857727 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032661873
    175 https://doi.org/10.1007/bf01857727
    176 rdf:type schema:CreativeWork
    177 sg:pub.10.1007/bf01886518 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037696840
    178 https://doi.org/10.1007/bf01886518
    179 rdf:type schema:CreativeWork
    180 sg:pub.10.1007/bf02084158 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014354438
    181 https://doi.org/10.1007/bf02084158
    182 rdf:type schema:CreativeWork
    183 sg:pub.10.1038/335779a0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006784147
    184 https://doi.org/10.1038/335779a0
    185 rdf:type schema:CreativeWork
    186 sg:pub.10.1038/scientificamerican0977-230 schema:sameAs https://app.dimensions.ai/details/publication/pub.1056600678
    187 https://doi.org/10.1038/scientificamerican0977-230
    188 rdf:type schema:CreativeWork
    189 https://doi.org/10.1002/spe.4380090105 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026141514
    190 rdf:type schema:CreativeWork
    191 https://doi.org/10.1002/spe.4380190206 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032276986
    192 rdf:type schema:CreativeWork
    193 https://doi.org/10.1016/0096-0551(84)90004-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024448797
    194 rdf:type schema:CreativeWork
    195 https://doi.org/10.1016/0096-0551(87)90002-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027642588
    196 rdf:type schema:CreativeWork
    197 https://doi.org/10.1016/0167-2789(84)90252-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024857421
    198 rdf:type schema:CreativeWork
    199 https://doi.org/10.1016/0167-6423(90)90042-c schema:sameAs https://app.dimensions.ai/details/publication/pub.1024446635
    200 rdf:type schema:CreativeWork
    201 https://doi.org/10.1016/0304-3975(82)90058-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050797751
    202 rdf:type schema:CreativeWork
    203 https://doi.org/10.1016/0304-3975(87)90045-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030539676
    204 rdf:type schema:CreativeWork
    205 https://doi.org/10.1016/0304-3975(88)90100-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042423983
    206 rdf:type schema:CreativeWork
    207 https://doi.org/10.1109/32.90445 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154680
    208 rdf:type schema:CreativeWork
    209 https://doi.org/10.1109/52.88940 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061186055
    210 rdf:type schema:CreativeWork
    211 https://doi.org/10.1109/hicss.1988.11808 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086250629
    212 rdf:type schema:CreativeWork
    213 https://doi.org/10.1109/icdcs.1989.37929 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086225351
    214 rdf:type schema:CreativeWork
    215 https://doi.org/10.1109/ms.1984.229460 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061419842
    216 rdf:type schema:CreativeWork
    217 https://doi.org/10.1109/sfcs.1980.18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086205559
    218 rdf:type schema:CreativeWork
    219 https://doi.org/10.1109/tc.1981.1675827 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061532591
    220 rdf:type schema:CreativeWork
    221 https://doi.org/10.1109/tc.1987.1676929 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061533539
    222 rdf:type schema:CreativeWork
    223 https://doi.org/10.1137/0218053 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062842152
    224 rdf:type schema:CreativeWork
    225 https://doi.org/10.1145/100348.100410 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023400276
    226 rdf:type schema:CreativeWork
    227 https://doi.org/10.1145/109625.109642 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013978226
    228 rdf:type schema:CreativeWork
    229 https://doi.org/10.1145/114005.102808 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008518564
    230 rdf:type schema:CreativeWork
    231 https://doi.org/10.1145/115790.115800 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008680407
    232 rdf:type schema:CreativeWork
    233 https://doi.org/10.1145/115865.115894 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098839153
    234 rdf:type schema:CreativeWork
    235 https://doi.org/10.1145/116873.116875 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043995506
    236 rdf:type schema:CreativeWork
    237 https://doi.org/10.1145/130854.130858 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039023091
    238 rdf:type schema:CreativeWork
    239 https://doi.org/10.1145/142137.142162 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047903139
    240 rdf:type schema:CreativeWork
    241 https://doi.org/10.1145/1476793.1476881 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051889694
    242 rdf:type schema:CreativeWork
    243 https://doi.org/10.1145/1476936.1476952 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006251513
    244 rdf:type schema:CreativeWork
    245 https://doi.org/10.1145/2786.2793 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037649283
    246 rdf:type schema:CreativeWork
    247 https://doi.org/10.1145/319566.319567 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040795131
    248 rdf:type schema:CreativeWork
    249 https://doi.org/10.1145/319838.319868 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032540533
    250 rdf:type schema:CreativeWork
    251 https://doi.org/10.1145/321420.321422 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025665569
    252 rdf:type schema:CreativeWork
    253 https://doi.org/10.1145/3318.3321 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045617487
    254 rdf:type schema:CreativeWork
    255 https://doi.org/10.1145/356770.356773 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003933414
    256 rdf:type schema:CreativeWork
    257 https://doi.org/10.1145/357103.357109 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001954319
    258 rdf:type schema:CreativeWork
    259 https://doi.org/10.1145/357233.357234 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026882086
    260 rdf:type schema:CreativeWork
    261 https://doi.org/10.1145/358024.358059 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049374833
    262 rdf:type schema:CreativeWork
    263 https://doi.org/10.1145/358141.358147 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014595365
    264 rdf:type schema:CreativeWork
    265 https://doi.org/10.1145/358506.358513 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025905873
    266 rdf:type schema:CreativeWork
    267 https://doi.org/10.1145/359545.359566 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036060371
    268 rdf:type schema:CreativeWork
    269 https://doi.org/10.1145/359636.359713 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017832296
    270 rdf:type schema:CreativeWork
    271 https://doi.org/10.1145/36205.36197 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063169087
    272 rdf:type schema:CreativeWork
    273 https://doi.org/10.1145/362342.362360 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021817835
    274 rdf:type schema:CreativeWork
    275 https://doi.org/10.1145/362790.362798 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017790239
    276 rdf:type schema:CreativeWork
    277 https://doi.org/10.1145/363534.363554 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001574209
    278 rdf:type schema:CreativeWork
    279 https://doi.org/10.1145/3916.3988 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012287092
    280 rdf:type schema:CreativeWork
    281 https://doi.org/10.1145/41625.41653 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035111087
    282 rdf:type schema:CreativeWork
    283 https://doi.org/10.1145/48022.48025 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027602991
    284 rdf:type schema:CreativeWork
    285 https://doi.org/10.1145/5001.5005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029409176
    286 rdf:type schema:CreativeWork
    287 https://doi.org/10.1145/512950.512973 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045819695
    288 rdf:type schema:CreativeWork
    289 https://doi.org/10.1145/68210.69226 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011168053
    290 rdf:type schema:CreativeWork
    291 https://doi.org/10.1145/68210.69227 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040595928
    292 rdf:type schema:CreativeWork
    293 https://doi.org/10.1145/73560.73585 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031736956
    294 rdf:type schema:CreativeWork
    295 https://doi.org/10.1145/76894.76897 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004090245
    296 rdf:type schema:CreativeWork
    297 https://doi.org/10.1145/800017.800536 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027400363
    298 rdf:type schema:CreativeWork
    299 https://doi.org/10.1145/91556.91564 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018670039
    300 rdf:type schema:CreativeWork
    301 https://doi.org/10.1145/96709.96718 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007426656
    302 rdf:type schema:CreativeWork
    303 https://doi.org/10.1145/987352.987358 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012771048
    304 rdf:type schema:CreativeWork
    305 https://doi.org/10.1145/988164.988172 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021650898
    306 rdf:type schema:CreativeWork
    307 https://doi.org/10.1145/99583.99626 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011057170
    308 rdf:type schema:CreativeWork
    309 https://doi.org/10.1147/rd.176.0525 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063180324
    310 rdf:type schema:CreativeWork
    311 https://doi.org/10.1147/rd.321.0016 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063181580
    312 rdf:type schema:CreativeWork
    313 https://doi.org/10.1147/sj.92.0078 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063185202
    314 rdf:type schema:CreativeWork
    315 https://doi.org/10.1515/9781400882618-009 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011817422
    316 rdf:type schema:CreativeWork
    317 https://doi.org/10.21236/ada082021 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091582442
    318 rdf:type schema:CreativeWork
     




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


    ...