Transforming Source Code to Mathematical Relations for Performance Evaluation

DOI10.17951/AI.2015.15.2.7-13zbMATH Open1412.68039OpenAlexW2591904053WikidataQ110512570 ScholiaQ110512570MaRDI QIDQ5377239FDOQ5377239

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

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

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)

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)