Reconstruction of Partial Orders and List Representation as Random Structures
Work
Year: 2009
Type: article
Abstract: MOQA is a new programming language with the unique property that the average running time of its programs can be (semi-)automatically deduced in a modular way by a static analysis of the program code.... more
Authors Thierry Vallée, Joseph Manning
Institution University College Cork
Cites: 22
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold