<--- Back to Details
First PageDocument Content
Type theory / Programming paradigms / Constraint programming / Logic programming / Data types / Prolog / Inference / Type system / Type inference / Software engineering / Computing / Computer programming
Date: 2014-07-17 17:29:46
Type theory
Programming paradigms
Constraint programming
Logic programming
Data types
Prolog
Inference
Type system
Type inference
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: galois.com

Download Document from Source Website

File Size: 162,66 KB

Share Document on Facebook

Similar Documents

Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2

DocID: 1xW1K - View Document

Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov

DocID: 1xW0p - View Document

Software engineering / Formal methods / Mathematical logic / Type theory / Theoretical computer science / Type systems / Edsger W. Dijkstra / Predicate transformer semantics / Extended static checking / ESC/Java / Type inference / HindleyMilner type system

1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

DocID: 1xW0d - View Document

Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse

DocID: 1xVrt - View Document

Observational astronomy / Astronomy / Parallel computing / Bayesian network / Sloan Digital Sky Survey / Computing / Bayesian inference / Astronomical survey / Gravitational lens / Computer cluster

Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ ,

DocID: 1xVn9 - View Document