Skip to search formSkip to main contentSkip to account menu

Source-code annotation

Known as: Source code annotation 
Source-code annotation is a feature of debugging tools such as GTKWave that allows values from a simulation run to be viewable directly in the source… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
DebuggingSimulation

Broader (1)

Gtk#

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Assisting feature specification for source code annotation
2015
2015
Simple Contracts for C++
We present a minimal system for expressing interface requirements as contracts. They provide basic mitigation measures for early… 
2014
2014
Physical Type Tracking through Minimal Source-Code Annotation
: One of many common artefacts of complex software systems that often needs to be tracked through the entirety of the software… 
2010
2010
Plane Integration for Cloud Services
 Control Plane Integration for Cloud Services Sujoy Basu, Sven Graupner, Jim Pruyne, Sharad Singhal HP Laboratories HPL-2010-122… 
2008
2008
Approximate verification in an open source world
This article details advances in a lightweight technology we have evolved to handle post hoc verification in the very large… 
2007
2007
Middleware Support for Monitoring and TestingMultimedia
| Given a particular multimedia service, the problem is to show that the implemented service is behaving as expected. Middleware…