Verifying Reference Counting Implementations

DOI10.1007/978-3-642-00768-2_30MaRDI QIDQ3617768zbMATH OpenOpenAlexFDO

Authors Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar

Publication date 31 March 2009

Published in Lua error in package.lua at line 80: module 'SPARQL' not found. (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00768-2_30

Mathematics Subject Classification ID

Lua error in package.lua at line 80: module 'SPARQL' not found.

Recommendations

Lua error in package.lua at line 80: module 'SPARQL' not found.

Cites work

Lua error in package.lua at line 80: module 'SPARQL' not found.

Cited in

Lua error in package.lua at line 80: module 'SPARQL' not found.

Describes a project that uses

Lua error in package.lua at line 80: module 'SPARQL' not found.

This page was built for publication: Verifying Reference Counting Implementations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617768)

<div class="DeepChat" data-config='{

   "history": [
       {"text": "Hi there. I am the MaRDI chat bot.", "role": "ai"},
       {"text": "You can ask me questions about this  or click on an example.", "role": "ai"}
   ],
   "pagename": "Verifying Reference Counting Implementations",
   "namespace": "",
   "pagetitle": Lua error in package.lua at line 80: module 'SPARQL' not found.,
   "stream": false,
   "demo": false

}'>