Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980781982> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1980781982 endingPage "829" @default.
- W1980781982 startingPage "795" @default.
- W1980781982 abstract "Declarative multi-paradigm languages combine the most important features of functional, logic and concurrent programming. The computational model of such integrated languages is usually based on a combination of two different operational principles: narrowing and residuation. This work is motivated by the fact that a precise definition of an operational semantics including all aspects of modern multi-paradigm languages like laziness, sharing, non-determinism, equational constraints, external functions and concurrency does not exist. Therefore, in this article, we present the first rigorous operational description covering all the aforementioned features in a precise and understandable manner. We develop our operational semantics in several steps. First, we define a natural (big-step) semantics covering laziness, sharing and non-determinism. We also present an equivalent small-step semantics which additionally includes a number of practical features like equational constraints and external functions. Then, we introduce a deterministic version of the small-step semantics which makes the search strategy explicit; this is essential for profiling, tracing, debugging etc. Finally, the deterministic semantics is extended in order to cover the concurrent facilities of modern declarative multi-paradigm languages. The semantics developed provides an appropriate foundation for modeling actual declarative multi-paradigm languages like Curry. The complete operational semantics has been implemented and used with various programming tools." @default.
- W1980781982 created "2016-06-24" @default.
- W1980781982 creator A5014984732 @default.
- W1980781982 creator A5021022617 @default.
- W1980781982 creator A5024421847 @default.
- W1980781982 creator A5051613376 @default.
- W1980781982 creator A5091905437 @default.
- W1980781982 date "2005-07-01" @default.
- W1980781982 modified "2023-10-02" @default.
- W1980781982 title "Operational semantics for declarative multi-paradigm languages" @default.
- W1980781982 cites W1572129992 @default.
- W1980781982 cites W1992085465 @default.
- W1980781982 cites W1998333922 @default.
- W1980781982 cites W2013131987 @default.
- W1980781982 cites W2015939621 @default.
- W1980781982 cites W2021654650 @default.
- W1980781982 cites W2048748607 @default.
- W1980781982 cites W2049184691 @default.
- W1980781982 cites W2053719172 @default.
- W1980781982 cites W2059799630 @default.
- W1980781982 cites W2063236708 @default.
- W1980781982 cites W2063521547 @default.
- W1980781982 cites W2078852650 @default.
- W1980781982 cites W2092408876 @default.
- W1980781982 cites W2103859677 @default.
- W1980781982 cites W2127788730 @default.
- W1980781982 cites W2131540458 @default.
- W1980781982 cites W78174217 @default.
- W1980781982 doi "https://doi.org/10.1016/j.jsc.2004.01.001" @default.
- W1980781982 hasPublicationYear "2005" @default.
- W1980781982 type Work @default.
- W1980781982 sameAs 1980781982 @default.
- W1980781982 citedByCount "86" @default.
- W1980781982 countsByYear W19807819822012 @default.
- W1980781982 countsByYear W19807819822013 @default.
- W1980781982 countsByYear W19807819822014 @default.
- W1980781982 countsByYear W19807819822015 @default.
- W1980781982 countsByYear W19807819822016 @default.
- W1980781982 countsByYear W19807819822017 @default.
- W1980781982 countsByYear W19807819822018 @default.
- W1980781982 countsByYear W19807819822019 @default.
- W1980781982 countsByYear W19807819822020 @default.
- W1980781982 countsByYear W19807819822021 @default.
- W1980781982 countsByYear W19807819822022 @default.
- W1980781982 countsByYear W19807819822023 @default.
- W1980781982 crossrefType "journal-article" @default.
- W1980781982 hasAuthorship W1980781982A5014984732 @default.
- W1980781982 hasAuthorship W1980781982A5021022617 @default.
- W1980781982 hasAuthorship W1980781982A5024421847 @default.
- W1980781982 hasAuthorship W1980781982A5051613376 @default.
- W1980781982 hasAuthorship W1980781982A5091905437 @default.
- W1980781982 hasConcept C118552586 @default.
- W1980781982 hasConcept C148230440 @default.
- W1980781982 hasConcept C150607116 @default.
- W1980781982 hasConcept C156325763 @default.
- W1980781982 hasConcept C15744967 @default.
- W1980781982 hasConcept C184337299 @default.
- W1980781982 hasConcept C193702766 @default.
- W1980781982 hasConcept C199360897 @default.
- W1980781982 hasConcept C207648694 @default.
- W1980781982 hasConcept C2776447739 @default.
- W1980781982 hasConcept C41008148 @default.
- W1980781982 hasConcept C80444323 @default.
- W1980781982 hasConcept C89497691 @default.
- W1980781982 hasConceptScore W1980781982C118552586 @default.
- W1980781982 hasConceptScore W1980781982C148230440 @default.
- W1980781982 hasConceptScore W1980781982C150607116 @default.
- W1980781982 hasConceptScore W1980781982C156325763 @default.
- W1980781982 hasConceptScore W1980781982C15744967 @default.
- W1980781982 hasConceptScore W1980781982C184337299 @default.
- W1980781982 hasConceptScore W1980781982C193702766 @default.
- W1980781982 hasConceptScore W1980781982C199360897 @default.
- W1980781982 hasConceptScore W1980781982C207648694 @default.
- W1980781982 hasConceptScore W1980781982C2776447739 @default.
- W1980781982 hasConceptScore W1980781982C41008148 @default.
- W1980781982 hasConceptScore W1980781982C80444323 @default.
- W1980781982 hasConceptScore W1980781982C89497691 @default.
- W1980781982 hasIssue "1" @default.
- W1980781982 hasLocation W19807819821 @default.
- W1980781982 hasOpenAccess W1980781982 @default.
- W1980781982 hasPrimaryLocation W19807819821 @default.
- W1980781982 hasRelatedWork W1422032522 @default.
- W1980781982 hasRelatedWork W1822389052 @default.
- W1980781982 hasRelatedWork W2106305471 @default.
- W1980781982 hasRelatedWork W2137980890 @default.
- W1980781982 hasRelatedWork W2259253025 @default.
- W1980781982 hasRelatedWork W2681723658 @default.
- W1980781982 hasRelatedWork W75631880 @default.
- W1980781982 hasRelatedWork W783270985 @default.
- W1980781982 hasRelatedWork W2523902456 @default.
- W1980781982 hasRelatedWork W3023595429 @default.
- W1980781982 hasVolume "40" @default.
- W1980781982 isParatext "false" @default.
- W1980781982 isRetracted "false" @default.
- W1980781982 magId "1980781982" @default.
- W1980781982 workType "article" @default.