Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951462016> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2951462016 abstract "Abella is an interactive system for reasoning about aspects of object languages that have been formally presented through recursive rules based on syntactic structure. Abella utilizes a two-level logic approach to specification and reasoning. One level is defined by a specification logic which supports a transparent encoding of structural semantics rules and also enables their execution. The second level, called the reasoning logic, embeds the specification logic and allows the development of proofs of properties about specifications. An important characteristic of both logics is that they exploit the lambda tree syntax approach to treating binding in object languages. Amongst other things, Abella has been used to prove normalizability properties of the lambda calculus, cut admissibility for a sequent calculus and type uniqueness and subject reduction properties. This paper discusses the logical foundations of Abella, outlines the style of theorem proving that it supports and finally describes some of its recent applications." @default.
- W2951462016 created "2019-06-27" @default.
- W2951462016 creator A5084336108 @default.
- W2951462016 date "2008-03-15" @default.
- W2951462016 modified "2023-09-27" @default.
- W2951462016 title "The Abella Interactive Theorem Prover (System Description)" @default.
- W2951462016 cites W1579694940 @default.
- W2951462016 cites W1684926818 @default.
- W2951462016 cites W1727609483 @default.
- W2951462016 cites W2032234226 @default.
- W2951462016 cites W2093111544 @default.
- W2951462016 cites W2096757332 @default.
- W2951462016 cites W2099521332 @default.
- W2951462016 cites W2155359800 @default.
- W2951462016 hasPublicationYear "2008" @default.
- W2951462016 type Work @default.
- W2951462016 sameAs 2951462016 @default.
- W2951462016 citedByCount "9" @default.
- W2951462016 countsByYear W29514620162012 @default.
- W2951462016 countsByYear W29514620162015 @default.
- W2951462016 countsByYear W29514620162016 @default.
- W2951462016 crossrefType "posted-content" @default.
- W2951462016 hasAuthorship W2951462016A5084336108 @default.
- W2951462016 hasConcept C102993220 @default.
- W2951462016 hasConcept C108710211 @default.
- W2951462016 hasConcept C199343813 @default.
- W2951462016 hasConcept C199360897 @default.
- W2951462016 hasConcept C206880738 @default.
- W2951462016 hasConcept C2524010 @default.
- W2951462016 hasConcept C2777686260 @default.
- W2951462016 hasConcept C33923547 @default.
- W2951462016 hasConcept C41008148 @default.
- W2951462016 hasConcept C65880906 @default.
- W2951462016 hasConcept C71924100 @default.
- W2951462016 hasConcept C80444323 @default.
- W2951462016 hasConcept C89421646 @default.
- W2951462016 hasConceptScore W2951462016C102993220 @default.
- W2951462016 hasConceptScore W2951462016C108710211 @default.
- W2951462016 hasConceptScore W2951462016C199343813 @default.
- W2951462016 hasConceptScore W2951462016C199360897 @default.
- W2951462016 hasConceptScore W2951462016C206880738 @default.
- W2951462016 hasConceptScore W2951462016C2524010 @default.
- W2951462016 hasConceptScore W2951462016C2777686260 @default.
- W2951462016 hasConceptScore W2951462016C33923547 @default.
- W2951462016 hasConceptScore W2951462016C41008148 @default.
- W2951462016 hasConceptScore W2951462016C65880906 @default.
- W2951462016 hasConceptScore W2951462016C71924100 @default.
- W2951462016 hasConceptScore W2951462016C80444323 @default.
- W2951462016 hasConceptScore W2951462016C89421646 @default.
- W2951462016 hasLocation W29514620161 @default.
- W2951462016 hasOpenAccess W2951462016 @default.
- W2951462016 hasPrimaryLocation W29514620161 @default.
- W2951462016 hasRelatedWork W1499101893 @default.
- W2951462016 hasRelatedWork W1503676575 @default.
- W2951462016 hasRelatedWork W1505437623 @default.
- W2951462016 hasRelatedWork W1531349054 @default.
- W2951462016 hasRelatedWork W1568176286 @default.
- W2951462016 hasRelatedWork W1591242928 @default.
- W2951462016 hasRelatedWork W1727609483 @default.
- W2951462016 hasRelatedWork W1801920691 @default.
- W2951462016 hasRelatedWork W2032234226 @default.
- W2951462016 hasRelatedWork W2073033780 @default.
- W2951462016 hasRelatedWork W2093111544 @default.
- W2951462016 hasRelatedWork W2099521332 @default.
- W2951462016 hasRelatedWork W2164719159 @default.
- W2951462016 hasRelatedWork W2286721516 @default.
- W2951462016 hasRelatedWork W2474384703 @default.
- W2951462016 hasRelatedWork W2515420469 @default.
- W2951462016 hasRelatedWork W2562833768 @default.
- W2951462016 hasRelatedWork W3016159912 @default.
- W2951462016 hasRelatedWork W1678966650 @default.
- W2951462016 hasRelatedWork W2113017868 @default.
- W2951462016 isParatext "false" @default.
- W2951462016 isRetracted "false" @default.
- W2951462016 magId "2951462016" @default.
- W2951462016 workType "article" @default.