Skip to main content
Top

2018 | OriginalPaper | Chapter

Using Functional Directives to Analyze Code Complexity

Authors : Daniel Rubio Bonilla, Colin W. Glass

Published in: Tools and Methods of Program Analysis

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Functional programming languages bring a set of benefits, programmability and lack of state to name a few, that are missing on typical procedural languages. In recent years efforts have been made to introduce a set of the functional concepts into procedural languages (like C++11 or python). Research projects, such as POLCA, have develop means to introduce functional-like semantics to procedural code that describe the algorithmic behavior of the application. This allows compilers to perform aggressive code transformations that increase performance and allow portability across different architectures. In this work we describe how the static analysis of functional semantics directives can be used to determine the algorithmic complexity.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Schubert, L., Kuper, J., Gracia, J.: A programming model for large scale, strongly heterogeneous infrastructures. Adv. Parallel Comput. 25, 43–52 (2013) Schubert, L., Kuper, J., Gracia, J.: A programming model for large scale, strongly heterogeneous infrastructures. Adv. Parallel Comput. 25, 43–52 (2013)
2.
go back to reference Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison Wesley (2006). ISBN 978-0321486813 Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison Wesley (2006). ISBN 978-0321486813
3.
go back to reference Niethammer, C., Glass, C.W., Gracia, J.: Avoiding serialization effects in data/dependency aware task parallel algorithms for spatial decomposition. In: ISPA (2012) Niethammer, C., Glass, C.W., Gracia, J.: Avoiding serialization effects in data/dependency aware task parallel algorithms for spatial decomposition. In: ISPA (2012)
4.
go back to reference Kuper, J., Schubert, L., et al.: Program transformations in the POLCA project. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2016) Kuper, J., Schubert, L., et al.: Program transformations in the POLCA project. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2016)
5.
go back to reference Rubio Bonilla, D., Glass, C.W., et al.: Introducing and exploiting hierarchical structural information. In: IEEE Cluster Computing (2015) Rubio Bonilla, D., Glass, C.W., et al.: Introducing and exploiting hierarchical structural information. In: IEEE Cluster Computing (2015)
6.
go back to reference Kuper, J., et al.: POLCA Mathematical Foundation. Deliverable D2.2 (2015) Kuper, J., et al.: POLCA Mathematical Foundation. Deliverable D2.2 (2015)
7.
go back to reference Rubio Bonilla, D., et al.: POLCA Programming Model 2.0. Deliverable D3.3 (2016) Rubio Bonilla, D., et al.: POLCA Programming Model 2.0. Deliverable D3.3 (2016)
Metadata
Title
Using Functional Directives to Analyze Code Complexity
Authors
Daniel Rubio Bonilla
Colin W. Glass
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-71734-0_14

Premium Partner