Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788336743> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2788336743 startingPage "3" @default.
- W2788336743 abstract "One of the most attractive features of untyped languages for programmersis the flexibility in term creation and manipulation.However, with such power comes the responsibility of ensuringcorrectness of operations.A solution is adding run-time checks to the program via assertions, butthis can introduce overheads that are in many cases impractical.While such overheads can be greatly reduced with static analysis, thegains depend strongly on the quality of the information inferred.Reusable libraries, i.e., library modules that are pre-compiledindependently of the client, pose special challenges in this context.We propose a relaxed form of atom-based module system (which hides onlya selected set of functor symbols but still provides a strict mechanismto prevent breaking visibility rules across modules) that can enrichsignificantly the shape information that can be inferred in reusablemodular programs.We also propose an improved run-time checking approach that takesadvantage of the proposed mechanisms to achieve large reductions inoverhead, closer to those of static languages even in thereusable-library context.While the approach is general and system-independent, we present it forconcreteness in the context of the Ciao assertion language and combinedstatic/dynamic checking framework.Our method maintains full expressiveness of the checks in this context.Contrary to other approaches it does not introduce the need to switchthe language to (static) type systems, which is known to change thesemantics in languages like Prolog.We also study the approach experimentally and evaluate the overheadreduction achieved in the run-time checks." @default.
- W2788336743 created "2018-03-06" @default.
- W2788336743 creator A5008145265 @default.
- W2788336743 creator A5048451206 @default.
- W2788336743 creator A5073531919 @default.
- W2788336743 date "2018-01-01" @default.
- W2788336743 modified "2023-10-03" @default.
- W2788336743 title "Towards Run-time Checks Simplification via Term Hiding" @default.
- W2788336743 doi "https://doi.org/10.4230/oasics.iclp.2017.9" @default.
- W2788336743 hasPublicationYear "2018" @default.
- W2788336743 type Work @default.
- W2788336743 sameAs 2788336743 @default.
- W2788336743 citedByCount "0" @default.
- W2788336743 crossrefType "proceedings-article" @default.
- W2788336743 hasAuthorship W2788336743A5008145265 @default.
- W2788336743 hasAuthorship W2788336743A5048451206 @default.
- W2788336743 hasAuthorship W2788336743A5073531919 @default.
- W2788336743 hasConcept C101468663 @default.
- W2788336743 hasConcept C105795698 @default.
- W2788336743 hasConcept C151730666 @default.
- W2788336743 hasConcept C177264268 @default.
- W2788336743 hasConcept C184337299 @default.
- W2788336743 hasConcept C199360897 @default.
- W2788336743 hasConcept C2779343474 @default.
- W2788336743 hasConcept C2779960059 @default.
- W2788336743 hasConcept C2780598303 @default.
- W2788336743 hasConcept C33923547 @default.
- W2788336743 hasConcept C41008148 @default.
- W2788336743 hasConcept C48859967 @default.
- W2788336743 hasConcept C55439883 @default.
- W2788336743 hasConcept C80444323 @default.
- W2788336743 hasConcept C86803240 @default.
- W2788336743 hasConceptScore W2788336743C101468663 @default.
- W2788336743 hasConceptScore W2788336743C105795698 @default.
- W2788336743 hasConceptScore W2788336743C151730666 @default.
- W2788336743 hasConceptScore W2788336743C177264268 @default.
- W2788336743 hasConceptScore W2788336743C184337299 @default.
- W2788336743 hasConceptScore W2788336743C199360897 @default.
- W2788336743 hasConceptScore W2788336743C2779343474 @default.
- W2788336743 hasConceptScore W2788336743C2779960059 @default.
- W2788336743 hasConceptScore W2788336743C2780598303 @default.
- W2788336743 hasConceptScore W2788336743C33923547 @default.
- W2788336743 hasConceptScore W2788336743C41008148 @default.
- W2788336743 hasConceptScore W2788336743C48859967 @default.
- W2788336743 hasConceptScore W2788336743C55439883 @default.
- W2788336743 hasConceptScore W2788336743C80444323 @default.
- W2788336743 hasConceptScore W2788336743C86803240 @default.
- W2788336743 hasLocation W27883367431 @default.
- W2788336743 hasOpenAccess W2788336743 @default.
- W2788336743 hasPrimaryLocation W27883367431 @default.
- W2788336743 hasRelatedWork W1529821561 @default.
- W2788336743 hasRelatedWork W1606733447 @default.
- W2788336743 hasRelatedWork W2077212395 @default.
- W2788336743 hasRelatedWork W2132854590 @default.
- W2788336743 hasRelatedWork W2188073520 @default.
- W2788336743 hasRelatedWork W2780115126 @default.
- W2788336743 hasRelatedWork W2805363269 @default.
- W2788336743 hasRelatedWork W2824429000 @default.
- W2788336743 hasRelatedWork W2899645750 @default.
- W2788336743 hasRelatedWork W2903351818 @default.
- W2788336743 hasRelatedWork W2911908636 @default.
- W2788336743 hasRelatedWork W2953360812 @default.
- W2788336743 hasRelatedWork W2962940888 @default.
- W2788336743 hasRelatedWork W2966103861 @default.
- W2788336743 hasRelatedWork W2980011154 @default.
- W2788336743 hasRelatedWork W3046432703 @default.
- W2788336743 hasRelatedWork W3099703838 @default.
- W2788336743 hasRelatedWork W3121734556 @default.
- W2788336743 hasRelatedWork W3193995880 @default.
- W2788336743 hasRelatedWork W61218094 @default.
- W2788336743 hasVolume "58" @default.
- W2788336743 isParatext "false" @default.
- W2788336743 isRetracted "false" @default.
- W2788336743 magId "2788336743" @default.
- W2788336743 workType "article" @default.