FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561375764> ?p ?o ?g. }

• W1561375764 abstract "We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors.Strongly moding and constraint-based mode analysis are turning to play fundamental roles in debugging concurrent logic/constraint programs as well as in establishing the consistency of communication protocols and in optimization. Mode analysis of Moded Flat GHC is a constraint satisfaction problem with many simple mode constraints, and can be solved efficiently by unification over feature graphs. We have proposed a simple and efficient technique which, given a non-well-moded program, diagnoses the reasons of inconsistency by finding minimal inconsistent subsets of mode constraints. Since each constraint keeps track of the symbol occurrence in the program that imposed the constraint, a minimal subset also tells possible sources of program errors. The technique is quite general and can be used with other constraint-based frameworks such as strong typing.Based on the above idea, we study the possibility of automated debugging in the absence of mode/type declarations. The mode constraints are usually imposed redundantly, and the constraints that are considered correct can be used for correcting wrong symbol occurrences found by the diagnosis. As long as bugs are near-misses, the automated debugger can propose a rather small number of alternatives that include the intended program. Search space is kept small because constraints effectively prune many irrelevant alternatives. The paper demonstrates the technique by way of examples." @default.
• W1561375764 created "2016-06-24" @default.
• W1561375764 creator A5072761054 @default.
• W1561375764 creator A5089745488 @default.
• W1561375764 creator A5090769215 @default.
• W1561375764 date "1998-01-01" @default.
• W1561375764 modified "2023-10-10" @default.
• W1561375764 title "Error-correcting Source Code" @default.
• W1561375764 cites W1480650219 @default.
• W1561375764 cites W1497205311 @default.
• W1561375764 cites W1982243747 @default.
• W1561375764 cites W2008734514 @default.
• W1561375764 cites W2035182234 @default.
• W1561375764 cites W2045313089 @default.
• W1561375764 cites W2108309071 @default.
• W1561375764 cites W2166822586 @default.
• W1561375764 doi "https://doi.org/10.1007/3-540-49481-2_5" @default.
• W1561375764 hasPublicationYear "1998" @default.
• W1561375764 type Work @default.
• W1561375764 sameAs 1561375764 @default.
• W1561375764 citedByCount "12" @default.
• W1561375764 countsByYear W15613757642013 @default.
• W1561375764 countsByYear W15613757642014 @default.
• W1561375764 crossrefType "book-chapter" @default.
• W1561375764 hasAuthorship W1561375764A5072761054 @default.
• W1561375764 hasAuthorship W1561375764A5089745488 @default.
• W1561375764 hasAuthorship W1561375764A5090769215 @default.
• W1561375764 hasBestOaLocation W15613757642 @default.
• W1561375764 hasConcept C111472728 @default.
• W1561375764 hasConcept C11413529 @default.
• W1561375764 hasConcept C126255220 @default.
• W1561375764 hasConcept C127413603 @default.
• W1561375764 hasConcept C137105694 @default.
• W1561375764 hasConcept C137631369 @default.
• W1561375764 hasConcept C138885662 @default.
• W1561375764 hasConcept C154945302 @default.
• W1561375764 hasConcept C156884757 @default.
• W1561375764 hasConcept C168065819 @default.
• W1561375764 hasConcept C173404611 @default.
• W1561375764 hasConcept C176783269 @default.
• W1561375764 hasConcept C199360897 @default.
• W1561375764 hasConcept C199622910 @default.
• W1561375764 hasConcept C2776036281 @default.
• W1561375764 hasConcept C2776436953 @default.
• W1561375764 hasConcept C2778485113 @default.
• W1561375764 hasConcept C2780586882 @default.
• W1561375764 hasConcept C29230964 @default.
• W1561375764 hasConcept C33923547 @default.
• W1561375764 hasConcept C41008148 @default.
• W1561375764 hasConcept C44616089 @default.
• W1561375764 hasConcept C49937458 @default.
• W1561375764 hasConcept C78519656 @default.
• W1561375764 hasConcept C80444323 @default.
• W1561375764 hasConcept C97686452 @default.
• W1561375764 hasConcept C98183937 @default.
• W1561375764 hasConceptScore W1561375764C111472728 @default.
• W1561375764 hasConceptScore W1561375764C11413529 @default.
• W1561375764 hasConceptScore W1561375764C126255220 @default.
• W1561375764 hasConceptScore W1561375764C127413603 @default.
• W1561375764 hasConceptScore W1561375764C137105694 @default.
• W1561375764 hasConceptScore W1561375764C137631369 @default.
• W1561375764 hasConceptScore W1561375764C138885662 @default.
• W1561375764 hasConceptScore W1561375764C154945302 @default.
• W1561375764 hasConceptScore W1561375764C156884757 @default.
• W1561375764 hasConceptScore W1561375764C168065819 @default.
• W1561375764 hasConceptScore W1561375764C173404611 @default.
• W1561375764 hasConceptScore W1561375764C176783269 @default.
• W1561375764 hasConceptScore W1561375764C199360897 @default.
• W1561375764 hasConceptScore W1561375764C199622910 @default.
• W1561375764 hasConceptScore W1561375764C2776036281 @default.
• W1561375764 hasConceptScore W1561375764C2776436953 @default.
• W1561375764 hasConceptScore W1561375764C2778485113 @default.
• W1561375764 hasConceptScore W1561375764C2780586882 @default.
• W1561375764 hasConceptScore W1561375764C29230964 @default.
• W1561375764 hasConceptScore W1561375764C33923547 @default.
• W1561375764 hasConceptScore W1561375764C41008148 @default.
• W1561375764 hasConceptScore W1561375764C44616089 @default.
• W1561375764 hasConceptScore W1561375764C49937458 @default.
• W1561375764 hasConceptScore W1561375764C78519656 @default.
• W1561375764 hasConceptScore W1561375764C80444323 @default.
• W1561375764 hasConceptScore W1561375764C97686452 @default.
• W1561375764 hasConceptScore W1561375764C98183937 @default.
• W1561375764 hasLocation W15613757641 @default.
• W1561375764 hasLocation W15613757642 @default.
• W1561375764 hasOpenAccess W1561375764 @default.
• W1561375764 hasPrimaryLocation W15613757641 @default.
• W1561375764 hasRelatedWork W1497205311 @default.
• W1561375764 hasRelatedWork W1515516220 @default.
• W1561375764 hasRelatedWork W1529612588 @default.
• W1561375764 hasRelatedWork W1531108889 @default.
• W1561375764 hasRelatedWork W1537629081 @default.
• W1561375764 hasRelatedWork W1572291646 @default.
• W1561375764 hasRelatedWork W1583167984 @default.
• W1561375764 hasRelatedWork W1584168152 @default.
• W1561375764 hasRelatedWork W1627011610 @default.
• W1561375764 hasRelatedWork W2008734514 @default.
• W1561375764 hasRelatedWork W2055043227 @default.
• W1561375764 hasRelatedWork W2067145567 @default.
• W1561375764 hasRelatedWork W2108919851 @default.
• W1561375764 hasRelatedWork W2126384216 @default.

• next