A closer look at constraints as processes

Every major paradigm of programming is built around a few key design concepts and principles. In order to study and analyse these concepts, it is essential to embody these conceptual mechanisms in a minimal core calculus. Such a core calculus helps in abstracting away from the syntax of particular p...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Information processing letters Jg. 98; H. 5; S. 206 - 210
Hauptverfasser: Raja, N., Shyamasundar, R.K.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Amsterdam Elsevier B.V 15.06.2006
Elsevier Science
Elsevier Sequoia S.A
Schlagworte:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Calculus
Compositional encoding
Computer programming
Computer science; control theory; systems
Concurrency
Exact sciences and technology
Formal semantics
Mathematical models
Paradigms
Program correctness
Programming calculi
Programming theory
Studies
Theoretical computing
Program correctness
Programming calculi
Compositional encoding
Concurrency
Formal semantics
Computer theory
Programming
ISSN:0020-0190, 1872-6119
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Every major paradigm of programming is built around a few key design concepts and principles. In order to study and analyse these concepts, it is essential to embody these conceptual mechanisms in a minimal core calculus. Such a core calculus helps in abstracting away from the syntax of particular programming languages which belong to that paradigm, thereby making it possible to analyse the paradigm in a syntax independent manner. A well-known instance of such a scenario is provided by the inter relationship between the paradigm of functional programming and the n-calculus. A major enterprise in the conceptual analysis of various paradigms, is the analysis of the expressive power of seemingly disparate paradigms of programming, in order to discover underlying similarities between them, and to carry over successful analysis techniques across paradigms. Once again, the availability of minimal core calculi helps in achieving this step, by providing a framework for the development of a semantic foundation for one paradigm in terms of another.
Bibliographie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:0020-0190
1872-6119
DOI:10.1016/j.ipl.2006.01.010