Search Results - "Procedures, functions and subroutines"

Features – Procedures, functions, and subroutines. General Terms

Authors: Emmanuel Bruno Jacques Le Maitre Elisabeth Murisasco et al.

Contributors: Emmanuel Bruno Jacques Le Maitre Elisabeth Murisasco et al.

Source: http://lemaitre.univ-tln.fr/doceng2003.pdf.

Subject Terms: Algorithms, Standardization, Languages. Keywords XML, XQuery, XML Transformations

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.5986

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.5986
http://lemaitre.univ-tln.fr/doceng2003.pdf

Malleability, obliviousness and aspects for broadcast service attachment

Authors: Harrison, William

Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 41 - 47

Subject Terms: service-oriented, aspect-oriented, programming language, middleware, concurrency, Data processing Computer science, Software Architectures (NEW), Data abstraction (NEW), Domain-specific architectures (NEW), Information hiding (NEW), Languages (e.g., description, interconnection, definition) (NEW), Patterns (e.g., client/server, pipeline, blackboard) (NEW), Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion

File Description: application/pdf

Availability: http://opus.kobv.de/ubp/volltexte/2010/4138/

AspectKE*: Security aspects with program analysis for distributed systems

Authors: Fan, Yang Masuhara, Hidehiko Aotani, Tomoyuki et al.

Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 27 - 31

Subject Terms: aspect oriented programming, program analysis, security policies, distributed systems, tuple spaces, Data processing Computer science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion, Security and Protection (K.6.5), Access controls, Authentication, Cryptographic controls, Information flow controls, Invasive software (e.g., viruses, worms, Trojan horses), Security kernels, Verification, Semantics of Programming Languages (D.3.1), Algebraic approaches to semantics, Denotational semantics, Operational semantics, Partial evaluation (NEW), Process models (NEW), Program analysis (NEW)

File Description: application/pdf

Availability: http://opus.kobv.de/ubp/volltexte/2010/4136/

How Often do Experts Make Mistakes?

Authors: Palix, Nicolas Lawall, Julia L. Thomas, Gaël et al.

Source: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) / Bram Adams, Michael Haupt, Daniel Lohmann (Hrsg.). - Potsdam : Universitätsverlag Potsdam, 2010. - ISBN 978-3-86956-043-4. - S. 9 - 17

Subject Terms: History of pattern occurrences, bug tracking, Herodotos, Coccinelle, Data processing Computer science, Metrics (D.4.8), Complexity measures, Performance measures, Process metrics (NEW), Product metrics (NEW), Software science, Language Constructs and Features (E.2), Abstract data types, Classes and objects (NEW), Concurrent programming structures, Constraints (NEW), Control structures, Coroutines, Data types and structures, Dynamic storage management, Frameworks (NEW), Inheritance (NEW), Input/output, Modules, packages, Patterns (NEW), Polymorphism (NEW), Procedures, functions, and subroutines, Recursion

File Description: application/pdf

Availability: http://opus.kobv.de/ubp/volltexte/2010/4132/

Strukturierte Parallelität durch Komposition - Design und Implementierung eines Frameworks zur Unterstützung von Skelettkomponierbarkeit

Authors: Dieterle, Mischa

Subject Terms: Constraints (NEW), Dynamic storage management, Abstract data types, Concurrent programming structures, Graphs and networks (REVISED), Parallel programming, DATA STRUCTURES, Patterns (NEW), Concurrent Programming, functional programming, Polymorphism (NEW), Lists, stacks, and queues (REVISED), Data types and structures, Input/output, iteration, Distributed data structures (NEW), Records (NEW), Trees, Verteilter Speicher , Modularität, Applicative (Functional) Programming, Funktionale Programmierung , Parallelverarbeitung, HASKELL, Arrays, modularity, Control structures, Tables, parallel programming, Procedures, functions, and subroutines, Distributed programming, Algorithmische Skelette, Inheritance (NEW), Komposition, Classes and objects (NEW), algorithmic skeletons, Coroutines, Informatik, Skelettkomposition, HASKELL ,distributed memory, composition, Data processing, Computer science, Language Constructs and Features (E.2), Recursion, Frameworks (NEW), Iteration, Modules, packages

Intrinsic procedures and modules

Authors: Michael Metcalf John Reid Malcolm Cohen et al.

Source: Modern Fortran Explained ISBN: 0198876572

The elphbolt ab initio solver for the coupled electron-phonon Boltzmann transport equations.

Authors: Protik, Nakib H. Li, Chunhua Pruneda, Miguel et al.

Source: NPJ Computational Materials; 3/31/2022, Vol. 8 Issue 1, p1-9, 9p

Subject Terms: BOLTZMANN'S equation, ELECTRON transport, THERMODYNAMICS, DENSITY functional theory, CRYSTAL symmetry, TRANSPORT theory, NEUTRON transport theory

Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems.

Authors: JENSEN, KURT KRISTENSEN, LARS M.

Source: Communications of the ACM; Jun2015, Vol. 58 Issue 6, p61-70, 10p, 1 Color Photograph, 7 Diagrams, 2 Charts

Subject Terms: PETRI nets, MODELING languages (Computer science), PROGRAMMING languages, COMPUTER simulation, STATE-space methods, COMPUTER multitasking

Intrinsic procedures and modules

Authors: Metcalf, Michael Reid, John Cohen, Malcolm

Source: Modern Fortran Explained ; page 187-224 ; ISBN 0198811888 9780198811893 9780191850028

Availability: https://doi.org/10.1093/oso/9780198811893.003.0009
https://academic.oup.com/book/chapter-pdf/50988991/oso-9780198811893-chapter-9.pdf

Newtonian Program Analysis via Tensor Product.

Authors: REPS, THOMAS TURETSKY, EMMA PRABHU, PRATHMESH

Source: ACM Transactions on Programming Languages & Systems; 2017, Vol. 39 Issue 2, p9-9:72, 72p

Subject Terms: TENSOR products, NUMERICAL analysis, NEWTON-Raphson method, DATA flow computing, FIXED point theory, SEMIRINGS (Mathematics), MATHEMATICAL notation

The Design and Formalization of Mezzo, a Permission-Based Programming Language.

Authors: BALABONSKI, THIBAUT POTTIER, FRANÇOIS PROTZENKO, JONATHAN

Source: ACM Transactions on Programming Languages & Systems; Aug2016, Vol. 38 Issue 4, p1-94, 94p

Subject Terms: PROGRAMMING languages, SET theory, DYNAMIC testing, MATHEMATICAL functions, CALCULUS

From APIs to Languages: Generalising Method Names.

Authors: Homer, Michael Jones, Timothy Noble, James

Source: ACM / SIGPLAN Notices; Feb2016, Vol. 51 Issue 2, p1-12, 12p

The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems.

Authors: Cimini, Matteo Siek, Jeremy G.

Source: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p443-455, 13p

Vector and Superscalar Processors.

Authors: Zomaya, Albert Y. Lastovetsky, Alexey

Source: Parallel Computing on Heterogeneous Networks; 2003, p15-63, 49p

CpprofJ: aspect-capable call path profiling of multi-threaded Java applications.

Authors: Hall, R.J.

Source: Proceedings 17th IEEE International Conference on Automated Software Engineering; 2002, p107-116, 10p

Quatrain: Accelerating Data Aggregation between Multiple Layers.

Authors: Ren, Jinglei Wu, Yongwei Zhu, Meiqi et al.

Source: IEEE Transactions on Computers; May2014, Vol. 63 Issue 5, p1207-1219, 13p

Subject Terms: MATHEMATICAL optimization, DATA analysis, DISTRIBUTED computing, TELECOMMUNICATION, CODE reuse, ERROR analysis in mathematics

Specialization Slicing.

Authors: MIN AUNG HORWITZ, SUSAN JOINER, RICH et al.

Source: ACM Transactions on Programming Languages & Systems; Apr2014, Vol. 36 Issue 2, p5-5:67, 67p

Subject Terms: MACHINE theory, ALGORITHMS, PROGRAMMING languages, ELECTRONIC data processing, COMPUTER programming

Design Patterns for Multiphysics Modeling in Fortran 2003 and C++.

Authors: ROUSON, DAMIAN W. I. ADALSTEINSSON, HELGI JIM XIA

Source: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 1, p3-3:30, 30p, 5 Diagrams, 2 Charts

Subject Terms: COMPUTER software, OBJECT-oriented programming, DIFFERENTIAL equations, FORTRAN, LORENZ equations, COMPUTER memory management

Issues in the testing of object-oriented software.

Authors: Berard, E.V.

Source: Proceedings of ELECTRO '94; 1994, p211-219, 9p

Recovering the architectural design for software comprehension.

Authors: Canfora, G. De Lucia, A. Di Lucca, G.A. et al.

Source: Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94; 1994, p30-38, 9p