Algebraic semantics of concepts for a simple programming language

Bashar Ziad Abu Sa, Abdullah Mohd. Zin

Research output: Contribution to journalArticle

Abstract

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 programming using C++ templates. This paper attempts to describe an algebraic semantics of concepts. In order to define the semantics, we first describe a mini-language called CDL, which is a small subset of C++. Our approach for defining the semantics is done by using parameterized specification to describe the transformation of concepts, concept maps and template classes.

Original languageEnglish
Pages (from-to)421-430
Number of pages10
JournalAustralian Journal of Basic and Applied Sciences
Volume6
Issue number8
Publication statusPublished - Aug 2012

Fingerprint

Computer programming languages
Semantics
Specifications

Keywords

  • Algebraic Semantics
  • Concepts
  • Generic Programming
  • Template Classes

ASJC Scopus subject areas

  • General

Cite this

Algebraic semantics of concepts for a simple programming language. / Sa, Bashar Ziad Abu; Mohd. Zin, Abdullah.

In: Australian Journal of Basic and Applied Sciences, Vol. 6, No. 8, 08.2012, p. 421-430.

Research output: Contribution to journalArticle

@article{bb5653f91ecc4f00905b4876154b1fe4,
title = "Algebraic semantics of concepts for a simple programming language",
abstract = "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 programming using C++ templates. This paper attempts to describe an algebraic semantics of concepts. In order to define the semantics, we first describe a mini-language called CDL, which is a small subset of C++. Our approach for defining the semantics is done by using parameterized specification to describe the transformation of concepts, concept maps and template classes.",
keywords = "Algebraic Semantics, Concepts, Generic Programming, Template Classes",
author = "Sa, {Bashar Ziad Abu} and {Mohd. Zin}, Abdullah",
year = "2012",
month = "8",
language = "English",
volume = "6",
pages = "421--430",
journal = "Australian Journal of Basic and Applied Sciences",
issn = "1991-8178",
publisher = "INSInet Publications",
number = "8",

}

TY - JOUR

T1 - Algebraic semantics of concepts for a simple programming language

AU - Sa, Bashar Ziad Abu

AU - Mohd. Zin, Abdullah

PY - 2012/8

Y1 - 2012/8

N2 - 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 programming using C++ templates. This paper attempts to describe an algebraic semantics of concepts. In order to define the semantics, we first describe a mini-language called CDL, which is a small subset of C++. Our approach for defining the semantics is done by using parameterized specification to describe the transformation of concepts, concept maps and template classes.

AB - 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 programming using C++ templates. This paper attempts to describe an algebraic semantics of concepts. In order to define the semantics, we first describe a mini-language called CDL, which is a small subset of C++. Our approach for defining the semantics is done by using parameterized specification to describe the transformation of concepts, concept maps and template classes.

KW - Algebraic Semantics

KW - Concepts

KW - Generic Programming

KW - Template Classes

UR - http://www.scopus.com/inward/record.url?scp=84870464571&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84870464571&partnerID=8YFLogxK

M3 - Article

VL - 6

SP - 421

EP - 430

JO - Australian Journal of Basic and Applied Sciences

JF - Australian Journal of Basic and Applied Sciences

SN - 1991-8178

IS - 8

ER -