Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497394737> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1497394737 abstract "Un modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait vecteur et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une implementation des coroutines en Lisp, application a Smalltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes." @default.
- W1497394737 created "2016-06-24" @default.
- W1497394737 creator A5045761282 @default.
- W1497394737 creator A5055010007 @default.
- W1497394737 date "1984-05-07" @default.
- W1497394737 modified "2023-09-27" @default.
- W1497394737 title "International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings" @default.
- W1497394737 hasPublicationYear "1984" @default.
- W1497394737 type Work @default.
- W1497394737 sameAs 1497394737 @default.
- W1497394737 citedByCount "0" @default.
- W1497394737 crossrefType "book" @default.
- W1497394737 hasAuthorship W1497394737A5045761282 @default.
- W1497394737 hasAuthorship W1497394737A5055010007 @default.
- W1497394737 hasConcept C138885662 @default.
- W1497394737 hasConcept C15708023 @default.
- W1497394737 hasConcept C176181172 @default.
- W1497394737 hasConcept C199360897 @default.
- W1497394737 hasConcept C26713055 @default.
- W1497394737 hasConcept C41008148 @default.
- W1497394737 hasConcept C80444323 @default.
- W1497394737 hasConceptScore W1497394737C138885662 @default.
- W1497394737 hasConceptScore W1497394737C15708023 @default.
- W1497394737 hasConceptScore W1497394737C176181172 @default.
- W1497394737 hasConceptScore W1497394737C199360897 @default.
- W1497394737 hasConceptScore W1497394737C26713055 @default.
- W1497394737 hasConceptScore W1497394737C41008148 @default.
- W1497394737 hasConceptScore W1497394737C80444323 @default.
- W1497394737 hasLocation W14973947371 @default.
- W1497394737 hasOpenAccess W1497394737 @default.
- W1497394737 hasPrimaryLocation W14973947371 @default.
- W1497394737 hasRelatedWork W1484760601 @default.
- W1497394737 hasRelatedWork W16010097 @default.
- W1497394737 hasRelatedWork W1606515376 @default.
- W1497394737 hasRelatedWork W1972793396 @default.
- W1497394737 hasRelatedWork W1989143099 @default.
- W1497394737 hasRelatedWork W200668331 @default.
- W1497394737 hasRelatedWork W2064072219 @default.
- W1497394737 hasRelatedWork W2082975296 @default.
- W1497394737 hasRelatedWork W2096276203 @default.
- W1497394737 hasRelatedWork W2123991219 @default.
- W1497394737 hasRelatedWork W2262203521 @default.
- W1497394737 hasRelatedWork W2268492982 @default.
- W1497394737 hasRelatedWork W2519649552 @default.
- W1497394737 hasRelatedWork W2912080487 @default.
- W1497394737 hasRelatedWork W2913677456 @default.
- W1497394737 hasRelatedWork W2466513755 @default.
- W1497394737 hasRelatedWork W2473545592 @default.
- W1497394737 hasRelatedWork W2511532876 @default.
- W1497394737 hasRelatedWork W2522802623 @default.
- W1497394737 hasRelatedWork W2523012337 @default.
- W1497394737 isParatext "false" @default.
- W1497394737 isRetracted "false" @default.
- W1497394737 magId "1497394737" @default.
- W1497394737 workType "book" @default.