Skip to main content

2018 | OriginalPaper | Buchkapitel

Using Functional Directives to Analyze Code Complexity

verfasst von : Daniel Rubio Bonilla, Colin W. Glass

Erschienen in: Tools and Methods of Program Analysis

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Kuper, J., et al.: POLCA Mathematical Foundation. Deliverable D2.2 (2015) Kuper, J., et al.: POLCA Mathematical Foundation. Deliverable D2.2 (2015)
7.
Zurück zum Zitat 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)
Metadaten
Titel
Using Functional Directives to Analyze Code Complexity
verfasst von
Daniel Rubio Bonilla
Colin W. Glass
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-71734-0_14