首页 > 最新文献

Concepts and Semantics of Programming Languages 1最新文献

英文 中文
Types 类型
Pub Date : 2018-12-07 DOI: 10.1017/9781316683002.028
K. Franck, Te-Sheng Huang
class Human { protected int id; public void setID (int id) { this.id = id; } public abstract boolean isHappy (); public void print () { System.out.println(id + ", " + isHappy()); } } class Parent extends Human { public Parent (int id) { setID (id); } public boolean isHappy () { return false; } // overloading public boolean isHappy (int age) { if (age < 25) { return true; } else { return false; } } // overriding public void print () { System.out.printf("ID %d is %sn", id, isHappy()); } } class Child extends Human { public Child (int id) { setID (id); } public boolean isHappy () { return true; } } CS333 Types Fall 2021 ‣ Java can allow one subclass extend from one super class, but it allows a class implement multiple interfaces.
类人类{保护int id;公共无效setID (int id){这。Id = Id;}公共抽象布尔isHappy ();public void print () {System.out。println(id + ", " + isHappy());}}类父扩展人类{公共父(int id) {setID (id);}公共布尔isHappy(){返回false;} //重载公共布尔值isHappy (int age) {if (age < 25){返回true;} else{返回false;}} //重写public void print () {System.out。printf("ID %d是%sn", ID, isHappy());}}类Child扩展Human {public Child (int id) {setID (id);}公共布尔isHappy(){返回true;Java可以允许一个子类从一个超类扩展,但是它允许一个类实现多个接口。
{"title":"Types","authors":"K. Franck, Te-Sheng Huang","doi":"10.1017/9781316683002.028","DOIUrl":"https://doi.org/10.1017/9781316683002.028","url":null,"abstract":"class Human { protected int id; public void setID (int id) { this.id = id; } public abstract boolean isHappy (); public void print () { System.out.println(id + \", \" + isHappy()); } } class Parent extends Human { public Parent (int id) { setID (id); } public boolean isHappy () { return false; } // overloading public boolean isHappy (int age) { if (age < 25) { return true; } else { return false; } } // overriding public void print () { System.out.printf(\"ID %d is %sn\", id, isHappy()); } } class Child extends Human { public Child (int id) { setID (id); } public boolean isHappy () { return true; } } CS333 Types Fall 2021 ‣ Java can allow one subclass extend from one super class, but it allows a class implement multiple interfaces.","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132111990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Other titles from iSTE in Computer Engineering 其他来自iSTE计算机工程的头衔
Pub Date : 2015-04-30 DOI: 10.1002/9781119058755.oth2
P. Muneesawang, S. Yammen
{"title":"Other titles from iSTE in Computer Engineering","authors":"P. Muneesawang, S. Yammen","doi":"10.1002/9781119058755.oth2","DOIUrl":"https://doi.org/10.1002/9781119058755.oth2","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122426254","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Conclusion 结论
Pub Date : 1900-01-01 DOI: 10.1002/9781119824121.oth1
{"title":"Conclusion","authors":"","doi":"10.1002/9781119824121.oth1","DOIUrl":"https://doi.org/10.1002/9781119824121.oth1","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125352935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
List of Notations 注释一览表
Pub Date : 1900-01-01 DOI: 10.1017/CBO9780511897351.010
J. Miles
{"title":"List of Notations","authors":"J. Miles","doi":"10.1017/CBO9780511897351.010","DOIUrl":"https://doi.org/10.1017/CBO9780511897351.010","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126776658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Index 指数
Pub Date : 1900-01-01 DOI: 10.1002/9781119824121.index
{"title":"Index","authors":"","doi":"10.1002/9781119824121.index","DOIUrl":"https://doi.org/10.1002/9781119824121.index","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114244163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Pointers and Memory Management 指针和内存管理
Pub Date : 1900-01-01 DOI: 10.1002/9781119824121.ch7
T. Karvi
{"title":"Pointers and Memory Management","authors":"T. Karvi","doi":"10.1002/9781119824121.ch7","DOIUrl":"https://doi.org/10.1002/9781119824121.ch7","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"94 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121003932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Introduction to Semantics of Programming Languages 程序设计语言语义导论
Pub Date : 1900-01-01 DOI: 10.1002/9781119824121.ch2
{"title":"Introduction to Semantics of Programming Languages","authors":"","doi":"10.1002/9781119824121.ch2","DOIUrl":"https://doi.org/10.1002/9781119824121.ch2","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133402844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
From Hardware to Software 从硬件到软件
Pub Date : 1900-01-01 DOI: 10.4324/9780203070819-18
Paul Polak
Over the past 15 years, IDE has focussed on identifying and mass marketing “killer technologies” like Treadle Pumps and low cost drip systems. This has been a remarkably successful way to increase the income and agricultural productivity of small poor farmers. But in the last few years our customers have repeatedly told us that they need something more. Some of them need reliable high quality seeds; others fertilizers; and still others effective ways to deal with pests and crop diseases. Most of them need access to critical information about farming. Has the time come to broaden our single minded focus on hardware to incorporate selected agricultural inputs and critical information about farming into the core IDE package?
在过去的15年里,IDE一直专注于识别和大规模营销“杀手级技术”,如踏板泵和低成本滴注系统。这是增加贫困小农收入和农业生产力的一个非常成功的方法。但在过去的几年里,我们的客户一再告诉我们,他们需要更多的东西。有的需要可靠的优质种子;其他肥料;还有其他有效的方法来对付害虫和作物疾病。他们中的大多数人需要获得有关农业的关键信息。现在是时候拓宽我们对硬件的单一关注,将选定的农业投入和有关农业的关键信息纳入核心IDE包中了吗?
{"title":"From Hardware to Software","authors":"Paul Polak","doi":"10.4324/9780203070819-18","DOIUrl":"https://doi.org/10.4324/9780203070819-18","url":null,"abstract":"Over the past 15 years, IDE has focussed on identifying and mass marketing “killer technologies” like Treadle Pumps and low cost drip systems. This has been a remarkably successful way to increase the income and agricultural productivity of small poor farmers. But in the last few years our customers have repeatedly told us that they need something more. Some of them need reliable high quality seeds; others fertilizers; and still others effective ways to deal with pests and crop diseases. Most of them need access to critical information about farming. Has the time come to broaden our single minded focus on hardware to incorporate selected agricultural inputs and critical information about farming into the core IDE package?","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131167945","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Semantics of Imperative Features 命令式特征的语义
Pub Date : 1900-01-01 DOI: 10.1002/9781119824121.ch4
{"title":"Semantics of Imperative Features","authors":"","doi":"10.1002/9781119824121.ch4","DOIUrl":"https://doi.org/10.1002/9781119824121.ch4","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"63 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114101789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Index of Programs 节目索引
Pub Date : 1900-01-01 DOI: 10.1016/b978-0-12-464990-3.50019-0
Abrams Tank
{"title":"Index of Programs","authors":"Abrams Tank","doi":"10.1016/b978-0-12-464990-3.50019-0","DOIUrl":"https://doi.org/10.1016/b978-0-12-464990-3.50019-0","url":null,"abstract":"","PeriodicalId":174829,"journal":{"name":"Concepts and Semantics of Programming Languages 1","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123480707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Concepts and Semantics of Programming Languages 1
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1