A high-level modular definition of the semantics of C\(_{\sharp}\)

From MaRDI portal
Publication:555781

DOI10.1016/j.tcs.2004.11.008zbMath1080.68006OpenAlexW2006674970MaRDI QIDQ555781

Nicu G. Fruja, Robert F. Stärk, Egon Börger, Vincenzo Gervasi

Publication date: 10 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.11.008



Related Items


Uses Software


Cites Work