Zobraziť v EDS

Mathematical bases of semantic programming

Uložené v:
Podrobná bibliografia
Názov: Mathematical bases of semantic programming
Autori: Goncharov, S. S., Sviridenko, D. I.
Informácie o vydavateľovi: Consultants Bureau, New York
Predmety: \(\Sigma \)-programming, canonical expansion, Data structures, universal machine, semantic programming, determinability, fixed points, functional programming, programming methodology, logical programming, Abstract data types, algebraic specification, abstract data types
Popis: An attempt in the development of a theory of computation that combines ideas of logical and functional programming with abstract data types is made [see also the authors, Math. Res. 31, 169-179 (1986; Zbl 0621.68021)]. Theorems (on determinability, on fixed points, on canonical expansion, and on the existence of a universal machine) supporting the feasibility of examining a class of logical formulas as a programming language are stated.
Druh dokumentu: Article
Popis súboru: application/xml
Prístupová URL adresa: https://zbmath.org/4049008
Prístupové číslo: edsair.c2b0b933574d..b4a7ddaa1e24e8bc8c1d903abb1bda80
Databáza: OpenAIRE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://explore.openaire.eu/search/publication?articleId=c2b0b933574d%3A%3Ab4a7ddaa1e24e8bc8c1d903abb1bda80
    Name: EDS - OpenAIRE (s4221598)
    Category: fullText
    Text: View record at OpenAIRE
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Goncharov%20SS
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsair
DbLabel: OpenAIRE
An: edsair.c2b0b933574d..b4a7ddaa1e24e8bc8c1d903abb1bda80
RelevancyScore: 685
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 685
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Mathematical bases of semantic programming
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Goncharov%2C+S%2E+S%2E%22">Goncharov, S. S.</searchLink><br /><searchLink fieldCode="AR" term="%22Sviridenko%2C+D%2E+I%2E%22">Sviridenko, D. I.</searchLink>
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Consultants Bureau, New York
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22%5C%28%5CSigma+%5C%29-programming%22">\(\Sigma \)-programming</searchLink><br /><searchLink fieldCode="DE" term="%22canonical+expansion%22">canonical expansion</searchLink><br /><searchLink fieldCode="DE" term="%22Data+structures%22">Data structures</searchLink><br /><searchLink fieldCode="DE" term="%22universal+machine%22">universal machine</searchLink><br /><searchLink fieldCode="DE" term="%22semantic+programming%22">semantic programming</searchLink><br /><searchLink fieldCode="DE" term="%22determinability%22">determinability</searchLink><br /><searchLink fieldCode="DE" term="%22fixed+points%22">fixed points</searchLink><br /><searchLink fieldCode="DE" term="%22functional+programming%22">functional programming</searchLink><br /><searchLink fieldCode="DE" term="%22programming+methodology%22">programming methodology</searchLink><br /><searchLink fieldCode="DE" term="%22logical+programming%22">logical programming</searchLink><br /><searchLink fieldCode="DE" term="%22Abstract+data+types%22">Abstract data types</searchLink><br /><searchLink fieldCode="DE" term="%22algebraic+specification%22">algebraic specification</searchLink><br /><searchLink fieldCode="DE" term="%22abstract+data+types%22">abstract data types</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: An attempt in the development of a theory of computation that combines ideas of logical and functional programming with abstract data types is made [see also the authors, Math. Res. 31, 169-179 (1986; Zbl 0621.68021)]. Theorems (on determinability, on fixed points, on canonical expansion, and on the existence of a universal machine) supporting the feasibility of examining a class of logical formulas as a programming language are stated.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Article
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/xml
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://zbmath.org/4049008" linkWindow="_blank">https://zbmath.org/4049008</link>
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsair.c2b0b933574d..b4a7ddaa1e24e8bc8c1d903abb1bda80
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsair&AN=edsair.c2b0b933574d..b4a7ddaa1e24e8bc8c1d903abb1bda80
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: Undetermined
    Subjects:
      – SubjectFull: \(\Sigma \)-programming
        Type: general
      – SubjectFull: canonical expansion
        Type: general
      – SubjectFull: Data structures
        Type: general
      – SubjectFull: universal machine
        Type: general
      – SubjectFull: semantic programming
        Type: general
      – SubjectFull: determinability
        Type: general
      – SubjectFull: fixed points
        Type: general
      – SubjectFull: functional programming
        Type: general
      – SubjectFull: programming methodology
        Type: general
      – SubjectFull: logical programming
        Type: general
      – SubjectFull: Abstract data types
        Type: general
      – SubjectFull: algebraic specification
        Type: general
      – SubjectFull: abstract data types
        Type: general
    Titles:
      – TitleFull: Mathematical bases of semantic programming
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Goncharov, S. S.
      – PersonEntity:
          Name:
            NameFull: Sviridenko, D. I.
    IsPartOfRelationships:
      – BibEntity:
          Identifiers:
            – Type: issn-locals
              Value: edsair
ResultId 1