activity
20142020
most citedProceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2016★ 1 cited

Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems

Mirco Tribastone, Herbert Wiklicky

This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ET…

cs.PL2014

Program Synthesis and Linear Operator Semantics

Herbert Wiklicky

For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general set…