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:
prover (2)
larch (1)
next (1)
base (1)
rule (1)

Stem dlp$ (all stems)

3 papers:

HPCAHPCA-2001-CorbalEV #generative
DLP + TLP Processors for the Next Generation of Media Workloads (JC, RE, MV), pp. 219–228.
CADECADE-2000-Patel-Schneider
System Description: DLP (PFPS), pp. 297–301.
RTARTA-1996-VandevoordeK #distributed #empirical #proving #rule-based
Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover (MTV, DK), pp. 420–423.
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.