The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics . The language is strictly theoretical, no compilers exist. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.

PropertyValue
dbpprop:abstract
  • The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics . The language is strictly theoretical, no compilers exist. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.
  • Comandos guardados (GCL) —órdenes guardadas— es un modelo de lenguaje definido por Edsger Dijkstra para semántica de transformación de predicados (una extensión lógica diseñada para proporcionar una metodología para desarrollar programas "correctos por construcción" en un lenguaje imperativo). Tiene un conjunto especial de construcciones de condición y de bucle. El elemento más básico del lenguaje es el comando guardado ó comando con guarda.
  • Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である
  • GCL staat voor de Guarded Command Language. Dit is enkel een theoretische taal, er bestaan geen compilers om deze taal om te zetten in een uitvoerbaar programma. Het combineert de meest basale programmeerconcepten op een zeer compacte manier, en deze zijn vervolgens gemakkelijk om te zetten naar de programmeertaal naar keuze. Vanwege de eenvoudigheid zijn de programma's veel makkelijker te bewijzen op correctheid, met behulp van de Hoarelogica. De taal bestaat uit de volgende vijf statements: Skip Skip doet niets. In sommige situaties is het handig om dit statement te kunnen gebruiken. Toewijzing x := y Catenatie statement1; statement2 Deze constructie wordt gebruikt om twee statements aan elkaar te koppelen. statement1 zal eerst uitgevoerd worden, daarna statement2. Selectie if P <math>\rightarrow</math> statement <math>\neg</math>P<math>\rightarrow</math> statement fi waarbij P een propositie is. De maken het mogelijk om de juiste statements bij andere proposities uit te voeren. Er is geen beperking aan het aantal van zulke blokken in een selectiestatement. Repetitie do P <math>\rightarrow</math> statement od waarbij P een propositie is. Zolang P voldoet wordt het statement uitgevoerd.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics . The language is strictly theoretical, no compilers exist. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.
  • Comandos guardados (GCL) —órdenes guardadas— es un modelo de lenguaje definido por Edsger Dijkstra para semántica de transformación de predicados (una extensión lógica diseñada para proporcionar una metodología para desarrollar programas "correctos por construcción" en un lenguaje imperativo). Tiene un conjunto especial de construcciones de condición y de bucle. El elemento más básico del lenguaje es el comando guardado ó comando con guarda.
  • Guarded Command Language（GCL）とは、エドガー・ダイクストラが述語変換意味論向けに定義した言語である
  • GCL staat voor de Guarded Command Language. Dit is enkel een theoretische taal, er bestaan geen compilers om deze taal om te zetten in een uitvoerbaar programma. Het combineert de meest basale programmeerconcepten op een zeer compacte manier, en deze zijn vervolgens gemakkelijk om te zetten naar de programmeertaal naar keuze. Vanwege de eenvoudigheid zijn de programma's veel makkelijker te bewijzen op correctheid, met behulp van de Hoarelogica.
rdfs:label
  • Guarded Command Language
  • Comandos Guardados
  • Guarded Command Language
  • GCL
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of