BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (8)
program (6)
generat (3)
interprocedur (2)
kompren (2)

Stem slicer$ (all stems)

16 papers:

MODELSMoDELS-J-2011-BlouinCBB15 #generative #modelling #named
Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
MODELSMoDELS-J-2011-BlouinCBB15 #generative #modelling #named
Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
FMFM-2012-AlpuenteBFR #named #slicing
Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.
MODELSMoDELS-2011-BlouinCBB #modelling
Modeling Model Slicers (AB, BC, BB, OB), pp. 62–76.
MODELSMoDELS-2011-BlouinCBB #modelling
Modeling Model Slicers (AB, BC, BB, OB), pp. 62–76.
LDTALDTA-2010-CruzHP #analysis #named #online #verification
GamaSlicer: an online laboratory for program verification and analysis (DCdC, PRH, JSP), p. 3.
PEPMPEPM-2009-LeuschelLOST #csp #named #slicing #specification
SOC: a slicer for CSP specifications (ML, ML, JO, JS, ST), pp. 165–168.
FASEFASE-2005-JayaramanRH #eclipse #java #named #slicing
Kaveri: Delivering the Indus Java Program Slicer to Eclipse (GJ, VPR, JH), pp. 269–272.
AdaSIGAda-2005-SwardB #optimisation #slicing
Optimizing the SPARK program slicer (RES, LCBI), pp. 17–22.
PASTEPASTE-2004-HammerS #java #slicing
An improved slicer for Java (CH, GS), pp. 17–22.
CAVCAV-2004-BrabermanGO #automaton #named #slicing
ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
AdaSIGAda-2003-SwardC #ada #named #slicing
AdaSlicer: an Ada program slicer (RES, ATC), pp. 10–16.
SCAMSCAM-2002-HarmanHMZDDO #interprocedural #slicing
An Interprocedural Amorphous Slicer for WSL (MH, LH, MM, XZ, SD, MD, LO), pp. 105–114.
WCREWCRE-2002-OuarbyaDDHF #interprocedural #slicing
A Denotational Interprocedural Program Slicer (LO, SD, MD, MH, CF), p. 181–?.
ICSMEICSM-2000-FoxHHD #named #slicing
ConSIT: A Conditioned Program Slicer (CF, MH, RMH, SD), p. 216–?.
SACSAC-2000-DanicicH #generative #named #slicing
Espresso: A Slicer Generator (SD, MH), pp. 831–839.

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.