Sökning: "Operationell semantik"

Hittade 1 avhandling innehållade orden Operationell semantik.

1. 1. Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages

   Författare :Daniel Lundén; David Broman; Lawrence Murray; Joakim Jaldén; Sam Staton; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Probabilistic programming languages; Compilers; Static program analysis; Monte Carlo inference; Operational semantics; Probabilistiska programmeringsspråk; Kompilatorer; Statisk programanalys; Monte Carlo-inferens; Operationell semantik; Informations- och kommunikationsteknik; Information and Communication Technology;

   Sammanfattning : Probabilistic programming languages (PPLs) allow users to express statistical inference problems that the PPL implementation then, ideally, solves automatically. In particular, PPL users can focus on encoding their inference problems, and need not concern themselves with the intricacies of inference. LÄS MER