No Cover Image

Conference Paper/Proceeding/Abstract 789 views

Component-based description of programming languages

Peter Mosses Orcid Logo

Pages: 275 - 286

Swansea University Author: Peter Mosses Orcid Logo

Abstract

<p>Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete major programming languages, and theoretical foundations for novel features that might be included in future la...

Full description

Published: BCS 2008
Online Access: http://www.bcs.org/content/ConWebDoc/22912
URI: https://cronfa.swan.ac.uk/Record/cronfa22
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T11:49:08Z
last_indexed 2018-02-09T04:27:06Z
id cronfa22
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2013-10-17T15:27:43.5255035</datestamp><bib-version>v2</bib-version><id>22</id><entry>2011-10-01</entry><title>Component-based description of programming languages</title><swanseaauthors><author><sid>3f13b8ec315845c81d371f41e772399c</sid><ORCID>0000-0002-5826-7520</ORCID><firstname>Peter</firstname><surname>Mosses</surname><name>Peter Mosses</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2011-10-01</date><deptcode>FGSEN</deptcode><abstract>&lt;p&gt;Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete major programming languages, and theoretical foundations for novel features that might be included in future languages. Nevertheless, to give a completely formal, validated description of any significant programming language using the conventional frameworks remains an immense effort, disproportionate to its perceived benefits. Our diagnosis of the causes of this disappointing situation highlights two major deficiencies in the pragmatic aspects of formal language descriptions in conventional frameworks: lack of reusable components, and poor tool support.&lt;/p&gt;&lt;p&gt;Part of the proposed remedy is a radical shift to a novel component-based paradigm for the development of complete language descriptions, based on simple interfaces between descriptions of syntactic and semantic aspects, and employing frameworks that allow independent description of individual programming constructs. The introduction of a language-independent notation for common programming constructs maximises the reusability of components. Tool support for component-based language description is being developed using the ASF+SDF Meta-Environment; the aim is to provide an efficient component-based workbench for use in design and implementation of future programming languages, accompanied by an online repository for validated formal descriptions of programming constructs and languages.&lt;/p&gt;</abstract><type>Conference Paper/Proceeding/Abstract</type><journal></journal><volume></volume><journalNumber></journalNumber><paginationStart>275</paginationStart><paginationEnd>286</paginationEnd><publisher>BCS</publisher><placeOfPublication/><issnPrint/><issnElectronic/><keywords/><publishedDay>22</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2008</publishedYear><publishedDate>2008-09-22</publishedDate><doi/><url>http://www.bcs.org/content/ConWebDoc/22912</url><notes>&lt;p&gt;In Visions of Computer Science, Proc. BCS International Academic Research Conference, London, UK&lt;/p&gt;</notes><college>COLLEGE NANME</college><department>Science and Engineering - Faculty</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>FGSEN</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2013-10-17T15:27:43.5255035</lastEdited><Created>2011-10-01T00:00:00.0000000</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Peter</firstname><surname>Mosses</surname><orcid>0000-0002-5826-7520</orcid><order>1</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2013-10-17T15:27:43.5255035 v2 22 2011-10-01 Component-based description of programming languages 3f13b8ec315845c81d371f41e772399c 0000-0002-5826-7520 Peter Mosses Peter Mosses true false 2011-10-01 FGSEN <p>Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete major programming languages, and theoretical foundations for novel features that might be included in future languages. Nevertheless, to give a completely formal, validated description of any significant programming language using the conventional frameworks remains an immense effort, disproportionate to its perceived benefits. Our diagnosis of the causes of this disappointing situation highlights two major deficiencies in the pragmatic aspects of formal language descriptions in conventional frameworks: lack of reusable components, and poor tool support.</p><p>Part of the proposed remedy is a radical shift to a novel component-based paradigm for the development of complete language descriptions, based on simple interfaces between descriptions of syntactic and semantic aspects, and employing frameworks that allow independent description of individual programming constructs. The introduction of a language-independent notation for common programming constructs maximises the reusability of components. Tool support for component-based language description is being developed using the ASF+SDF Meta-Environment; the aim is to provide an efficient component-based workbench for use in design and implementation of future programming languages, accompanied by an online repository for validated formal descriptions of programming constructs and languages.</p> Conference Paper/Proceeding/Abstract 275 286 BCS 22 9 2008 2008-09-22 http://www.bcs.org/content/ConWebDoc/22912 <p>In Visions of Computer Science, Proc. BCS International Academic Research Conference, London, UK</p> COLLEGE NANME Science and Engineering - Faculty COLLEGE CODE FGSEN Swansea University 2013-10-17T15:27:43.5255035 2011-10-01T00:00:00.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Peter Mosses 0000-0002-5826-7520 1
title Component-based description of programming languages
spellingShingle Component-based description of programming languages
Peter Mosses
title_short Component-based description of programming languages
title_full Component-based description of programming languages
title_fullStr Component-based description of programming languages
title_full_unstemmed Component-based description of programming languages
title_sort Component-based description of programming languages
author_id_str_mv 3f13b8ec315845c81d371f41e772399c
author_id_fullname_str_mv 3f13b8ec315845c81d371f41e772399c_***_Peter Mosses
author Peter Mosses
author2 Peter Mosses
format Conference Paper/Proceeding/Abstract
container_start_page 275
publishDate 2008
institution Swansea University
publisher BCS
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://www.bcs.org/content/ConWebDoc/22912
document_store_str 0
active_str 0
description <p>Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete major programming languages, and theoretical foundations for novel features that might be included in future languages. Nevertheless, to give a completely formal, validated description of any significant programming language using the conventional frameworks remains an immense effort, disproportionate to its perceived benefits. Our diagnosis of the causes of this disappointing situation highlights two major deficiencies in the pragmatic aspects of formal language descriptions in conventional frameworks: lack of reusable components, and poor tool support.</p><p>Part of the proposed remedy is a radical shift to a novel component-based paradigm for the development of complete language descriptions, based on simple interfaces between descriptions of syntactic and semantic aspects, and employing frameworks that allow independent description of individual programming constructs. The introduction of a language-independent notation for common programming constructs maximises the reusability of components. Tool support for component-based language description is being developed using the ASF+SDF Meta-Environment; the aim is to provide an efficient component-based workbench for use in design and implementation of future programming languages, accompanied by an online repository for validated formal descriptions of programming constructs and languages.</p>
published_date 2008-09-22T03:04:33Z
_version_ 1756143208590475264
score 10.927374