Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116736728> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2116736728 endingPage "83" @default.
- W2116736728 startingPage "62" @default.
- W2116736728 abstract "Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, non-determinism, search strategies). Usually, these languages also include interfaces to external functions as well as to constraint solvers. In this work, we introduce the first formal description of an operational semantics for realistic multi-paradigm languages covering all the aforementioned features in a precise and understandable manner. We also provide a deterministic version of the operational semantics which models search strategies explicitly. This deterministic semantics becomes essential to develop language-specific tools like program tracers, profilers, optimizers, etc. Finally, we extend the deterministic semantics in order to model concurrent computations. An implementation of the complete operational semantics has been undertaken." @default.
- W2116736728 created "2016-06-24" @default.
- W2116736728 creator A5014984732 @default.
- W2116736728 creator A5021022617 @default.
- W2116736728 creator A5024421847 @default.
- W2116736728 creator A5051613376 @default.
- W2116736728 creator A5091905437 @default.
- W2116736728 date "2002-12-01" @default.
- W2116736728 modified "2023-10-04" @default.
- W2116736728 title "An Operational Semantics for Declarative Multi-Paradigm Languages1 1This work has been partially supported by CICYT TIC 2001-2705-C03-01, by the MCYT under grants HA2001-0059, HU2001-0019 and HI2000-0161, and by the DFG under grant Ha 2457/1-2." @default.
- W2116736728 cites W1522154830 @default.
- W2116736728 cites W1537948546 @default.
- W2116736728 cites W1547288408 @default.
- W2116736728 cites W1814631314 @default.
- W2116736728 cites W1992085465 @default.
- W2116736728 cites W2013131987 @default.
- W2116736728 cites W2022647944 @default.
- W2116736728 cites W2053719172 @default.
- W2116736728 cites W2063236708 @default.
- W2116736728 cites W2063521547 @default.
- W2116736728 cites W2078852650 @default.
- W2116736728 cites W2092408876 @default.
- W2116736728 cites W2103859677 @default.
- W2116736728 cites W2129010328 @default.
- W2116736728 cites W2140495302 @default.
- W2116736728 cites W2169402190 @default.
- W2116736728 cites W78174217 @default.
- W2116736728 doi "https://doi.org/10.1016/s1571-0661(04)80600-5" @default.
- W2116736728 hasPublicationYear "2002" @default.
- W2116736728 type Work @default.
- W2116736728 sameAs 2116736728 @default.
- W2116736728 citedByCount "2" @default.
- W2116736728 countsByYear W21167367282018 @default.
- W2116736728 crossrefType "journal-article" @default.
- W2116736728 hasAuthorship W2116736728A5014984732 @default.
- W2116736728 hasAuthorship W2116736728A5021022617 @default.
- W2116736728 hasAuthorship W2116736728A5024421847 @default.
- W2116736728 hasAuthorship W2116736728A5051613376 @default.
- W2116736728 hasAuthorship W2116736728A5091905437 @default.
- W2116736728 hasBestOaLocation W21167367281 @default.
- W2116736728 hasConcept C127001435 @default.
- W2116736728 hasConcept C128838566 @default.
- W2116736728 hasConcept C146206909 @default.
- W2116736728 hasConcept C148230440 @default.
- W2116736728 hasConcept C150607116 @default.
- W2116736728 hasConcept C156325763 @default.
- W2116736728 hasConcept C184337299 @default.
- W2116736728 hasConcept C199360897 @default.
- W2116736728 hasConcept C207648694 @default.
- W2116736728 hasConcept C34165917 @default.
- W2116736728 hasConcept C41008148 @default.
- W2116736728 hasConcept C50033165 @default.
- W2116736728 hasConcept C58041814 @default.
- W2116736728 hasConcept C80444323 @default.
- W2116736728 hasConcept C89497691 @default.
- W2116736728 hasConceptScore W2116736728C127001435 @default.
- W2116736728 hasConceptScore W2116736728C128838566 @default.
- W2116736728 hasConceptScore W2116736728C146206909 @default.
- W2116736728 hasConceptScore W2116736728C148230440 @default.
- W2116736728 hasConceptScore W2116736728C150607116 @default.
- W2116736728 hasConceptScore W2116736728C156325763 @default.
- W2116736728 hasConceptScore W2116736728C184337299 @default.
- W2116736728 hasConceptScore W2116736728C199360897 @default.
- W2116736728 hasConceptScore W2116736728C207648694 @default.
- W2116736728 hasConceptScore W2116736728C34165917 @default.
- W2116736728 hasConceptScore W2116736728C41008148 @default.
- W2116736728 hasConceptScore W2116736728C50033165 @default.
- W2116736728 hasConceptScore W2116736728C58041814 @default.
- W2116736728 hasConceptScore W2116736728C80444323 @default.
- W2116736728 hasConceptScore W2116736728C89497691 @default.
- W2116736728 hasIssue "6" @default.
- W2116736728 hasLocation W21167367281 @default.
- W2116736728 hasOpenAccess W2116736728 @default.
- W2116736728 hasPrimaryLocation W21167367281 @default.
- W2116736728 hasRelatedWork W1508633160 @default.
- W2116736728 hasRelatedWork W1591242928 @default.
- W2116736728 hasRelatedWork W1602014241 @default.
- W2116736728 hasRelatedWork W2019182139 @default.
- W2116736728 hasRelatedWork W2102588965 @default.
- W2116736728 hasRelatedWork W2116736728 @default.
- W2116736728 hasRelatedWork W2125406856 @default.
- W2116736728 hasRelatedWork W2137980890 @default.
- W2116736728 hasRelatedWork W2157541508 @default.
- W2116736728 hasRelatedWork W2592609194 @default.
- W2116736728 hasVolume "70" @default.
- W2116736728 isParatext "false" @default.
- W2116736728 isRetracted "false" @default.
- W2116736728 magId "2116736728" @default.
- W2116736728 workType "article" @default.