{"title":"AF-Raf:一种具有代数数据类型的面向代理的编程语言","authors":"C. Grigore, Rem W. Collier","doi":"10.1145/2095050.2095081","DOIUrl":null,"url":null,"abstract":"Agent-oriented programming languages used in practice do not have good type systems. It is generally accepted in the programming languages community that types help developers to write correct programs. We present an agent-oriented programming language that uses algebraic data types for dynamically checking beliefs and messages.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"AF-Raf: an agent-oriented programming language with algebraic data types\",\"authors\":\"C. Grigore, Rem W. Collier\",\"doi\":\"10.1145/2095050.2095081\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Agent-oriented programming languages used in practice do not have good type systems. It is generally accepted in the programming languages community that types help developers to write correct programs. We present an agent-oriented programming language that uses algebraic data types for dynamically checking beliefs and messages.\",\"PeriodicalId\":143880,\"journal\":{\"name\":\"SPLASH Workshops\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-10-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SPLASH Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2095050.2095081\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SPLASH Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2095050.2095081","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
AF-Raf: an agent-oriented programming language with algebraic data types
Agent-oriented programming languages used in practice do not have good type systems. It is generally accepted in the programming languages community that types help developers to write correct programs. We present an agent-oriented programming language that uses algebraic data types for dynamically checking beliefs and messages.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
