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

Proceedings. 1988 International Conference on Computer Languages最新文献

筛选
英文 中文
Visual languages and software specifications 可视化语言和软件规范
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13080
S. Yau, Xiaoping Jia
{"title":"Visual languages and software specifications","authors":"S. Yau, Xiaoping Jia","doi":"10.1109/ICCL.1988.13080","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13080","url":null,"abstract":"The important issues and major features of visual languages are summarized, and their impact on software engineering, especially software specification techniques, are discussed. The potential of using visual languages for software specifications to improve software reliability, modifiability, reusability, and understandability is also considered.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131385907","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}
引用次数: 7
Object oriented programming (OOP) and its relevance to designing intelligent software systems 面向对象编程(OOP)及其与智能软件系统设计的关系
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13070
H. Wechsler, D. Rine
{"title":"Object oriented programming (OOP) and its relevance to designing intelligent software systems","authors":"H. Wechsler, D. Rine","doi":"10.1109/ICCL.1988.13070","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13070","url":null,"abstract":"The development of large software packages requires not only modularity but also the capability to experiment and change. Such a capability is akin to self-organization characteristics of adaptive systems. It is suggested that computer-aided software engineering (CASE) can benefit from the development retrainable software modules, where both the data structures and the algorithms performing on them are subject to evolutionary change. Such an approach is modeled after the AI (artificial-intelligence) methodology of reasoning by analogy, and it can be naturally implemented through the paradigm of object-oriented programming languages, which provide an exploratory software environment in which changes resulting from feedback to the system are easy to track and implement. The benefits of OOP to major software development areas involved with resource allocation, computer vision, and the service industry are discussed.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131889948","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
A specification language for real-time distributed systems 实时分布式系统的规范语言
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13072
Carl K. Chang, T. Jiang, M. Aoyama
{"title":"A specification language for real-time distributed systems","authors":"Carl K. Chang, T. Jiang, M. Aoyama","doi":"10.1109/ICCL.1988.13072","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13072","url":null,"abstract":"The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets. In addition to the modeling capability of EMPN and EMPNDL, methods for verification and validation of such systems are also discussed. EMPN and EMPNDL have been extensively used to the specification of a prototype switching system, UICPBX. Based on the presented formulation, verification and validation of UICPBX can be automated to a great extent.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122429143","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
KSL: a reflective object-oriented programming language KSL:一种反射的面向对象编程语言
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13063
M. Ibrahim, F. Cummins
{"title":"KSL: a reflective object-oriented programming language","authors":"M. Ibrahim, F. Cummins","doi":"10.1109/ICCL.1988.13063","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13063","url":null,"abstract":"KSL (Knowledge Specification Language) is an object-oriented programming language that supports data abstraction, inheritance, and message-sending. KSL is also fully reflective, as a result of representing all of the language constructs as objects. Reflectivity allows the object paradigm to be applied to: the development, analysis, and translation of KSL; the extension of KSL to implement additional programming paradigms; and the development of applications that modify themselves. The authors provide an overview of KSL, its object representation, and how its reflectivity is achieved.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126127788","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}
引用次数: 14
Efficient retargetable compiler code generation 高效的可重目标编译器代码生成
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13039
P. Hatcher, J. Tuller
{"title":"Efficient retargetable compiler code generation","authors":"P. Hatcher, J. Tuller","doi":"10.1109/ICCL.1988.13039","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13039","url":null,"abstract":"A discussion is presented of the design and implementation of a retargetable code generation system, UNH-CODEGEN, specifically designed for the bottom-up tree pattern matching algorithms. The authors describe experiments in which the system has been used to build compilers. These experiments demonstrate that the system can be used to quickly generate a code generator that will run fast (roughly four times the speed of the Portable C Compiler's code generators), that will be space-efficient, and that will make best use of the underlying machine description.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129397801","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}
引用次数: 7
The use of aFP to design regular array algorithms 利用aFP设计规则数组算法
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13088
Yen-Chun Lin, F. Lin
{"title":"The use of aFP to design regular array algorithms","authors":"Yen-Chun Lin, F. Lin","doi":"10.1109/ICCL.1988.13088","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13088","url":null,"abstract":"The authors introduce a language called aFP (array FP), which is a dialect of FP containing many desirable parallel constructs. It extends FP with additional primitive functions and higher-order functions for the purpose of designing regular arrays. In aFP, the authors describe algorithms in a parallel way to a large degree. The authors give the mappings of aFP functions together with input patterns to regular array structures. The mapped basic array algorithms can then be used as building blocks to construct more complex ones. In addition, aFP can be adapted to be a programming language in programmable systolic systems.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114531466","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}
引用次数: 8
Languages for intelligent specification systems 用于智能规范系统的语言
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13078
F. Golshani, W. T. Scott, P. D. White
{"title":"Languages for intelligent specification systems","authors":"F. Golshani, W. T. Scott, P. D. White","doi":"10.1109/ICCL.1988.13078","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13078","url":null,"abstract":"By writing specifications as theories of a logic system, the authors use proof theory to ensure that (a) the consequences of theory are properties of the object being specified, and (b) any known property of the object can be proven as a theorem of the theory. They define an extension of first-order logic that deals with events with actions. The resulting logic is a special type of modal logic with a notation similar to that of Hoare-style logics. Specifications are theories of this logic.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132368262","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
Distributed programming with shared data 使用共享数据的分布式编程
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13046
H. Bal, A. Tanenbaum
{"title":"Distributed programming with shared data","authors":"H. Bal, A. Tanenbaum","doi":"10.1109/ICCL.1988.13046","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13046","url":null,"abstract":"Operating system primitives (e.g. problem-oriented shared memory, shared virtual memory, the Agora shared memory) and languages (e.g. Concurrent Prolog, Linda, Emerald) for programming distributed systems have been proposed that support the shared-variable paradigm without the presence of physical shared memory. The authors look at the reasons for this evolution, the resemblances and differences among these proposals, and the key issues in their design and implementation. Many implementations are based on replication of data. The authors take this idea one step further, and discuss how automatic replication (initiated by the run-time system) can be used as a basis for a model, called the shared data-object model, whose semantics are similar to the shared variable model. They also discuss the design of a language for distributed programming, Orca, which is based on the shared-data-object model.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134153393","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}
引用次数: 152
Execution of structured analysis specifications with an object oriented Petri net approach 使用面向对象的Petri网方法执行结构化分析规范
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13076
P. Pulli
{"title":"Execution of structured analysis specifications with an object oriented Petri net approach","authors":"P. Pulli","doi":"10.1109/ICCL.1988.13076","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13076","url":null,"abstract":"The dynamic behavior of the basic modeling elements of the real-time structured-analysis specification method has been defined with an object-oriented approach as a hierarchy of classes of Smalltalk-inscribed Petri nets. As a result of this definition, a given instance of a structured-analysis basic modeling element can be derived as an instance of the corresponding net class. These instances can be connected together to form an equivalent net to a given structured-analysis specification. A scheduling algorithm has been defined for Smalltalk-inscribed Petri nets meeting the execution rules for real-time structured analysis. This algorithm has also been implemented in the SPECS specification and prototyping environment, thus allowing the graphic execution of structured-analysis specifications.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"91 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131207306","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}
引用次数: 9
APAS: the Ada Programming Assistant System APAS: Ada编程辅助系统
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13087
M. H. Kim, Y. Shim, C. Ramamoorthy
{"title":"APAS: the Ada Programming Assistant System","authors":"M. H. Kim, Y. Shim, C. Ramamoorthy","doi":"10.1109/ICCL.1988.13087","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13087","url":null,"abstract":"The authors describe a software engineering tool named Ada Programming Assistant System (APAS). The purpose of this tool is to aid a software designer or maintainer working on a large Ada program. APAS manages two kinds of program database, global and local, and provides convenient commands for retrieving information from these program databases. Using these program databases APAS improves the reusability and understandability of software. The authors introduce the C Information Abstractor System, which they have found to be a very useful tool but one in need of some improvement, especially to increase reusability.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134640422","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
首页 上一页 下一页 尾页
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学术官方微信