BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
machin (4)
circuit (2)
symbol (2)
tool (2)
generat (2)

Stem stg$ (all stems)

9 papers:

RTARTA-2012-CreusGG #unification
One-context Unification with STG-Compressed Terms is in NP (CC, AG, GG), pp. 149–164.
FoSSaCSFoSSaCS-2005-SchaeferV #component #composition #refinement
Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.
DATEDATE-2003-SokolovBY #optimisation
STG Optimisation in the Direct Mapping of Asynchronous Circuits (DS, AVB, AY), pp. 10932–10939.
Formally deriving an STG machine (AdlE, RP), pp. 102–112.
TACASTACAS-2002-ClarkeJRZ #generative #named #testing
STG: A Symbolic Test Generation Tool (DC, TJ, VR, EZ), pp. 470–475.
IFLIFL-2001-EncinaP #correctness #proving
Proving the Correctness of the STG Machine (AdlE, RP), pp. 88–104.
FSEESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification
STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.
DACDAC-1997-SemenovYPPC #independence #synthesis
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment (ALS, AY, EP, MAP, JC), pp. 16–21.
The Brisk Machine: A Simplified STG Machine (IH, ES), pp. 20–38.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.