MIL-C-81740 (NOTICE 2)
作者:标准资料网 时间:2024-05-16 15:11:31 浏览:8065
来源:标准资料网
MIL-C-81740 (NOTICE 2), MILITARY SPECIFICATION: COATINGS, ALUMINUM AND ALUMINUM ALLOYS (METALLIC COMPOUND DECOMPOSITION) (09 OCT 1996) [NO S/S DOCUMENT]., MIL-C-81740(AS), dated 15 August 1969, and Notice 1, are hereby canceled without replacement.
【英文标准名称】:Healthinformatics-Documentregistryframework
【原文标准名称】:保健信息学.文件登记框架
【标准号】:ISO/TS27790-2009
【标准状态】:现行
【国别】:国际
【发布日期】:2009-12
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/TC215
【标准类型】:()
【标准水平】:()
【中文主题词】:计算机科学;数据;数据交换;数据格式;数据处理;文献;电子数据交换;电子系统;框架;信息处理;信息技术;医疗信息学;医学科学;公共卫生;注册;系统建筑学
【英文主题词】:Computersciences;Data;Dataexchange;Dataformats;Dataprocessing;Documents;ElectronicDataInterchanges;Electronicsystems;Frames;Informationprocessing;Informationtechnology;Medicalinformatics;Medicalsciences;Publichealth;Registration;Systemarchitecture
【摘要】:
【中国标准分类号】:C07
【国际标准分类号】:35_240_80
【页数】:24P;A4
【正文语种】:英语
【英文标准名称】:Informationtechnology-Programminglanguages-Prolog-Generalcore
【原文标准名称】:信息技术.编程语言.Prolog语言.通用芯
【标准号】:BSISO/IEC13211-1-1995
【标准状态】:现行
【国别】:英国
【发布日期】:1995-10-15
【实施或试行日期】:1995-10-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:高级语言;合格;句法;计算机软件;数据表示;程序设计;程序设计语言;语义学;数据处理
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Prolog;Semantics;Syntax
【摘要】:ISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologtextanddataamongavarietyofdataprocessingsystems.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtext,b)ThesyntaxandconstraintsoftheProloglanguage,c)ThesemanticrulesforinterpretingPrologtext,d)TherepresentationofinputdatatobeprocessedbyProlog,e)TherepresentationofoutputproducedbyProlog,andf)TherestrictionsandlimitsimposedonaconformingPrologprocessor.NOTE—ThispartofISO/IEC13211doesnotspecify:a)thesizeorcomplexityofPrologtextthatwillexceedthecapacityofanyspecificdataprocessingsystemorlanguageprocessor,ortheactionstobetakenwhenthecorrespondinglimitsareexceeded;b)theminimalrequirementsofadataprocessingsystemthatiscapableofsupportinganimplementationofaPrologprocessor;c)themethodsofactivatingthePrologprocessororthesetofcommandsusedtocontroltheenvironmentinwhichPrologtextispreparedforexecutionandexecuted;d)themechanismsbywhichPrologtextispreparedforusebyadataprocessingsystem;e)thetypographicalrepresentationofPrologtextpublishedforhumanreading;f)theuserenvironment(toplevelloop,debugger,librarysystem,editor,compileretc.)ofaPrologprocessor.ThispartofISO/IEC13211isintendedforusebyimplementorsandknowledgeableprogrammers,andisnotatutorial.1NotesNotesinthispartofISO/IEC13211havenoeffectonthelanguage,PrologtextorPrologprocessorsthataredefinedasconformingtothispartofISO/IEC13211.Reasonsforincludinganoteinclude;a)CrossreferencestootherclausesandsubclausesofthispartofISO/IEC13211inordertohelpreadersfindtheirwayaround,b)Warningswhenabuilt-inpredicateasdefinedinthispartofISO/IEC13211hasadifferentmeaninginsomeexistingimplementations.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:216P.;A4
【正文语种】:英语
