Translation
powered by 
search result for Dijkstra's guarded command language in Computing (FOLDOC) dictionary
perspectiveBerkeley NetworkLeague for Programming FreedomexecencryptionUniform Naming Conventionsystem softwarecokebottleYTalkPL/Iobject-oriented databasePKZIPGlishSRC Modula-3RSTS/ERISC OScandygrammarO-LogicNIAMHLLAPIQUINprint serverdata hierarchyDomain Name SystemEQLOGBOSSILOCESMLGIM-1HelixPROGRESDSSSLFOSILESPOLshelfEBNFAMPPL-IIIQLBLISSMeta-IVKRSLAP4ALDiSPOOGLASDLSPSATLASsymbolic linkSimulating Digital Systemsby handMATH-MATIC or MATHMATICCYBILPlanetRBASICSYDELMENTORVAXsetPort LanguageTRANDIRPlaygroundSNAPchainCHILLMarkowitzTBILFMPLMACETMDLASPOLATOLLSAMEVRMLOOPLLIMDEPSAD SAMVDM-SLAPALRT-CDLtinman+REFAL