Matches in SemOpenAlex for { <https://semopenalex.org/work/W2786685324> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2786685324 abstract "Rascal is a high-level transformation language that aims to simplify software language engineering tasks like defining program syntax, analyzing and transforming programs, and performing code generation. The language provides several features including built-in collections (lists, sets, maps), algebraic data-types, powerful pattern matching operations with backtracking, and high-level traversals supporting multiple strategies. Interaction between different language features can be difficult to comprehend, since most features are semantically rich. The report provides a well-defined formal semantics for a large subset of Rascal, called Rascal Light, suitable for developing formal techniques, e.g., type systems and static analyses. Additionally, the report states and proofs a series of interesting properties of the semantics, including purity of backtracking, strong typing, partial progress and the existence of a terminating subset." @default.
- W2786685324 created "2018-02-23" @default.
- W2786685324 creator A5065468895 @default.
- W2786685324 date "2017-03-07" @default.
- W2786685324 modified "2023-09-27" @default.
- W2786685324 title "The Formal Semantics of Rascal Light" @default.
- W2786685324 cites W2104789737 @default.
- W2786685324 cites W2118229393 @default.
- W2786685324 cites W3146075203 @default.
- W2786685324 cites W2578732340 @default.
- W2786685324 hasPublicationYear "2017" @default.
- W2786685324 type Work @default.
- W2786685324 sameAs 2786685324 @default.
- W2786685324 citedByCount "0" @default.
- W2786685324 crossrefType "posted-content" @default.
- W2786685324 hasAuthorship W2786685324A5065468895 @default.
- W2786685324 hasConcept C108710211 @default.
- W2786685324 hasConcept C146499914 @default.
- W2786685324 hasConcept C156325763 @default.
- W2786685324 hasConcept C156884757 @default.
- W2786685324 hasConcept C171553443 @default.
- W2786685324 hasConcept C184337299 @default.
- W2786685324 hasConcept C199360897 @default.
- W2786685324 hasConcept C204321447 @default.
- W2786685324 hasConcept C2524010 @default.
- W2786685324 hasConcept C33923547 @default.
- W2786685324 hasConcept C41008148 @default.
- W2786685324 hasConcept C53893814 @default.
- W2786685324 hasConcept C60048249 @default.
- W2786685324 hasConcept C68859911 @default.
- W2786685324 hasConcept C75606506 @default.
- W2786685324 hasConcept C80444323 @default.
- W2786685324 hasConceptScore W2786685324C108710211 @default.
- W2786685324 hasConceptScore W2786685324C146499914 @default.
- W2786685324 hasConceptScore W2786685324C156325763 @default.
- W2786685324 hasConceptScore W2786685324C156884757 @default.
- W2786685324 hasConceptScore W2786685324C171553443 @default.
- W2786685324 hasConceptScore W2786685324C184337299 @default.
- W2786685324 hasConceptScore W2786685324C199360897 @default.
- W2786685324 hasConceptScore W2786685324C204321447 @default.
- W2786685324 hasConceptScore W2786685324C2524010 @default.
- W2786685324 hasConceptScore W2786685324C33923547 @default.
- W2786685324 hasConceptScore W2786685324C41008148 @default.
- W2786685324 hasConceptScore W2786685324C53893814 @default.
- W2786685324 hasConceptScore W2786685324C60048249 @default.
- W2786685324 hasConceptScore W2786685324C68859911 @default.
- W2786685324 hasConceptScore W2786685324C75606506 @default.
- W2786685324 hasConceptScore W2786685324C80444323 @default.
- W2786685324 hasLocation W27866853241 @default.
- W2786685324 hasOpenAccess W2786685324 @default.
- W2786685324 hasPrimaryLocation W27866853241 @default.
- W2786685324 hasRelatedWork W1199095337 @default.
- W2786685324 hasRelatedWork W137561471 @default.
- W2786685324 hasRelatedWork W171871107 @default.
- W2786685324 hasRelatedWork W1972301728 @default.
- W2786685324 hasRelatedWork W2009464583 @default.
- W2786685324 hasRelatedWork W2048417351 @default.
- W2786685324 hasRelatedWork W2103846976 @default.
- W2786685324 hasRelatedWork W2123822828 @default.
- W2786685324 hasRelatedWork W2260835020 @default.
- W2786685324 hasRelatedWork W2346769920 @default.
- W2786685324 hasRelatedWork W2478991533 @default.
- W2786685324 hasRelatedWork W2589353742 @default.
- W2786685324 hasRelatedWork W26246528 @default.
- W2786685324 hasRelatedWork W2794771943 @default.
- W2786685324 hasRelatedWork W2947639401 @default.
- W2786685324 hasRelatedWork W3015119114 @default.
- W2786685324 hasRelatedWork W3033613281 @default.
- W2786685324 hasRelatedWork W3125267634 @default.
- W2786685324 hasRelatedWork W3146848230 @default.
- W2786685324 hasRelatedWork W39162179 @default.
- W2786685324 isParatext "false" @default.
- W2786685324 isRetracted "false" @default.
- W2786685324 magId "2786685324" @default.
- W2786685324 workType "article" @default.