An Algebraic Semantics Model for Templates Constrained with a Single Associated Type Concept

Abu Sa, Bashar; Mohd Zin, Abdullah
May 2014
Australian Journal of Basic & Applied Sciences;May2014, Vol. 8 Issue 7, p7
Academic Journal
Constraining templates with concepts is an efficient approach or providing early type checking of generic parameters in C++. The formal semantics of the concept constrained templates is important for a more accurate definition and understanding. In this paper we present an algebraic semantics model for concepts with associated types which constraints the template class. The model defines systematic transformation and interpretation rules of the constructs. The rules are used to transform the concept, concept map and constrained into parameterized specifications and interpret the specifications using algebras.


Related Articles

  • Algebraic Semantics of Concepts for A Simple Programming Language. Ziad Abu Sa, Bashar; Mohd Zin, Abdullah // Australian Journal of Basic & Applied Sciences;Aug2012, Vol. 6 Issue 8, p421 

    Studying the semantics of programming languages is very important. New constructs are regularly added to programming languages that need to be described by using a formal semantics method. Concept is a new constructs that is suggested to C++ as a solution to some problems that appear in generic...

  • Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems. Zhengkang Zuo; Jinyun Xue; Changjing Wang // Journal of Networks;May2013, Vol. 8 Issue 5, p1050 

    Generic programming has emerged as a paradigm for the development of highly reusable and safe software libraries. Generic constraint mechanism can detect and verify the validity of generic parameter instantiated, thereby guarantee dependability and safety of generic programming. Kleene algorithm...

  • Focused Crawling Based Upon Tf-Idf Semantics and Hub Score Learning. Kumar, Mukesh; Vig, Renu // Journal of Emerging Technologies in Web Intelligence;Feb2013, Vol. 5 Issue 1, p70 

    A focused crawler traverses the Web to collect documents related to a particular topic, and can be used to build topic specific collection of documents for use in digital libraries and domain specific search. General crawlers make use of breath first search method to traverse the Web for as much...

  • The Study on Digital Library based on Semantic Web. Li Qiang // International Journal of Advancements in Computing Technology;Dec2012, Vol. 4 Issue 22, p671 

    This paper first introduces digital library information retrieval and semantic web related concepts and technologies, digital library information retrieval analysis the problems faced. In the original digital library information retrieval model, and on the basis of the construction of the...

  • Dynamic compilation of C++ template code. Cole, Martin J.; Parker, Steven G. // Scientific Programming;2003, Vol. 11 Issue 4, p321 

    Generic programming using the C++ template facility has been a successful method for creating high-performance, yet general algorithms for scientific computing and visualization. However, adding template code tends to require more template code in surrounding structures and algorithms to...

  • Structured Maps: modeling explicit semantics over a universe of information. Delcambre, Lois M. L.; Maier, David; Reddy, Radhika; Anderson, Lougie // International Journal on Digital Libraries;1997, Vol. 1 Issue 1, p20 

    The overwhelming accessibility to data, on a global scale, does not necessarily translate to widespread utility of data. We often find that we are drowning in data, with few tools to help manage relevant data for our various activities. This paper presents Structured Maps, an additional modeling...

  • Performance preorder and competitive equivalence. Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco // Acta Informatica;1997, Vol. 34 Issue 11, p805 

    Introduces a preorder based on execution speed, called performance preorder, for a simple process algebra with durational actions. Theory of processes based on durational actions; Operational semantics; Performance preorder and the induced equivalence.

  • Locality based semantics for process algebras. Corradini, Flavio; De Nicola, Rocco // Acta Informatica;1997, Vol. 34 Issue 4, p291 

    .A general framework proposed by Degano, De Nicola and Montanari has been fruitful to define in a natural way non interleaving semantics for process description languages based on causality. The framework relies on a decomposition function used to obtain the set of its sequential processes from...

  • Static Context Model and Metrics for Assessing the Completeness and Understandability of Static Context Model. Thyagaraju, G. S.; Kulkarni, U. P. // IUP Journal of Computer Sciences;Jul2012, Vol. 6 Issue 3, p35 

    Though the number of context-aware applications is increasing day by day along with the users, there is no generic programming paradigm for context-aware applications. This situation could be remedied by designing and developing an appropriate context modeling and programming paradigm for...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics