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:
constraint (3)
herbrand (2)
simul (2)
level (2)
system (2)

Stem hal$ (all stems)

12 papers:

LOPSTRPDCL-2004-DemoenBHMOS #constraints
Herbrand Constraints in HAL (BD, MJGdlB, WH, KM, DO, PJS), pp. 499–538.
FLOPSFLOPS-2002-BandaDMS #tutorial
To the Gates of HAL: A HAL Tutorial (MJGdlB, BD, KM, PJS), pp. 47–66.
ICLPICLP-2002-SchrijversBD #analysis
Trailing Analysis for HAL (TS, MJGdlB, BD), pp. 38–53.
ICLPICLP-2001-BandaJMNSH #constraints #theorem proving
Building Constraint Solvers with HAL (MJGdlB, DJ, KM, NN, PJS, CH), pp. 90–104.
ICLPCL-2000-BandaSHM #model checking
Model Checking in HAL (MJGdlB, PJS, WH, KM), pp. 1270–1284.
ICLPICLP-1999-DemoenBHMS #constraints #theorem proving
Herbrand Constraint Solving in HAL (BD, MJGdlB, WH, KM, PJS), pp. 260–274.
CAVCAV-1998-FerrariGMPR #mobile #process #verification
Verifying Mobile Processes in the HAL Environment (GLF, SG, UM, MP, GR), pp. 511–515.
Reducing Match Time Variance in Production Systems with HAL (PyL, AMKC), pp. 309–316.
DACDAC-1986-PaulinKG #approach #automation #multi #named #synthesis
HAL: a multi-paradigm approach to automatic data path synthesis (PGP, JPK, EFG), pp. 263–270.
DACDAC-1986-TakasakiSNIK #hardware #logic #simulation
HAL II: a mixed level hardware logic simulation system (ST, TS, NN, HI, NK), pp. 581–587.
DACDAC-1983-SasakiKOT #hardware #logic #named
HAL: A block level HArdware Logic simulator (TS, NK, KO, KT), pp. 150–156.
PLDISCC-1982-PrattM #experience #semantics
Experience with the Normal Semantic Definition of HAL/S (TWP, GDM), pp. 327–333.

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.