<mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mrow><mml:mi mathvariant="script">MOQA</mml:mi></mml:mrow></mml:math>; unlocking the potential of compositional static average-case analysis-Reference-Cited by-同舟云学术

MOQA; unlocking the potential of compositional static average-case analysis

Published:2010-01 Issue:1 Volume:79 Page:61-83
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Schellekens M.P.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference58 articles.

1. Data Structures and Algorithms;Aho,1987

2. Logical reversibility of computation;Bennet;IBM J. Res. Develop.,1973

3. A new approach for modular average-case timing of real-time Java programs;Boubekeur;WSEAS Trans. Comput.,2006

4. M. Boubekeur, D. Hickey, J. McEnery, M. Schellekens, Towards modular average-case timing in real-time languages: an application to real-time Java, in: Proceedings of the 6th WSEAS International Conference on Applied Computer Science (ACS’06), Tenerife, December, 2006.

5. M. Boubekeur, D. Hickey, M. Schellekens, Evaluation of MOQA average-case timing results on a real time platform, in: Proc. of the conference Information of MFCSIT’06, Cork, August 2006.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Entropy conservation for comparison-based algorithms;Topology and its Applications;2021-11

2. Energy Transparency for Deeply Embedded Programs;ACM Transactions on Architecture and Code Optimization;2017-03-31

3. On reversible Turing machines and their function universality;Acta Informatica;2016-01-27

4. A Classical Propositional Logic for Reasoning About Reversible Logic Circuits;Logic, Language, Information, and Computation;2016

5. Fundamentals of reversible flowchart languages;Theoretical Computer Science;2016-01