Titel

Merkliste
1 Ergebnisse

SPPL: probabilistic programming with fast exact symbolic in..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Saad, Feras A. ; Rinard, Martin C. ; Mansinghka, Vikash K. - p. 804-819 , 2021

Link: https://dl.acm.org/doi/10.1145/3453483.3454078

RT 
T1 <cTitle>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</cTitle>: T1 <Title>SPPL: probabilistic programming with fast exact symbolic inference</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3454078&Exemplar=1&LAN=DE
				
A1 Saad, Feras A.
A1 Rinard, Martin C.
A1 Mansinghka, Vikash K.
PB ACM
YR 2021
K1 probabilistic programming
K1 symbolic execution
K1 Software and its engineering
K1 Software notations and tools
K1 Formal language definitions
K1 Mathematics of computing
K1 Probability and statistics
K1 Probabilistic representations
K1 Probabilistic inference problems
K1 Computing methodologies
K1 Machine learning
K1 Multivariate statistics
K1 Theory of computation
K1 Models of computation
K1 Probabilistic computation
K1 Semantics and reasoning
K1 Program semantics
K1 Denotational semantics
K1 Context specific languages
K1 Domain specific languages
K1 Bayesian computation
SP 804
OP 819
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3453483.3454078
DO https://dl.acm.org/doi/10.1145/3453483.3454078
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)