M. Harrison, S. Graham, K. Kennedy, Meera Blattner
The aim of this session is to survey some advances in theoretical computer science and their impact on the design of programming language compilers. There has been considerable research activity in three major areas: the analysis of program syntax (parsing), the detection of errors at compile time, and the optimization of compiled code. The tutorials presented here do not purport to summarize all the work that has been done; instead, they attempt to capture the flavor of current research in these areas and demonstrate its practical importance.
{"title":"Theoretical results in compiler design and implementation (Tutorial Session)","authors":"M. Harrison, S. Graham, K. Kennedy, Meera Blattner","doi":"10.1145/800191.805518","DOIUrl":"https://doi.org/10.1145/800191.805518","url":null,"abstract":"The aim of this session is to survey some advances in theoretical computer science and their impact on the design of programming language compilers. There has been considerable research activity in three major areas: the analysis of program syntax (parsing), the detection of errors at compile time, and the optimization of compiled code. The tutorials presented here do not purport to summarize all the work that has been done; instead, they attempt to capture the flavor of current research in these areas and demonstrate its practical importance.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"613 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131730248","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}
Risch's decision procedure for determining the integrability in closed form of the elementary functions of the calculus is presented via examples. The exponential and logarithmic cases of the algorithms had been implemented for the MACSYMA system several years ago. The implementation of the algebraic case of the algorithm is the subject of current research.
{"title":"An introduction to the Risch integration algorithm","authors":"J. Moses","doi":"10.1145/800191.805632","DOIUrl":"https://doi.org/10.1145/800191.805632","url":null,"abstract":"Risch's decision procedure for determining the integrability in closed form of the elementary functions of the calculus is presented via examples. The exponential and logarithmic cases of the algorithms had been implemented for the MACSYMA system several years ago. The implementation of the algebraic case of the algorithm is the subject of current research.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134085067","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}
Reconsideration of “Curriculum '68” by the ACM Curriculum Committee on Computer Science (C3S) has been in progress for several years. A first draft of an updated report is currently being considered by C3S. It incorporates material previously available as interim reports. Computer science topics appropriate to the first two years of a baccalaureate degree program are specified and sample course outlines are given. Based on this background, intermediate level topics are specified which together with the first two year requirements identifies a “core” of material appropriate to all computer science majors. Additional topics and courses which could be elected by students to complete their undergraduate requirements for a major are provided. Matters such as service courses, equipment and faculty resources, and graduate study are also addressed in the report. There are significant similiarities and differences between this report and “Curriculum'68” which exemplify current trends and developments within computer science.
{"title":"Curriculum recommendations in computer science (Panel Discussion)","authors":"R. Austing, M. Mulder, N. Gibbs, G. Engel","doi":"10.1145/800191.805549","DOIUrl":"https://doi.org/10.1145/800191.805549","url":null,"abstract":"Reconsideration of “Curriculum '68” by the ACM Curriculum Committee on Computer Science (C3S) has been in progress for several years. A first draft of an updated report is currently being considered by C3S. It incorporates material previously available as interim reports.\u0000 Computer science topics appropriate to the first two years of a baccalaureate degree program are specified and sample course outlines are given. Based on this background, intermediate level topics are specified which together with the first two year requirements identifies a “core” of material appropriate to all computer science majors. Additional topics and courses which could be elected by students to complete their undergraduate requirements for a major are provided. Matters such as service courses, equipment and faculty resources, and graduate study are also addressed in the report.\u0000 There are significant similiarities and differences between this report and “Curriculum'68” which exemplify current trends and developments within computer science.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134536864","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}
Minicomputer-based data entry systems often lack the capability to validate specialized and complex data in many applications. One such application is in the entry of taxonomic data produced in ecological studies. An Ecological Data Validation System (EDVAL) has been developed to facilitate the entry of such data. EDVAL is a subsystem of a minicomputer-based key entry system. The techniques used to implement EDVAL and the value of the system are discussed. The use of EDVAL is illustrated.
{"title":"On-line Ecological Data Validation: an expansion of a minicomputer-based key entry system","authors":"M. Lane, Henry K. Hess","doi":"10.1145/800191.805593","DOIUrl":"https://doi.org/10.1145/800191.805593","url":null,"abstract":"Minicomputer-based data entry systems often lack the capability to validate specialized and complex data in many applications. One such application is in the entry of taxonomic data produced in ecological studies. An Ecological Data Validation System (EDVAL) has been developed to facilitate the entry of such data. EDVAL is a subsystem of a minicomputer-based key entry system. The techniques used to implement EDVAL and the value of the system are discussed. The use of EDVAL is illustrated.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133100462","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}
Heavily used plotter- and computer-independent graphics facilities are supported for a large IBM batch and time-sharing installation. JCL-selectable plotter drivers present a common interface to the supported graphics packages. Their selection can be made at linkedit or at execution time. Driver output can go to line printers, pen plotters, electrostatic plotters, microfilm recorders, or terminals for plotting; or driver output can go to OS datasets for later post-processing. The drivers self-initiate, their output is self-identifying, they self-terminate at either normal or abnormal job end, and they provide for automatic accounting. Extensive documentation and user support is supplied.
{"title":"Computer graphics at a large IBM installation","authors":"R. Clark","doi":"10.1145/800191.805564","DOIUrl":"https://doi.org/10.1145/800191.805564","url":null,"abstract":"Heavily used plotter- and computer-independent graphics facilities are supported for a large IBM batch and time-sharing installation. JCL-selectable plotter drivers present a common interface to the supported graphics packages. Their selection can be made at linkedit or at execution time. Driver output can go to line printers, pen plotters, electrostatic plotters, microfilm recorders, or terminals for plotting; or driver output can go to OS datasets for later post-processing. The drivers self-initiate, their output is self-identifying, they self-terminate at either normal or abnormal job end, and they provide for automatic accounting. Extensive documentation and user support is supplied.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122973342","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}
The measurement of computational work in computer systems traditionally relied heavily on indicators of hardware. Unfortunately, these indicators have a low correlation to the user's perception of useful work. This paper defines computations in terms of fundamental bit logical manipulations and shows the user's “useful computational work” can be quantized from a job specification in FORTRAN source statements. The method can be automated yielding a specific quantity of work for a given method FORTRAN program with specified data. The resulting measure of work can be used to obtain ranges of computational power for any system on which the benchmarks are executed.
{"title":"Measuring productive computational work","authors":"M. Talbott","doi":"10.1145/800191.805577","DOIUrl":"https://doi.org/10.1145/800191.805577","url":null,"abstract":"The measurement of computational work in computer systems traditionally relied heavily on indicators of hardware. Unfortunately, these indicators have a low correlation to the user's perception of useful work. This paper defines computations in terms of fundamental bit logical manipulations and shows the user's “useful computational work” can be quantized from a job specification in FORTRAN source statements. The method can be automated yielding a specific quantity of work for a given method FORTRAN program with specified data. The resulting measure of work can be used to obtain ranges of computational power for any system on which the benchmarks are executed.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127990871","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}
E. S. Herndon, James S. Cameron, M. Talbott, B. Lientz, M. Abrams
Selection and evaluation of computer systems and services is becoming increasingly sophisticated and complex. Algorithms for decision-making are being developed and refined. Hardware and software tools are being developed. Following brief presentations of the highlights of the papers, there will be a discussion of key questions including: “What's the difference between procuring systems and services?”, “How much advance work is required to get a pay-off?”,and “What tools are worth using?”
{"title":"SIGMETRICS (Panel Session)","authors":"E. S. Herndon, James S. Cameron, M. Talbott, B. Lientz, M. Abrams","doi":"10.1145/800191.805574","DOIUrl":"https://doi.org/10.1145/800191.805574","url":null,"abstract":"Selection and evaluation of computer systems and services is becoming increasingly sophisticated and complex. Algorithms for decision-making are being developed and refined. Hardware and software tools are being developed. Following brief presentations of the highlights of the papers, there will be a discussion of key questions including: “What's the difference between procuring systems and services?”, “How much advance work is required to get a pay-off?”,and “What tools are worth using?”","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128446882","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}
R. Wilensky, R. F. Simmons, A. Levine, Mitchell P. Marcus, R. Schank
Natural language processing has had a spurt of interest in recent years, due in part to a new focus on the representation and structure of knowledge. The papers in this session cover all ends of natural language research, parsing, generating, and memory and inference. The advances to be reported on here indicate that the possibility of natural communication with machines may be closer than had been anticipated.
{"title":"SIGART (Paper Session)","authors":"R. Wilensky, R. F. Simmons, A. Levine, Mitchell P. Marcus, R. Schank","doi":"10.1145/800191.805523","DOIUrl":"https://doi.org/10.1145/800191.805523","url":null,"abstract":"Natural language processing has had a spurt of interest in recent years, due in part to a new focus on the representation and structure of knowledge. The papers in this session cover all ends of natural language research, parsing, generating, and memory and inference. The advances to be reported on here indicate that the possibility of natural communication with machines may be closer than had been anticipated.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128505479","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}
This paper presents a methodology for, and an evaluation of the feasibility of converting a typical data processing system to a data base management system. This methodology is applied to a particular system. The data base management system under evaluation uses a back-end mini-computer to perform the data management functions. The evaluation is made in terms of changes in system resources, program requirements, and human factors. The results of this study provide considerable insight into the problem of conversion to a data base management system, and suggest guidelines for the evaluation of any proposed data base conversions.
{"title":"Evaluation of conversion to a back-end data base management system","authors":"F. Maryanski, P. Fisher, V. Wallentine","doi":"10.1145/800191.805601","DOIUrl":"https://doi.org/10.1145/800191.805601","url":null,"abstract":"This paper presents a methodology for, and an evaluation of the feasibility of converting a typical data processing system to a data base management system. This methodology is applied to a particular system. The data base management system under evaluation uses a back-end mini-computer to perform the data management functions. The evaluation is made in terms of changes in system resources, program requirements, and human factors. The results of this study provide considerable insight into the problem of conversion to a data base management system, and suggest guidelines for the evaluation of any proposed data base conversions.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115561298","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}
Ronald W. Hagen, L. J. Thomas, Janet A. Thomas, B. F. Maskewitz, R. Henne, W. McClain, A. Safir, C. Kulikowski, W. Lively
Every year advances in computer systems and technology cause increased usage of the computer as a tool to further improve health care delivery. This session endeavors to present some of the more recent trends of computer applications in the field of medicine. Papers in this session will cover physiologic research systems, diagnostic system and medical computer program information centers.
{"title":"SIGBIO (Paper Session)","authors":"Ronald W. Hagen, L. J. Thomas, Janet A. Thomas, B. F. Maskewitz, R. Henne, W. McClain, A. Safir, C. Kulikowski, W. Lively","doi":"10.1145/800191.805541","DOIUrl":"https://doi.org/10.1145/800191.805541","url":null,"abstract":"Every year advances in computer systems and technology cause increased usage of the computer as a tool to further improve health care delivery. This session endeavors to present some of the more recent trends of computer applications in the field of medicine. Papers in this session will cover physiologic research systems, diagnostic system and medical computer program information centers.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114375004","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：