Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565021917> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1565021917 abstract "CIAO is an advanced programming environment supporting Logicand Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the areas of program analysis and transformation already obtained with the system." @default.
- W1565021917 created "2016-06-24" @default.
- W1565021917 creator A5023712857 @default.
- W1565021917 creator A5028563536 @default.
- W1565021917 creator A5046300457 @default.
- W1565021917 creator A5070276719 @default.
- W1565021917 creator A5073531919 @default.
- W1565021917 creator A5083095334 @default.
- W1565021917 creator A5084965967 @default.
- W1565021917 date "1999-04-01" @default.
- W1565021917 modified "2023-10-18" @default.
- W1565021917 title "Parallelism and implementation of logic and constraint logic programming" @default.
- W1565021917 hasPublicationYear "1999" @default.
- W1565021917 type Work @default.
- W1565021917 sameAs 1565021917 @default.
- W1565021917 citedByCount "3" @default.
- W1565021917 crossrefType "book-chapter" @default.
- W1565021917 hasAuthorship W1565021917A5023712857 @default.
- W1565021917 hasAuthorship W1565021917A5028563536 @default.
- W1565021917 hasAuthorship W1565021917A5046300457 @default.
- W1565021917 hasAuthorship W1565021917A5070276719 @default.
- W1565021917 hasAuthorship W1565021917A5073531919 @default.
- W1565021917 hasAuthorship W1565021917A5083095334 @default.
- W1565021917 hasAuthorship W1565021917A5084965967 @default.
- W1565021917 hasConcept C105795698 @default.
- W1565021917 hasConcept C128838566 @default.
- W1565021917 hasConcept C137631369 @default.
- W1565021917 hasConcept C146206909 @default.
- W1565021917 hasConcept C169590947 @default.
- W1565021917 hasConcept C173404611 @default.
- W1565021917 hasConcept C173608175 @default.
- W1565021917 hasConcept C199360897 @default.
- W1565021917 hasConcept C204306468 @default.
- W1565021917 hasConcept C33923547 @default.
- W1565021917 hasConcept C34165917 @default.
- W1565021917 hasConcept C41008148 @default.
- W1565021917 hasConcept C50033165 @default.
- W1565021917 hasConcept C96315309 @default.
- W1565021917 hasConceptScore W1565021917C105795698 @default.
- W1565021917 hasConceptScore W1565021917C128838566 @default.
- W1565021917 hasConceptScore W1565021917C137631369 @default.
- W1565021917 hasConceptScore W1565021917C146206909 @default.
- W1565021917 hasConceptScore W1565021917C169590947 @default.
- W1565021917 hasConceptScore W1565021917C173404611 @default.
- W1565021917 hasConceptScore W1565021917C173608175 @default.
- W1565021917 hasConceptScore W1565021917C199360897 @default.
- W1565021917 hasConceptScore W1565021917C204306468 @default.
- W1565021917 hasConceptScore W1565021917C33923547 @default.
- W1565021917 hasConceptScore W1565021917C34165917 @default.
- W1565021917 hasConceptScore W1565021917C41008148 @default.
- W1565021917 hasConceptScore W1565021917C50033165 @default.
- W1565021917 hasConceptScore W1565021917C96315309 @default.
- W1565021917 hasLocation W15650219171 @default.
- W1565021917 hasOpenAccess W1565021917 @default.
- W1565021917 hasPrimaryLocation W15650219171 @default.
- W1565021917 hasRelatedWork W1531030808 @default.
- W1565021917 hasRelatedWork W1558707871 @default.
- W1565021917 hasRelatedWork W1568752962 @default.
- W1565021917 hasRelatedWork W1589263172 @default.
- W1565021917 hasRelatedWork W1715907323 @default.
- W1565021917 hasRelatedWork W1843713465 @default.
- W1565021917 hasRelatedWork W2002221083 @default.
- W1565021917 hasRelatedWork W2006868050 @default.
- W1565021917 hasRelatedWork W2093876877 @default.
- W1565021917 hasRelatedWork W2111628485 @default.
- W1565021917 hasRelatedWork W2150905411 @default.
- W1565021917 hasRelatedWork W2160298366 @default.
- W1565021917 hasRelatedWork W2166279570 @default.
- W1565021917 hasRelatedWork W2206876877 @default.
- W1565021917 hasRelatedWork W2295366401 @default.
- W1565021917 hasRelatedWork W2405981421 @default.
- W1565021917 hasRelatedWork W2962859023 @default.
- W1565021917 hasRelatedWork W2966793605 @default.
- W1565021917 hasRelatedWork W1825209826 @default.
- W1565021917 hasRelatedWork W2009629271 @default.
- W1565021917 isParatext "false" @default.
- W1565021917 isRetracted "false" @default.
- W1565021917 magId "1565021917" @default.
- W1565021917 workType "book-chapter" @default.