Towards a module system for K

Mark Hills; Grigore Roşu

doi:10.1007/978-3-642-03429-9_13

Towards a module system for K

Mark Hills
, Grigore Roşu

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

Abstract

Research on the semantics of programming languages has yielded a wide array of notations and methodologies for defining languages and language features. An important feature many of these notations and methodologies lack is modularity: the ability to define a language feature once, insulating it from unrelated changes in other parts of the language, and allowing it to be reused in other language definitions. This paper introduces ongoing work on modularity features in K, an algebraic, rewriting logic based formalism for defining language semantics.

Original language	English (US)
Title of host publication	Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers
Pages	187-205
Number of pages	19
DOIs	https://doi.org/10.1007/978-3-642-03429-9_13
State	Published - 2009
Event	19th International Workshop on Algebraic Development Techniques, WADT 2008 - Pisa, Italy Duration: Jun 13 2008 → Jun 16 2008

Publication series

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

Other

Other	19th International Workshop on Algebraic Development Techniques, WADT 2008
Country/Territory	Italy
City	Pisa
Period	6/13/08 → 6/16/08

Keywords

K
Language semantics
Modularity
Rewriting logic

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-642-03429-9_13

Library availability

Discover UIUC Full Text

Cite this

Hills, M., & Roşu, G. (2009). Towards a module system for K. In Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers (pp. 187-205). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5486 LNCS). https://doi.org/10.1007/978-3-642-03429-9_13

Towards a module system for K. / Hills, Mark; Roşu, Grigore.
Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers. 2009. p. 187-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5486 LNCS).

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

Hills, M & Roşu, G 2009, Towards a module system for K. in Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5486 LNCS, pp. 187-205, 19th International Workshop on Algebraic Development Techniques, WADT 2008, Pisa, Italy, 6/13/08. https://doi.org/10.1007/978-3-642-03429-9_13

@inproceedings{dc6fcd4ab0e4418591048ef6680d26e9,

title = "Towards a module system for K",

abstract = "Research on the semantics of programming languages has yielded a wide array of notations and methodologies for defining languages and language features. An important feature many of these notations and methodologies lack is modularity: the ability to define a language feature once, insulating it from unrelated changes in other parts of the language, and allowing it to be reused in other language definitions. This paper introduces ongoing work on modularity features in K, an algebraic, rewriting logic based formalism for defining language semantics.",

keywords = "K, Language semantics, Modularity, Rewriting logic",

author = "Mark Hills and Grigore Ro{\c s}u",

note = "Supported in part by NSF grants CCF-0448501, CNS-0509321 and CNS-0720512, by NASA contract NNL08AA23C, by the Microsoft/Intel funded Universal Parallel Computing Research Center at UIUC, and by several Microsoft gifts.; 19th International Workshop on Algebraic Development Techniques, WADT 2008 ; Conference date: 13-06-2008 Through 16-06-2008",

year = "2009",

doi = "10.1007/978-3-642-03429-9\_13",

language = "English (US)",

isbn = "3642034284",

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

pages = "187--205",

booktitle = "Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers",

}

TY - GEN

T1 - Towards a module system for K

AU - Hills, Mark

AU - Roşu, Grigore

N1 - Supported in part by NSF grants CCF-0448501, CNS-0509321 and CNS-0720512, by NASA contract NNL08AA23C, by the Microsoft/Intel funded Universal Parallel Computing Research Center at UIUC, and by several Microsoft gifts.

PY - 2009

Y1 - 2009

N2 - Research on the semantics of programming languages has yielded a wide array of notations and methodologies for defining languages and language features. An important feature many of these notations and methodologies lack is modularity: the ability to define a language feature once, insulating it from unrelated changes in other parts of the language, and allowing it to be reused in other language definitions. This paper introduces ongoing work on modularity features in K, an algebraic, rewriting logic based formalism for defining language semantics.

AB - Research on the semantics of programming languages has yielded a wide array of notations and methodologies for defining languages and language features. An important feature many of these notations and methodologies lack is modularity: the ability to define a language feature once, insulating it from unrelated changes in other parts of the language, and allowing it to be reused in other language definitions. This paper introduces ongoing work on modularity features in K, an algebraic, rewriting logic based formalism for defining language semantics.

KW - K

KW - Language semantics

KW - Modularity

KW - Rewriting logic

UR - https://www.scopus.com/pages/publications/70349329608

UR - https://www.scopus.com/pages/publications/70349329608#tab=citedBy

U2 - 10.1007/978-3-642-03429-9_13

DO - 10.1007/978-3-642-03429-9_13

M3 - Conference contribution

AN - SCOPUS:70349329608

SN - 3642034284

SN - 9783642034282

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

SP - 187

EP - 205

BT - Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers

T2 - 19th International Workshop on Algebraic Development Techniques, WADT 2008

Y2 - 13 June 2008 through 16 June 2008

ER -

Towards a module system for K

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this