Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560937461> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1560937461 abstract "A brief presentation of tools used for program specification is given as background for an example specification of a KWICindex generation program. The example has been presented to the Workshop on Program Specification in Aarhus, Aug. 4. -7., 1981. A program structure is described by means of a module tree. This leads to an identification of modules to be used in a program. The program task is expressed by combined use of modules in an expression that will be the main program when the semantics of the modules has been successfully specified. A module consists of an interface and a body. The semantics of a module is given by the body in a specification language or in ordinary prograraming language. If an ordinary programming language is used the module is said to be implemented, and when all modules are implemented the program is developed. For module implementation a Pascal-like ordinary programming language has been chosen. This has influenced the design of a formal specification language. The formal specification language is the implementation language with its type definition facilities replaced by more idealised ones. The more powerful type-definition facilities are restricted" @default.
- W1560937461 created "2016-06-24" @default.
- W1560937461 creator A5012101352 @default.
- W1560937461 date "1982-01-01" @default.
- W1560937461 modified "2023-09-23" @default.
- W1560937461 title "Program specification by module trees" @default.
- W1560937461 doi "https://doi.org/10.1007/3-540-11490-4_20" @default.
- W1560937461 hasPublicationYear "1982" @default.
- W1560937461 type Work @default.
- W1560937461 sameAs 1560937461 @default.
- W1560937461 citedByCount "0" @default.
- W1560937461 crossrefType "book-chapter" @default.
- W1560937461 hasAuthorship W1560937461A5012101352 @default.
- W1560937461 hasConcept C116253237 @default.
- W1560937461 hasConcept C119263510 @default.
- W1560937461 hasConcept C15077461 @default.
- W1560937461 hasConcept C184337299 @default.
- W1560937461 hasConcept C199360897 @default.
- W1560937461 hasConcept C201677973 @default.
- W1560937461 hasConcept C34165917 @default.
- W1560937461 hasConcept C41008148 @default.
- W1560937461 hasConcept C44779574 @default.
- W1560937461 hasConcept C50033165 @default.
- W1560937461 hasConcept C75608658 @default.
- W1560937461 hasConcept C90069079 @default.
- W1560937461 hasConceptScore W1560937461C116253237 @default.
- W1560937461 hasConceptScore W1560937461C119263510 @default.
- W1560937461 hasConceptScore W1560937461C15077461 @default.
- W1560937461 hasConceptScore W1560937461C184337299 @default.
- W1560937461 hasConceptScore W1560937461C199360897 @default.
- W1560937461 hasConceptScore W1560937461C201677973 @default.
- W1560937461 hasConceptScore W1560937461C34165917 @default.
- W1560937461 hasConceptScore W1560937461C41008148 @default.
- W1560937461 hasConceptScore W1560937461C44779574 @default.
- W1560937461 hasConceptScore W1560937461C50033165 @default.
- W1560937461 hasConceptScore W1560937461C75608658 @default.
- W1560937461 hasConceptScore W1560937461C90069079 @default.
- W1560937461 hasLocation W15609374611 @default.
- W1560937461 hasOpenAccess W1560937461 @default.
- W1560937461 hasPrimaryLocation W15609374611 @default.
- W1560937461 hasRelatedWork W1509118182 @default.
- W1560937461 hasRelatedWork W1529919335 @default.
- W1560937461 hasRelatedWork W1559579193 @default.
- W1560937461 hasRelatedWork W1857116359 @default.
- W1560937461 hasRelatedWork W194610784 @default.
- W1560937461 hasRelatedWork W2015436724 @default.
- W1560937461 hasRelatedWork W2024024272 @default.
- W1560937461 hasRelatedWork W2055330256 @default.
- W1560937461 hasRelatedWork W2071986313 @default.
- W1560937461 hasRelatedWork W2325262602 @default.
- W1560937461 hasRelatedWork W2606265537 @default.
- W1560937461 hasRelatedWork W2743135336 @default.
- W1560937461 hasRelatedWork W2915212914 @default.
- W1560937461 hasRelatedWork W77730470 @default.
- W1560937461 hasRelatedWork W1567799319 @default.
- W1560937461 hasRelatedWork W2283328129 @default.
- W1560937461 hasRelatedWork W2775487776 @default.
- W1560937461 hasRelatedWork W2859467618 @default.
- W1560937461 hasRelatedWork W2869578479 @default.
- W1560937461 hasRelatedWork W2879409787 @default.
- W1560937461 isParatext "false" @default.
- W1560937461 isRetracted "false" @default.
- W1560937461 magId "1560937461" @default.
- W1560937461 workType "book-chapter" @default.