A theoretical foundation for programming languages aggregation

Ştefan Ciobâcă; Dorel Lucanu; Vlad Rusu; Grigore Roşu

doi:10.1007/978-3-319-28114-8_3

A theoretical foundation for programming languages aggregation

Ştefan Ciobâcă, Dorel Lucanu, Vlad Rusu, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Programming languages should be formally specified in order to reason about programs written in them. We show that, given two formally specified programming languages, it is possible to construct the formal semantics of an aggregated language, in which programs consist of pairs of programs from the initial languages. The construction is based on algebraic techniques and it can be used to reduce relational properties (such as equivalence of programs) to reachability properties (in the aggregated language).

Original language	English (US)
Title of host publication	Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers
Editors	Ionuţ Ţuţu, Mihai Codescu, Răzvan Diaconescu
Publisher	Springer
Pages	30-47
Number of pages	18
ISBN (Print)	9783319281131
DOIs	https://doi.org/10.1007/978-3-319-28114-8_3
State	Published - 2015
Event	22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 - Sinaia, Romania Duration: Sep 4 2014 → Sep 7 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9463
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014
Country/Territory	Romania
City	Sinaia
Period	9/4/14 → 9/7/14

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/978-3-319-28114-8_3

Library availability

Discover UIUC Full Text

Cite this

Ciobâcă, Ş., Lucanu, D., Rusu, V., & Roşu, G. (2015). A theoretical foundation for programming languages aggregation. In I. Ţuţu, M. Codescu, & R. Diaconescu (Eds.), Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers (pp. 30-47). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9463). Springer. https://doi.org/10.1007/978-3-319-28114-8_3

A theoretical foundation for programming languages aggregation. / Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad et al.
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. ed. / Ionuţ Ţuţu; Mihai Codescu; Răzvan Diaconescu. Springer, 2015. p. 30-47 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9463).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ciobâcă, Ş, Lucanu, D, Rusu, V & Roşu, G 2015, A theoretical foundation for programming languages aggregation. in I Ţuţu, M Codescu & R Diaconescu (eds), Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9463, Springer, pp. 30-47, 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014, Sinaia, Romania, 9/4/14. https://doi.org/10.1007/978-3-319-28114-8_3

Ciobâcă Ş, Lucanu D, Rusu V, Roşu G. A theoretical foundation for programming languages aggregation. In Ţuţu I, Codescu M, Diaconescu R, editors, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Springer. 2015. p. 30-47. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-28114-8_3

Ciobâcă, Ştefan ; Lucanu, Dorel ; Rusu, Vlad et al. / A theoretical foundation for programming languages aggregation. Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. editor / Ionuţ Ţuţu ; Mihai Codescu ; Răzvan Diaconescu. Springer, 2015. pp. 30-47 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{de7658ade66140d4b82a1eb6222f1d72,

title = "A theoretical foundation for programming languages aggregation",

abstract = "Programming languages should be formally specified in order to reason about programs written in them. We show that, given two formally specified programming languages, it is possible to construct the formal semantics of an aggregated language, in which programs consist of pairs of programs from the initial languages. The construction is based on algebraic techniques and it can be used to reduce relational properties (such as equivalence of programs) to reachability properties (in the aggregated language).",

author = "{\c S}tefan Ciob{\^a}c{\u a} and Dorel Lucanu and Vlad Rusu and Grigore Ro{\c s}u",

note = "Funding Information: This paper is supported by the Sectorial Operational Programme Human Resource Development (SOP HRD), financed from the European Social Fund and by the Romanian Government under the contract number POSDRU/159/1.5/S/137750. Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 ; Conference date: 04-09-2014 Through 07-09-2014",

year = "2015",

doi = "10.1007/978-3-319-28114-8_3",

language = "English (US)",

isbn = "9783319281131",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "30--47",

editor = "Ionu{\c t} {\c T}u{\c t}u and Mihai Codescu and R{\u a}zvan Diaconescu",

booktitle = "Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers",

address = "Germany",

}

TY - GEN

T1 - A theoretical foundation for programming languages aggregation

AU - Ciobâcă, Ştefan

AU - Lucanu, Dorel

AU - Rusu, Vlad

AU - Roşu, Grigore

N1 - Funding Information: This paper is supported by the Sectorial Operational Programme Human Resource Development (SOP HRD), financed from the European Social Fund and by the Romanian Government under the contract number POSDRU/159/1.5/S/137750. Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - Programming languages should be formally specified in order to reason about programs written in them. We show that, given two formally specified programming languages, it is possible to construct the formal semantics of an aggregated language, in which programs consist of pairs of programs from the initial languages. The construction is based on algebraic techniques and it can be used to reduce relational properties (such as equivalence of programs) to reachability properties (in the aggregated language).

AB - Programming languages should be formally specified in order to reason about programs written in them. We show that, given two formally specified programming languages, it is possible to construct the formal semantics of an aggregated language, in which programs consist of pairs of programs from the initial languages. The construction is based on algebraic techniques and it can be used to reduce relational properties (such as equivalence of programs) to reachability properties (in the aggregated language).

UR - http://www.scopus.com/inward/record.url?scp=84955319977&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84955319977&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-28114-8_3

DO - 10.1007/978-3-319-28114-8_3

M3 - Conference contribution

AN - SCOPUS:84955319977

SN - 9783319281131

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 30

EP - 47

BT - Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers

A2 - Ţuţu, Ionuţ

A2 - Codescu, Mihai

A2 - Diaconescu, Răzvan

PB - Springer

T2 - 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014

Y2 - 4 September 2014 through 7 September 2014

ER -

A theoretical foundation for programming languages aggregation

Abstract

Publication series

Conference

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this