发布求助
文献互助 智能选刊 最新文献

Computer/law journal最新文献

筛选
英文 中文
First Steps Towards Fully Abstract Semantics for Object-Oriented Languages 面向对象语言的完全抽象语义的第一步
Computer/law journal Pub Date : 1989-07-01 DOI: 10.1093/comjnl/32.4.290
P. Yelland
{"title":"First Steps Towards Fully Abstract Semantics for Object-Oriented Languages","authors":"P. Yelland","doi":"10.1093/comjnl/32.4.290","DOIUrl":"https://doi.org/10.1093/comjnl/32.4.290","url":null,"abstract":"","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"55 1","pages":"347-364"},"PeriodicalIF":0.0,"publicationDate":"1989-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80198543","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}
引用次数: 18
A Proposal for Making Eiffel Type-Safe 一个使Eiffel类型安全的建议
Computer/law journal Pub Date : 1989-07-01 DOI: 10.1093/comjnl/32.4.305
W. Cook
{"title":"A Proposal for Making Eiffel Type-Safe","authors":"W. Cook","doi":"10.1093/comjnl/32.4.305","DOIUrl":"https://doi.org/10.1093/comjnl/32.4.305","url":null,"abstract":"Statically type-correct Eiffel programs may produce run-time errors because (1) attributes may be redeclared during inheritance, invalidating assignments in the superclass, (2) a formal method argument type may be restricted in violation of the contravariance of function types, and (3) two applications of a generic class are assumed to conform if the actual arguments conform. The third problem is solved by case analysis on the variance of generic parameters. Declaration by association provides a solution to the first two problems, but it suffers from additional difficulties. Type attributes, or generic parameters with default values, are suggested as a replacement for most cases of declaration by association. The special association type used to express type recursion cannot be explained using type attributes, and it appears to be a truly novel construct for typing object-oriented programs. One consequence of this construct is that Eiffel’s conformance hierarchy is a proper subset of its inheritance hierarchy. To appear in the Proceedings of the European Conference on ObjectOriented Programming, 10-14 July, 1989, and in The Computer Journal, September 1989.","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"27 1","pages":"57-70"},"PeriodicalIF":0.0,"publicationDate":"1989-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84535041","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}
引用次数: 209
The Treatment of Persistent Objects in Arjuna 阿诸那对执着物的处理
Computer/law journal Pub Date : 1989-07-01 DOI: 10.1093/comjnl/32.4.323
G. Dixon, G. Parrington, S. Shrivastava, S. Wheater
{"title":"The Treatment of Persistent Objects in Arjuna","authors":"G. Dixon, G. Parrington, S. Shrivastava, S. Wheater","doi":"10.1093/comjnl/32.4.323","DOIUrl":"https://doi.org/10.1093/comjnl/32.4.323","url":null,"abstract":"","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"68 1","pages":"169-189"},"PeriodicalIF":0.0,"publicationDate":"1989-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78256042","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}
引用次数: 61
A Compositional Model for Software Reuse 软件复用的组合模型
Computer/law journal Pub Date : 1989-07-01 DOI: 10.1093/comjnl/32.4.312
R. Raj, H. Levy
{"title":"A Compositional Model for Software Reuse","authors":"R. Raj, H. Levy","doi":"10.1093/comjnl/32.4.312","DOIUrl":"https://doi.org/10.1093/comjnl/32.4.312","url":null,"abstract":"","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"24 1","pages":"3-24"},"PeriodicalIF":0.0,"publicationDate":"1989-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90100036","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}
引用次数: 64
Themes and Trends in Information Systems: TC8, 1975-1985 信息系统的主题和趋势:TC8, 1975-1985
Computer/law journal Pub Date : 1986-02-01 DOI: 10.1093/comjnl/30.2.97
A. A. Verrijn-Stuart
{"title":"Themes and Trends in Information Systems: TC8, 1975-1985","authors":"A. A. Verrijn-Stuart","doi":"10.1093/comjnl/30.2.97","DOIUrl":"https://doi.org/10.1093/comjnl/30.2.97","url":null,"abstract":"","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"4 1","pages":"1-20"},"PeriodicalIF":0.0,"publicationDate":"1986-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75675050","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}
引用次数: 12
Literate Programming 文学编程
Computer/law journal Pub Date : 1984-01-01 DOI: 10.1093/comjnl/27.2.97
D. Knuth
{"title":"Literate Programming","authors":"D. Knuth","doi":"10.1093/comjnl/27.2.97","DOIUrl":"https://doi.org/10.1093/comjnl/27.2.97","url":null,"abstract":"From the Publisher: Including early papers on structured programming, as well as the Computer Journal article that launched its study, this anthology of essays from the inventor of literate programming also contains excerpts from the programs for TEX and METAFONT and CWEB, a system for literate programming in C and related languages.","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"23 1","pages":"I-XV, 1-368"},"PeriodicalIF":0.0,"publicationDate":"1984-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78800707","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}
引用次数: 1693
MEMBERS - a Microprogrammed Experimental Machine with a Basic Executive for Real-time Systems 一个微程序实验机器与一个基本执行实时系统
Computer/law journal Pub Date : 1974-08-01 DOI: 10.1145/800232.807037
J. Broadbent, G. Coulouris
{"title":"MEMBERS - a Microprogrammed Experimental Machine with a Basic Executive for Real-time Systems","authors":"J. Broadbent, G. Coulouris","doi":"10.1145/800232.807037","DOIUrl":"https://doi.org/10.1145/800232.807037","url":null,"abstract":"The aims and methods of a project investigating the direct interpretation of a high level language and operating system by microprogram on a small machine are outlined. Some features of the language specifically designed for interpretation by microprogram are described in the context of other related work. Some factors involved in the use of microprogramming as a system development method are discussed.","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"80 1","pages":"154-160"},"PeriodicalIF":0.0,"publicationDate":"1974-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89073636","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}
引用次数: 12
Quicksort Quicksort
Computer/law journal Pub Date : 1962-01-01 DOI: 10.1007/978-0-387-09766-4_2041
A. Foran, Jean-Louis Mathias, Stephen C. Bowden
{"title":"Quicksort","authors":"A. Foran, Jean-Louis Mathias, Stephen C. Bowden","doi":"10.1007/978-0-387-09766-4_2041","DOIUrl":"https://doi.org/10.1007/978-0-387-09766-4_2041","url":null,"abstract":"","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"12 1","pages":"1689"},"PeriodicalIF":0.0,"publicationDate":"1962-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87616351","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}
引用次数: 434
The Performance of a Relational Interface to a Codasyl Database Codasyl数据库的关系接口性能
Computer/law journal Pub Date : 1900-01-01 DOI: 10.1093/comjnl/28.5.501
P. Gray, P. Esslemont
{"title":"The Performance of a Relational Interface to a Codasyl Database","authors":"P. Gray, P. Esslemont","doi":"10.1093/comjnl/28.5.501","DOIUrl":"https://doi.org/10.1093/comjnl/28.5.501","url":null,"abstract":"","PeriodicalId":80982,"journal":{"name":"Computer/law journal","volume":"89 1","pages":"21-34"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88121752","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}
引用次数: 5
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信