Matches in SemOpenAlex for { <https://semopenalex.org/work/W2365014920> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2365014920 abstract "Operational Semantics for Featherweight Lua by Hanshu Lin Lua is a small, embedded language to provide scripting in other languages. Despite a clean, minimal syntax, it is still too complex for formal reasoning because of some syntactic sugar or specific syntax structures in Lua. This thesis develops Featherweight Lua (FWLua), following the tradition of languages like Featherweight Java[1] and Featherweight JavaScript[2]. The goal is to develop a core of language features that, while remaining simple enough for formal reasoning, also remain faithful to the central characteristics of the language. Specifically for Lua, the core features that are essential for our modeling include: ∙ First-class functions ∙ Tables as the central data construct ∙ Metatables that provide various “hooks” to change the behavior of tables To further validate this approach, we show how an extensive set of features from the full Lua programming language can be reduced to FWLua. Finally, we include a reference implementation written in Haskell as a tool for further testing and experimenting with the language. With this research, we provide a basis for future research into the Lua programming language." @default.
- W2365014920 created "2016-06-24" @default.
- W2365014920 creator A5012979008 @default.
- W2365014920 date "2019-04-18" @default.
- W2365014920 modified "2023-09-24" @default.
- W2365014920 title "Operational Semantics for Featherweight Lua" @default.
- W2365014920 cites W1839269954 @default.
- W2365014920 cites W1934020168 @default.
- W2365014920 cites W1951034176 @default.
- W2365014920 cites W1981404401 @default.
- W2365014920 cites W2033348393 @default.
- W2365014920 cites W2091731831 @default.
- W2365014920 cites W2245157299 @default.
- W2365014920 cites W2267437421 @default.
- W2365014920 cites W32154478 @default.
- W2365014920 doi "https://doi.org/10.31979/etd.xysf-s2af" @default.
- W2365014920 hasPublicationYear "2019" @default.
- W2365014920 type Work @default.
- W2365014920 sameAs 2365014920 @default.
- W2365014920 citedByCount "1" @default.
- W2365014920 countsByYear W23650149202018 @default.
- W2365014920 crossrefType "dissertation" @default.
- W2365014920 hasAuthorship W2365014920A5012979008 @default.
- W2365014920 hasBestOaLocation W23650149201 @default.
- W2365014920 hasConcept C114408938 @default.
- W2365014920 hasConcept C154945302 @default.
- W2365014920 hasConcept C156325763 @default.
- W2365014920 hasConcept C177264268 @default.
- W2365014920 hasConcept C184337299 @default.
- W2365014920 hasConcept C199360897 @default.
- W2365014920 hasConcept C2777212361 @default.
- W2365014920 hasConcept C2780624054 @default.
- W2365014920 hasConcept C41008148 @default.
- W2365014920 hasConcept C42383842 @default.
- W2365014920 hasConcept C60048249 @default.
- W2365014920 hasConcept C61423126 @default.
- W2365014920 hasConceptScore W2365014920C114408938 @default.
- W2365014920 hasConceptScore W2365014920C154945302 @default.
- W2365014920 hasConceptScore W2365014920C156325763 @default.
- W2365014920 hasConceptScore W2365014920C177264268 @default.
- W2365014920 hasConceptScore W2365014920C184337299 @default.
- W2365014920 hasConceptScore W2365014920C199360897 @default.
- W2365014920 hasConceptScore W2365014920C2777212361 @default.
- W2365014920 hasConceptScore W2365014920C2780624054 @default.
- W2365014920 hasConceptScore W2365014920C41008148 @default.
- W2365014920 hasConceptScore W2365014920C42383842 @default.
- W2365014920 hasConceptScore W2365014920C60048249 @default.
- W2365014920 hasConceptScore W2365014920C61423126 @default.
- W2365014920 hasLocation W23650149201 @default.
- W2365014920 hasOpenAccess W2365014920 @default.
- W2365014920 hasPrimaryLocation W23650149201 @default.
- W2365014920 hasRelatedWork W1524613989 @default.
- W2365014920 hasRelatedWork W1569794958 @default.
- W2365014920 hasRelatedWork W1735531277 @default.
- W2365014920 hasRelatedWork W182762056 @default.
- W2365014920 hasRelatedWork W1975276861 @default.
- W2365014920 hasRelatedWork W2014385852 @default.
- W2365014920 hasRelatedWork W2014585408 @default.
- W2365014920 hasRelatedWork W2041630899 @default.
- W2365014920 hasRelatedWork W2088490657 @default.
- W2365014920 hasRelatedWork W2112094847 @default.
- W2365014920 hasRelatedWork W2121791714 @default.
- W2365014920 hasRelatedWork W2149701103 @default.
- W2365014920 hasRelatedWork W2151073063 @default.
- W2365014920 hasRelatedWork W221116700 @default.
- W2365014920 hasRelatedWork W2237586374 @default.
- W2365014920 hasRelatedWork W2520799559 @default.
- W2365014920 hasRelatedWork W2562482846 @default.
- W2365014920 hasRelatedWork W2623517735 @default.
- W2365014920 hasRelatedWork W2763230528 @default.
- W2365014920 hasRelatedWork W1493829579 @default.
- W2365014920 isParatext "false" @default.
- W2365014920 isRetracted "false" @default.
- W2365014920 magId "2365014920" @default.
- W2365014920 workType "dissertation" @default.