Concurrent constraint programming: towards probabilistic abstract interpretation
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
An abstract Monte-Carlo method for the analysis of probabilistic programs
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Measuring the Precision of Abstract Interpretations
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Testing randomized software by means of statistical hypothesis tests
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
Electronic Notes in Theoretical Computer Science (ENTCS)
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
A distributed and probabilistic concurrent constraint programming language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Abstract machines of systems biology
Transactions on Computational Systems Biology III
Probabilistic abstract interpretation
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Hi-index | 0.00 |