Academic Journal
Προβολή σε EDS

NEW APPROACH TO CATEGORICAL SEMANTICS FOR PROCEDURAL LANGUAGES.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: NEW APPROACH TO CATEGORICAL SEMANTICS FOR PROCEDURAL LANGUAGES.
Συγγραφείς: STEINGARTNER, William1 william.steingartner@tuke.sk, NOVITZKÁ, Valerie1 valerie.novitzka@tuke.sk, BAČÍKOVÁ, Michaela1 michaela.bacikova@tuke.sk, KOREČKO, Štefan1 stefan.korecko@tuke.sk
Πηγή: Computing & Informatics. 2017, Vol. 36 Issue 6, p1385-1414. 30p.
Θεματικοί όροι: PL/SQL (Computer program language), Semantics, Software engineers, Programming languages, Mathematical analysis
Περίληψη: The semantics of programs written in some languages is concerned with the interpretation in various types of models. The purpose of structural operational semantics is to describe how a computation is performed. This method is one of the most popular semantic methods in the community of software engineers. It describes program behavior in the form of state changes caused by the execution of elementary steps. This feature predestinates the usage of the structural operational semantics for implementation of programming languages and also for verification purposes. Another semantic method, denotational semantics, defines changes of states by functions. In this paper a new approach to semantics is presented: behavior of programs, i.e., changes of states are modeled in the category of states. The morphisms category expresses elementary execution steps and the program execution is an oriented path in the category, i.e. composition of morphisms. Our categorical model is constructed for a simple procedural language that contains all basic van Dijkstra's constructs. We enriched our approach also with procedures forming a collection of categories interconnected by functors. This method enables the repeated call of procedures, nesting of procedure calls and recursive calls. Moreover, it allows to illustrate and accentuate dynamics of the program execution. The simplicity of this method does not exclude its mathematical exactness. [ABSTRACT FROM AUTHOR]
Βάση Δεδομένων: Supplemental Index
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://resolver.ebsco.com/c/fiv2js/result?sid=EBSCO:edo&genre=article&issn=13359150&ISBN=&volume=36&issue=6&date=20171101&spage=1385&pages=1385-1414&title=Computing & Informatics&atitle=NEW%20APPROACH%20TO%20CATEGORICAL%20SEMANTICS%20FOR%20PROCEDURAL%20LANGUAGES.&aulast=STEINGARTNER%2C%20William&id=DOI:10.4149/cai_2017_6_1385
    Name: Full Text Finder (for New FTF UI) (ns324271)
    Category: fullText
    Text: Full Text Finder
    MouseOverText: Full Text Finder
Header DbId: edo
DbLabel: Supplemental Index
An: 128113535
RelevancyScore: 861
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 861.366027832031
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: NEW APPROACH TO CATEGORICAL SEMANTICS FOR PROCEDURAL LANGUAGES.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22STEINGARTNER%2C+William%22">STEINGARTNER, William</searchLink><relatesTo>1</relatesTo><i> william.steingartner@tuke.sk</i><br /><searchLink fieldCode="AR" term="%22NOVITZKÁ%2C+Valerie%22">NOVITZKÁ, Valerie</searchLink><relatesTo>1</relatesTo><i> valerie.novitzka@tuke.sk</i><br /><searchLink fieldCode="AR" term="%22BAČÍKOVÁ%2C+Michaela%22">BAČÍKOVÁ, Michaela</searchLink><relatesTo>1</relatesTo><i> michaela.bacikova@tuke.sk</i><br /><searchLink fieldCode="AR" term="%22KOREČKO%2C+Štefan%22">KOREČKO, Štefan</searchLink><relatesTo>1</relatesTo><i> stefan.korecko@tuke.sk</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Computing+%26+Informatics%22">Computing & Informatics</searchLink>. 2017, Vol. 36 Issue 6, p1385-1414. 30p.
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22PL%2FSQL+%28Computer+program+language%29%22">PL/SQL (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Semantics%22">Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineers%22">Software engineers</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+analysis%22">Mathematical analysis</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The semantics of programs written in some languages is concerned with the interpretation in various types of models. The purpose of structural operational semantics is to describe how a computation is performed. This method is one of the most popular semantic methods in the community of software engineers. It describes program behavior in the form of state changes caused by the execution of elementary steps. This feature predestinates the usage of the structural operational semantics for implementation of programming languages and also for verification purposes. Another semantic method, denotational semantics, defines changes of states by functions. In this paper a new approach to semantics is presented: behavior of programs, i.e., changes of states are modeled in the category of states. The morphisms category expresses elementary execution steps and the program execution is an oriented path in the category, i.e. composition of morphisms. Our categorical model is constructed for a simple procedural language that contains all basic van Dijkstra's constructs. We enriched our approach also with procedures forming a collection of categories interconnected by functors. This method enables the repeated call of procedures, nesting of procedure calls and recursive calls. Moreover, it allows to illustrate and accentuate dynamics of the program execution. The simplicity of this method does not exclude its mathematical exactness. [ABSTRACT FROM AUTHOR]
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edo&AN=128113535
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.4149/cai_2017_6_1385
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 30
        StartPage: 1385
    Subjects:
      – SubjectFull: PL/SQL (Computer program language)
        Type: general
      – SubjectFull: Semantics
        Type: general
      – SubjectFull: Software engineers
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Mathematical analysis
        Type: general
    Titles:
      – TitleFull: NEW APPROACH TO CATEGORICAL SEMANTICS FOR PROCEDURAL LANGUAGES.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: STEINGARTNER, William
      – PersonEntity:
          Name:
            NameFull: NOVITZKÁ, Valerie
      – PersonEntity:
          Name:
            NameFull: BAČÍKOVÁ, Michaela
      – PersonEntity:
          Name:
            NameFull: KOREČKO, Štefan
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 11
              Text: 2017
              Type: published
              Y: 2017
          Identifiers:
            – Type: issn-print
              Value: 13359150
          Numbering:
            – Type: volume
              Value: 36
            – Type: issue
              Value: 6
          Titles:
            – TitleFull: Computing & Informatics
              Type: main
ResultId 1