Academic Journal
View in EDS

Design for Proof: An Approach to the Design of Domain-Specific Languages

Bibliographic Details
Title: Design for Proof: An Approach to the Design of Domain-Specific Languages
Authors: Anderson, Stuart, Tourlas, Konstantinos
Source: Formal Aspects of Computing: Applicable Formal Methods. May 1998 10(5-6):452-468
Database: Springer Nature Journals
FullText Links:
  – Type: other
Text:
  Availability: 0
CustomLinks:
  – Url: https://dx.doi.org/doi:10.1007/s001650050027
    Name: EDS - Springer Nature Journals (s7799221)
    Category: fullText
    Text: View record at Springer
Header DbId: edssjs
DbLabel: Springer Nature Journals
An: edssjs.BA252D96
RelevancyScore: 773
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 772.847961425781
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Design for Proof: An Approach to the Design of Domain-Specific Languages
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Anderson%2C+Stuart%22">Anderson, Stuart</searchLink><br /><searchLink fieldCode="AR" term="%22Tourlas%2C+Konstantinos%22">Tourlas, Konstantinos</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Formal Aspects of Computing: Applicable Formal Methods</i>. May 1998 10(5-6):452-468
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjs&AN=edssjs.BA252D96
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s001650050027
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 17
        StartPage: 452
    Titles:
      – TitleFull: Design for Proof: An Approach to the Design of Domain-Specific Languages
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Anderson, Stuart
      – PersonEntity:
          Name:
            NameFull: Tourlas, Konstantinos
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 05
              Type: published
              Y: 1998
          Identifiers:
            – Type: issn-print
              Value: 09345043
            – Type: issn-print
              Value: 1433299X
          Numbering:
            – Type: volume
              Value: 10
            – Type: issue
              Value: 5-6
          Titles:
            – TitleFull: Formal Aspects of Computing: Applicable Formal Methods
              Type: main
ResultId 1