Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Gradually typed symbolic expressions
KTH, Skolan för elektroteknik och datavetenskap (EECS), Programvaruteknik och datorsystem, SCS.ORCID-id: 0000-0001-8457-4105
United States.
2017 (engelsk)Inngår i: PEPM 2018 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2018, Association for Computing Machinery (ACM), 2017, s. 15-29Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Embedding a domain-specific language (DSL) in a general purpose host language is an efficient way to develop a new DSL. Various kinds of languages and paradigms can be used as host languages, including object-oriented, functional, statically typed, and dynamically typed variants, all having their pros and cons. For deep embedding, statically typed languages enable early checking and potentially good DSL error messages, instead of reporting runtime errors. Dynamically typed languages, on the other hand, enable flexible transformations, thus avoiding extensive boilerplate code. In this paper, we introduce the concept of gradually typed symbolic expressions that mix static and dynamic typing for symbolic data. The key idea is to combine the strengths of dynamic and static typing in the context of deep embedding of DSLs. We define a gradually typed calculus <*>, formalize its type system and dynamic semantics, and prove type safety. We introduce a host language called Modelyze that is based on <*>, and evaluate the approach by embedding a series of equation-based domain-specific modeling languages, all within the domain of physical modeling and simulation.

sted, utgiver, år, opplag, sider
Association for Computing Machinery (ACM), 2017. s. 15-29
Emneord [en]
DSL, Symbolic expressions, Type systems, Calculations, Computer aided software engineering, Digital subscriber lines, Embedded systems, Problem oriented languages, Semantics, Specification languages, Domain specific language (DSL), Domain specific modeling languages, Dynamic semantic, Dynamically typed languages, Object oriented, Run-time errors, Symbolic expression, Modeling languages
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-236452DOI: 10.1145/3162068ISI: 000467285800003Scopus ID: 2-s2.0-85050879640ISBN: 9781450355872 (tryckt)OAI: oai:DiVA.org:kth-236452DiVA, id: diva2:1257186
Konferanse
2018 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2018, 8 January 2018 through 9 January 2018
Forskningsfinansiär
Swedish Foundation for Strategic Research , FFL15-0032Swedish Research Council, #623-2011-955
Merknad

QC 20181020

Tilgjengelig fra: 2018-10-19 Laget: 2018-10-19 Sist oppdatert: 2019-05-29bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopusconference

Personposter BETA

Broman, David

Søk i DiVA

Av forfatter/redaktør
Broman, David
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 309 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf