Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153787454> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2153787454 endingPage "41" @default.
- W2153787454 startingPage "27" @default.
- W2153787454 abstract "This paper discusses plans for joint work in order to gain early feedback from the community. Three lines of work pursued independently so far shall be joined: (1) narrowing the gap between declarative program specification and program generation already working in Isabelle, (2) reusing work, which embedded an input-response-loop resembling Computer Algebra Systems (CAS) into HOL Light, and (3) reconstructing an experimental language for applied mathematics by exploiting established as well as emerging features of Isabelle/Isar. These plans have to be seen as part of a variety of highly active research areas -- on integration of the deduction and the computational power of Computer Theorem Proving (CTP) and CAS respectively (Calculemus), on innovative theoretical and technological solutions for content-based systems (MKM), on Programming Languages for Mechanized Mathematics Systems (PLMMS), just to cite from some related interest groups. Facing the abundant variety of approaches, of intermediate results and of ongoing developments, and taking under consideration the many difficulties in integrating such approaches, we pursue pragmatic goals: Design a component indispensable for working engineers, a programming language for engineering applications. Use Isabelle for an experimental embedding of the language, which is useful at least in engineering education as soon as possible." @default.
- W2153787454 created "2016-06-24" @default.
- W2153787454 creator A5065435397 @default.
- W2153787454 creator A5070698573 @default.
- W2153787454 creator A5083424872 @default.
- W2153787454 date "2010-07-29" @default.
- W2153787454 modified "2023-09-26" @default.
- W2153787454 title "CTP-based programming languages?" @default.
- W2153787454 cites W1516795788 @default.
- W2153787454 cites W1523874359 @default.
- W2153787454 cites W1569069553 @default.
- W2153787454 cites W1569975162 @default.
- W2153787454 cites W1586880486 @default.
- W2153787454 cites W1599525342 @default.
- W2153787454 cites W1956430370 @default.
- W2153787454 cites W1997142472 @default.
- W2153787454 cites W2003545826 @default.
- W2153787454 cites W2026931905 @default.
- W2153787454 cites W2106099245 @default.
- W2153787454 cites W2111669058 @default.
- W2153787454 cites W2146331214 @default.
- W2153787454 cites W2156369090 @default.
- W2153787454 cites W4250846042 @default.
- W2153787454 doi "https://doi.org/10.1145/1838599.1838621" @default.
- W2153787454 hasPublicationYear "2010" @default.
- W2153787454 type Work @default.
- W2153787454 sameAs 2153787454 @default.
- W2153787454 citedByCount "5" @default.
- W2153787454 countsByYear W21537874542012 @default.
- W2153787454 countsByYear W21537874542019 @default.
- W2153787454 countsByYear W21537874542020 @default.
- W2153787454 crossrefType "journal-article" @default.
- W2153787454 hasAuthorship W2153787454A5065435397 @default.
- W2153787454 hasAuthorship W2153787454A5070698573 @default.
- W2153787454 hasAuthorship W2153787454A5083424872 @default.
- W2153787454 hasConcept C121332964 @default.
- W2153787454 hasConcept C127413603 @default.
- W2153787454 hasConcept C136197465 @default.
- W2153787454 hasConcept C154945302 @default.
- W2153787454 hasConcept C168167062 @default.
- W2153787454 hasConcept C17435882 @default.
- W2153787454 hasConcept C199360897 @default.
- W2153787454 hasConcept C206588197 @default.
- W2153787454 hasConcept C206880738 @default.
- W2153787454 hasConcept C41008148 @default.
- W2153787454 hasConcept C41608201 @default.
- W2153787454 hasConcept C548081761 @default.
- W2153787454 hasConcept C97355855 @default.
- W2153787454 hasConceptScore W2153787454C121332964 @default.
- W2153787454 hasConceptScore W2153787454C127413603 @default.
- W2153787454 hasConceptScore W2153787454C136197465 @default.
- W2153787454 hasConceptScore W2153787454C154945302 @default.
- W2153787454 hasConceptScore W2153787454C168167062 @default.
- W2153787454 hasConceptScore W2153787454C17435882 @default.
- W2153787454 hasConceptScore W2153787454C199360897 @default.
- W2153787454 hasConceptScore W2153787454C206588197 @default.
- W2153787454 hasConceptScore W2153787454C206880738 @default.
- W2153787454 hasConceptScore W2153787454C41008148 @default.
- W2153787454 hasConceptScore W2153787454C41608201 @default.
- W2153787454 hasConceptScore W2153787454C548081761 @default.
- W2153787454 hasConceptScore W2153787454C97355855 @default.
- W2153787454 hasIssue "1/2" @default.
- W2153787454 hasLocation W21537874541 @default.
- W2153787454 hasOpenAccess W2153787454 @default.
- W2153787454 hasPrimaryLocation W21537874541 @default.
- W2153787454 hasRelatedWork W1515169568 @default.
- W2153787454 hasRelatedWork W1537741699 @default.
- W2153787454 hasRelatedWork W1590842522 @default.
- W2153787454 hasRelatedWork W2100855196 @default.
- W2153787454 hasRelatedWork W2349883060 @default.
- W2153787454 hasRelatedWork W2579160749 @default.
- W2153787454 hasRelatedWork W2886069053 @default.
- W2153787454 hasRelatedWork W3125694439 @default.
- W2153787454 hasRelatedWork W2467505627 @default.
- W2153787454 hasRelatedWork W2500740404 @default.
- W2153787454 hasVolume "44" @default.
- W2153787454 isParatext "false" @default.
- W2153787454 isRetracted "false" @default.
- W2153787454 magId "2153787454" @default.
- W2153787454 workType "article" @default.