• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (5)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 5 of 5 1 Evolution of human computer interaction Averbukh, V. L. In: Sci. Visualization ; Scientific Visualization (2021) BASE Show details 2 A vision of miking : Interactive programmatic modeling, sound language composition, and self-learning compilation Broman, David. - : KTH, Programvaruteknik och datorsystem, SCS, 2019. : Association for Computing Machinery, Inc, 2019 BASE Show details 3 Gradually typed symbolic expressions Broman, David; Siek, J. G.. - : KTH, Programvaruteknik och datorsystem, SCS, 2017. : United States, 2017 Abstract: 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. ; QC 20181020 Keyword: Calculations; Computer aided software engineering; Digital subscriber lines; Domain specific language (DSL); Domain specific modeling languages; DSL; Dynamic semantic; Dynamically typed languages; Embedded systems; Inbäddad systemteknik; Modeling languages; Object oriented; Problem oriented languages; Run-time errors; Semantics; Specification languages; Symbolic expression; Symbolic expressions; Type systems URL: https://doi.org/10.1145/3162068 http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-236452 BASE Hide details 4 Capsule-oriented programming Rajan, Hridesh In: Computer Science Conference Presentations, Posters and Proceedings (2015) BASE Show details 5 Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach Lovejoy, Robert S. In: DTIC AND NTIS (1992) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 5 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0