Sign in

Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models.

Alasdair ArmstrongBrian CampbellBen SimnerChristopher PultePeter Sewell
Published in: CAV (1) (2021)
Keyphrases
  • probabilistic model
  • statistical models
  • logic programming
  • semantic web
  • databases
  • prior knowledge
  • scale space
  • parameter estimation