Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136547062> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2136547062 endingPage "178" @default.
- W2136547062 startingPage "155" @default.
- W2136547062 abstract "Temporal programming languages provide a powerful means for the description and implementation of dynamic systems. However, most temporal languages are based on linear time, a fact that renders them unsuitable for certain types of applications (such as expressing properties of non-deterministic programs). In this paper we introduce the new temporal logic programming language Cactus , which is based on a branching notion of time. In Cactus, the truth value of a predicate depends on a hidden time parameter which varies over a tree-like structure. As a result, Cactus can be used to express in a natural way non-deterministic computations or generally algorithms that involve the manipulation of tree data structures. Moreover, Cactus appears to be appropriate as the target language for compilers or program transformers. Cactus programs can be executed using BSLD-resolution, a proof procedure based on the notion of canonical temporal atoms/clauses." @default.
- W2136547062 created "2016-06-24" @default.
- W2136547062 creator A5038937008 @default.
- W2136547062 creator A5061141406 @default.
- W2136547062 creator A5076009912 @default.
- W2136547062 date "1998-10-01" @default.
- W2136547062 modified "2023-09-30" @default.
- W2136547062 title "Branching-time logic programming: the language Cactus and its applications" @default.
- W2136547062 cites W1486653873 @default.
- W2136547062 cites W1536786076 @default.
- W2136547062 cites W1565206795 @default.
- W2136547062 cites W2000138546 @default.
- W2136547062 cites W2004306067 @default.
- W2136547062 cites W2040284947 @default.
- W2136547062 cites W2067441543 @default.
- W2136547062 cites W2068379155 @default.
- W2136547062 cites W2119435951 @default.
- W2136547062 cites W2164371360 @default.
- W2136547062 cites W2480691574 @default.
- W2136547062 cites W2912379780 @default.
- W2136547062 cites W4206370914 @default.
- W2136547062 cites W4213219346 @default.
- W2136547062 doi "https://doi.org/10.1016/s0096-0551(98)00009-5" @default.
- W2136547062 hasPublicationYear "1998" @default.
- W2136547062 type Work @default.
- W2136547062 sameAs 2136547062 @default.
- W2136547062 citedByCount "15" @default.
- W2136547062 countsByYear W21365470622012 @default.
- W2136547062 countsByYear W21365470622013 @default.
- W2136547062 countsByYear W21365470622014 @default.
- W2136547062 countsByYear W21365470622015 @default.
- W2136547062 crossrefType "journal-article" @default.
- W2136547062 hasAuthorship W2136547062A5038937008 @default.
- W2136547062 hasAuthorship W2136547062A5061141406 @default.
- W2136547062 hasAuthorship W2136547062A5076009912 @default.
- W2136547062 hasConcept C11413529 @default.
- W2136547062 hasConcept C159985019 @default.
- W2136547062 hasConcept C169590947 @default.
- W2136547062 hasConcept C192562407 @default.
- W2136547062 hasConcept C199360897 @default.
- W2136547062 hasConcept C206175624 @default.
- W2136547062 hasConcept C25016198 @default.
- W2136547062 hasConcept C2780106946 @default.
- W2136547062 hasConcept C41008148 @default.
- W2136547062 hasConcept C59822182 @default.
- W2136547062 hasConcept C80444323 @default.
- W2136547062 hasConcept C86803240 @default.
- W2136547062 hasConceptScore W2136547062C11413529 @default.
- W2136547062 hasConceptScore W2136547062C159985019 @default.
- W2136547062 hasConceptScore W2136547062C169590947 @default.
- W2136547062 hasConceptScore W2136547062C192562407 @default.
- W2136547062 hasConceptScore W2136547062C199360897 @default.
- W2136547062 hasConceptScore W2136547062C206175624 @default.
- W2136547062 hasConceptScore W2136547062C25016198 @default.
- W2136547062 hasConceptScore W2136547062C2780106946 @default.
- W2136547062 hasConceptScore W2136547062C41008148 @default.
- W2136547062 hasConceptScore W2136547062C59822182 @default.
- W2136547062 hasConceptScore W2136547062C80444323 @default.
- W2136547062 hasConceptScore W2136547062C86803240 @default.
- W2136547062 hasIssue "3" @default.
- W2136547062 hasLocation W21365470621 @default.
- W2136547062 hasOpenAccess W2136547062 @default.
- W2136547062 hasPrimaryLocation W21365470621 @default.
- W2136547062 hasRelatedWork W1497385637 @default.
- W2136547062 hasRelatedWork W1527862632 @default.
- W2136547062 hasRelatedWork W1608659702 @default.
- W2136547062 hasRelatedWork W1977285665 @default.
- W2136547062 hasRelatedWork W2007728761 @default.
- W2136547062 hasRelatedWork W2044422526 @default.
- W2136547062 hasRelatedWork W2369288331 @default.
- W2136547062 hasRelatedWork W2519339279 @default.
- W2136547062 hasRelatedWork W2740990710 @default.
- W2136547062 hasRelatedWork W2467097043 @default.
- W2136547062 hasVolume "24" @default.
- W2136547062 isParatext "false" @default.
- W2136547062 isRetracted "false" @default.
- W2136547062 magId "2136547062" @default.
- W2136547062 workType "article" @default.