Translation
powered by 
search result for Algebraic Specification Language in Computing (FOLDOC) dictionary
TMGCLAMtuple calculusCIMS PL/ISITBOLSQL serverSASMaker Interchange Formatcross-platformCOLDMarseille PrologTPSProgram Design LanguageJOSSTwentelEqnYAPSGEOSOBJ3Cluster 86Object CHILLSPALPHAE-ForthMandalaPascal-mGeraldC-PrologSUPERMACCO2ACT++Sather-KPL-6semantic gapwarchalkCOBOL fingersAvalon/C++Twente Compiler Generator SystemIPLJava Development KitrunesPUBDistributed ProcessesSTACFIDILCoherent Parallel CEmbedded Lisp InterpreterArray TheoryEnterprise JavaBeansPOP-1Met-EnglishTurbo PrologMad/1PL/PROPHETPP96instruction setHPCode-PlusPandoraNational Database LanguageTeX-78object-oriented languageBLISS-36Z++INSIGHTHEQScompiler-compilercomma3DOMAGNUMSpice LispPascal-FCScratchpad IDelta-Prologlazy sml2cEmacs LispWAMFutureBasiclogic programmingquote chapter and verseknowledge base