FRINK Linked Data Fragments server

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

• W2013199089 abstract "Program development can be made amenable to formal methods by using a logical framework. A logic specification, whose operational semantics is based on proof theory, provides an abstract and “implementation independent” definition of the problem, the data domains and the associated operators.Unlike many of the current efforts in this area that use resolution, our approach is based on natural deduction, more specifically, sequent calculus. Following the methodology proposed by Manna and Waldinger, we propose the synthesis tableau technique by which we construct a proof for the well formed formula representing the specification. The desired program is obtained as a side effect of the proof process." @default.
• W2013199089 created "2016-06-24" @default.
• W2013199089 creator A5069483530 @default.
• W2013199089 creator A5085167464 @default.
• W2013199089 date "1992-01-01" @default.
• W2013199089 modified "2023-09-26" @default.
• W2013199089 title "Automatic program generation using sequent calculus" @default.
• W2013199089 cites W100069164 @default.
• W2013199089 cites W1480119827 @default.
• W2013199089 cites W1482532876 @default.
• W2013199089 cites W1530827239 @default.
• W2013199089 cites W1572073643 @default.
• W2013199089 cites W1600950634 @default.
• W2013199089 cites W1741698332 @default.
• W2013199089 cites W1848963184 @default.
• W2013199089 cites W196393734 @default.
• W2013199089 cites W2011184850 @default.
• W2013199089 cites W2012436850 @default.
• W2013199089 cites W2023375822 @default.
• W2013199089 cites W2103789077 @default.
• W2013199089 cites W2103953153 @default.
• W2013199089 cites W2401908577 @default.
• W2013199089 cites W37246596 @default.
• W2013199089 cites W612975481 @default.
• W2013199089 cites W96866007 @default.
• W2013199089 cites W380981889 @default.
• W2013199089 doi "https://doi.org/10.1145/131214.131224" @default.
• W2013199089 hasPublicationYear "1992" @default.
• W2013199089 type Work @default.
• W2013199089 sameAs 2013199089 @default.
• W2013199089 citedByCount "2" @default.
• W2013199089 crossrefType "proceedings-article" @default.
• W2013199089 hasAuthorship W2013199089A5069483530 @default.
• W2013199089 hasAuthorship W2013199089A5085167464 @default.
• W2013199089 hasConcept C108710211 @default.
• W2013199089 hasConcept C111404639 @default.
• W2013199089 hasConcept C11413529 @default.
• W2013199089 hasConcept C156325763 @default.
• W2013199089 hasConcept C184337299 @default.
• W2013199089 hasConcept C195653647 @default.
• W2013199089 hasConcept C199343813 @default.
• W2013199089 hasConcept C199360897 @default.
• W2013199089 hasConcept C2318724 @default.
• W2013199089 hasConcept C2524010 @default.
• W2013199089 hasConcept C2777686260 @default.
• W2013199089 hasConcept C2780801425 @default.
• W2013199089 hasConcept C28077239 @default.
• W2013199089 hasConcept C33923547 @default.
• W2013199089 hasConcept C41008148 @default.
• W2013199089 hasConcept C62073222 @default.
• W2013199089 hasConcept C6489637 @default.
• W2013199089 hasConcept C65880906 @default.
• W2013199089 hasConcept C71924100 @default.
• W2013199089 hasConcept C80444323 @default.
• W2013199089 hasConcept C89421646 @default.
• W2013199089 hasConcept C98045186 @default.
• W2013199089 hasConceptScore W2013199089C108710211 @default.
• W2013199089 hasConceptScore W2013199089C111404639 @default.
• W2013199089 hasConceptScore W2013199089C11413529 @default.
• W2013199089 hasConceptScore W2013199089C156325763 @default.
• W2013199089 hasConceptScore W2013199089C184337299 @default.
• W2013199089 hasConceptScore W2013199089C195653647 @default.
• W2013199089 hasConceptScore W2013199089C199343813 @default.
• W2013199089 hasConceptScore W2013199089C199360897 @default.
• W2013199089 hasConceptScore W2013199089C2318724 @default.
• W2013199089 hasConceptScore W2013199089C2524010 @default.
• W2013199089 hasConceptScore W2013199089C2777686260 @default.
• W2013199089 hasConceptScore W2013199089C2780801425 @default.
• W2013199089 hasConceptScore W2013199089C28077239 @default.
• W2013199089 hasConceptScore W2013199089C33923547 @default.
• W2013199089 hasConceptScore W2013199089C41008148 @default.
• W2013199089 hasConceptScore W2013199089C62073222 @default.
• W2013199089 hasConceptScore W2013199089C6489637 @default.
• W2013199089 hasConceptScore W2013199089C65880906 @default.
• W2013199089 hasConceptScore W2013199089C71924100 @default.
• W2013199089 hasConceptScore W2013199089C80444323 @default.
• W2013199089 hasConceptScore W2013199089C89421646 @default.
• W2013199089 hasConceptScore W2013199089C98045186 @default.
• W2013199089 hasLocation W20131990891 @default.
• W2013199089 hasOpenAccess W2013199089 @default.
• W2013199089 hasPrimaryLocation W20131990891 @default.
• W2013199089 hasRelatedWork W1486232991 @default.
• W2013199089 hasRelatedWork W1499474569 @default.
• W2013199089 hasRelatedWork W1502730048 @default.
• W2013199089 hasRelatedWork W1504859349 @default.
• W2013199089 hasRelatedWork W1568477142 @default.
• W2013199089 hasRelatedWork W1578028018 @default.
• W2013199089 hasRelatedWork W1587012427 @default.
• W2013199089 hasRelatedWork W159279589 @default.
• W2013199089 hasRelatedWork W1599005250 @default.
• W2013199089 hasRelatedWork W1600592316 @default.
• W2013199089 hasRelatedWork W1605391443 @default.
• W2013199089 hasRelatedWork W1814211106 @default.
• W2013199089 hasRelatedWork W2004436487 @default.
• W2013199089 hasRelatedWork W2014496562 @default.
• W2013199089 hasRelatedWork W2075909731 @default.
• W2013199089 hasRelatedWork W2086765598 @default.
• W2013199089 hasRelatedWork W2120501031 @default.
• W2013199089 hasRelatedWork W2163355139 @default.
• W2013199089 hasRelatedWork W2166962989 @default.

• next