Transforming Source Code to Mathematical Relations for Performance Evaluation

DOI10.17951/AI.2015.15.2.7-13MaRDI QIDQ5377239zbMATH OpenOpenAlexWikidataFDO

Authors Habib Izadkhah

Publication date 24 May 2019

Published in Annales Universitatis Mariae Curie-Sklodowska, sectio AI – Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.17951/ai.2015.15.2.7-13

zbMATH Keywords

discrete-time Markov chainsspeed-updistributed software systemssource code

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Symbolic computation via program transformation
• Code optimization techniques in source transformations for interpreted languages
• Analyzing mathematical programs using MProbe
• Parallel Processing and Applied Mathematics
• Translation of algebraic programs into executable codes
• scientific article; zbMATH DE number 3883499
• scientific article; zbMATH DE number 3898204

Cited in

(1)

• Distributed applications re-engineering metrics

This page was built for publication: Transforming Source Code to Mathematical Relations for Performance Evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5377239)