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

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

筛选
英文 中文
A language for high-level programming of mathematical applications 一种用于高级数学程序设计的语言
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13040
F. Grossman, R. J. Klerer, M. Klerer
{"title":"A language for high-level programming of mathematical applications","authors":"F. Grossman, R. J. Klerer, M. Klerer","doi":"10.1109/ICCL.1988.13040","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13040","url":null,"abstract":"A language system called the Automated Programmer automates a great deal of routine effort for scientific, engineering, and mathematical application programming. Its notation is modeled after conventional textbook mathematical representation, so that mathematical expressions can be entered just as they appear in conventional solution specifications. It uses a flexible vocabulary and syntax that emulates technical English. This approach enhances self-documentation, diminishes programming error, and eases maintainability and verifiability. System design is highly user-oriented, making the system easy to learn and use. Programs are input using a two-dimensional screen editor. Lexical restrictions are minimal, keyword synonyms are available, and various common synonymous syntactic structures are acceptable. Powerful input and output facilities are provided.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"32 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":"127879895","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
Experience with Rendezvous (tasking and communication model) 对接经验(任务分配和沟通模式)
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13053
R. F. Kamel, N. Gammage
{"title":"Experience with Rendezvous (tasking and communication model)","authors":"R. F. Kamel, N. Gammage","doi":"10.1109/ICCL.1988.13053","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13053","url":null,"abstract":"BNR Pascal is a systems programming language that supports the Rendezvous model of tasking and communication. The authors discuss the BNR Pascal tasking model, their positive experience, areas of difficulty, and some of the BNR Pascal extensions that overcome the difficulties. They have found the Rendezvous model to be a powerful system structuring tool. In addition to its obvious uses in concurrency and interprocess communication, Rendezvous is useful in creating dynamic abstractions that are more powerful than traditional ones based on packages or modules. Additionally, tasks permit a capability-oriented style of resource protection. BNR Pascal extensions to the Rendezvous model include: a mechanism for deferring and reinitiating a Rendezvous, a nonblocking message-passing mechanism, and a mechanism for signaling events from lower to higher levels in a system.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"39 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":"121363598","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
Programming through pictorial transformations 通过图形转换进行编程
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13037
Yen-Teh Hsia, A. Ambler
{"title":"Programming through pictorial transformations","authors":"Yen-Teh Hsia, A. Ambler","doi":"10.1109/ICCL.1988.13037","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13037","url":null,"abstract":"Research into visualization and animation of programs has typically been approached from the viewpoint of how to automate, at least partially, the instrumentation of programs already written in conventional textual languages. PT (pictorial transformations) takes the approach that if instead of beginning with an existing program, one begins by first describing visual data representations and then visually manipulating them to develop program algorithms, then their animation is almost a side-effect of the development process. This approach simplifies the development of animated programs. The authors motivate the use of PT by way of an example application.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"39 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":"121465239","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}
引用次数: 11
Architectural design methodology for supporting high level programming languages 支持高级编程语言的体系结构设计方法
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13084
Samuel O. Aletan, W. Lively
{"title":"Architectural design methodology for supporting high level programming languages","authors":"Samuel O. Aletan, W. Lively","doi":"10.1109/ICCL.1988.13084","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13084","url":null,"abstract":"The authors present two of the tasks that must be carried out in the proposed design methodology: the selection and grouping of high-level programming languages (HLPLs) and the selection of hardware structure(s) for each group of HLPLs for the purpose of architectural design. Each group of HLPLs will have its own distinct architecture. Only the grouping of HLPLs and selection of structures for one of the groups of HLPLs is treated. Grouping HLPLs is required to support several HLPLs efficiently and to eliminate the effects of semantic clash that exists between HLPLs, which will improve execution efficiency and software reliability.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"1157 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":"128658215","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
Integrating abstract data types with object-oriented programming by specification-based approach 通过基于规范的方法集成抽象数据类型和面向对象编程
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13066
Y. Zhong, S. Ishizuka, R. Enari
{"title":"Integrating abstract data types with object-oriented programming by specification-based approach","authors":"Y. Zhong, S. Ishizuka, R. Enari","doi":"10.1109/ICCL.1988.13066","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13066","url":null,"abstract":"The authors show that the integration of two popular automation-based paradigms, namely, ADT and OOP, can be used to achieve a high level of productivity and reliability. They introduce a system, Stim, (Small talk implementation for algebraic specification of abstract data types), that directly implements the algebraic specification of ADT on Smalltalk-80. Stim takes as an input a hierarchical algebraic specification and generates Smalltalk-80 classes automatically. The authors use an example of specifying a full-scale filing system to illustrate the power of the system.<<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":"129107829","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}
引用次数: 2
TXL: a rapid prototyping system for programming language dialects TXL:编程语言方言的快速原型系统
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13075
J. Cordy, Charlie Halpern-Hamu, Eric Promislow
{"title":"TXL: a rapid prototyping system for programming language dialects","authors":"J. Cordy, Charlie Halpern-Hamu, Eric Promislow","doi":"10.1109/ICCL.1988.13075","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13075","url":null,"abstract":"A rapid prototyping system for extensions to an existing programming language is described. Such extensions could include language features or could introduce notation specific to a particular problem domain. The system consists of a dialect description language used to specify the syntax and semantics of extensions and a context-sensitive syntactic transducer that automatically implements the extensions by transforming source programs written using them to equivalent programs in the original unextended language. Because the transformer is context-sensitive, it is more powerful than traditional context-free preprocessors and extensible languages, and can be used to prototype language extensions involving significantly novel programming paradigms such as object-oriented programming.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"117 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":"116187054","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}
引用次数: 222
Adapting modules to an integrated programming environment 使模块适应集成编程环境
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13085
N. Madhavji, J. Desharnais, Luc Pinsonneault, Kamel Toubache
{"title":"Adapting modules to an integrated programming environment","authors":"N. Madhavji, J. Desharnais, Luc Pinsonneault, Kamel Toubache","doi":"10.1109/ICCL.1988.13085","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13085","url":null,"abstract":"The design of modules in modular languages, and the model of software development activities portrayed by it, have been well received in batch environments. However, from their experience in the design of the MUPE-2 integrated programming environment, the authors hold the opinion that the model of software activities portrayed by modules in a batch environment is not entirely appropriate in an integrated programming environment. In adapting modules to the MUPE-2 environment, the authors have changed their design and implementation. In particular, they have added a module type, called the supermodule, that can encapsulate related modules, so that the architecture of a software system may be captured, and unified the separate definition and implementation parts of a module into a single module, called the DefImp module, so that some consistency problems due to textual separation can be avoided. They examine the role of modules in a batch environment and give a rationale for their design of modules for integrated environments.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"38 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":"127713736","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
TOBOL-a new methodology for the top-to-bottom level hardware description in VLSI design-automation systems tobol是一种用于VLSI设计自动化系统中自上而下硬件描述的新方法
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13090
C. Y. Chen
{"title":"TOBOL-a new methodology for the top-to-bottom level hardware description in VLSI design-automation systems","authors":"C. Y. Chen","doi":"10.1109/ICCL.1988.13090","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13090","url":null,"abstract":"The TOBOL methodology for hardware description from top to bottom level is proposed. Multilevel circuit descriptions can efficiently be provided for diversified purposes. Low-level (such as transistor-level) design information can easily be attached into high-level descriptions. TOBOL utilizes consistent data representations at different levels and allows the integration of circuit descriptions at different levels into a single unified system. Therefore, redundant information is greatly reduced, and efficient access of right functional abstractions of circuits is achieved.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"51 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":"127502146","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
The FX-87 Interpreter FX-87解释器
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13044
P. Jouvelot, D. Gifford
{"title":"The FX-87 Interpreter","authors":"P. Jouvelot, D. Gifford","doi":"10.1109/ICCL.1988.13044","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13044","url":null,"abstract":"The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties: a type and an effect. Type and effect polymorphism permits the behavior of first-class procedures to be statically modeled. The integration of type and effect analysis has resulted in the first system that is able (by accurate modeling of the side-effects of procedure values and masking of unobservable effects in the heap) to detect a compile-time, parallelizable constructs in both functional and imperative programs.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"39 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":"121692760","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}
引用次数: 6
Software design representation: design object descriptive attribute notation (DODAN) 软件设计表示:设计对象描述性属性表示法(DODAN)
Proceedings. 1988 International Conference on Computer Languages Pub Date : 1988-10-09 DOI: 10.1109/ICCL.1988.13093
W. Yin, M. Tanik, D. Yun
{"title":"Software design representation: design object descriptive attribute notation (DODAN)","authors":"W. Yin, M. Tanik, D. Yun","doi":"10.1109/ICCL.1988.13093","DOIUrl":"https://doi.org/10.1109/ICCL.1988.13093","url":null,"abstract":"An approach using frame/constraint for knowledge representation of software design is presented to facilitate software design acquisition and continued usefulness of design information. The representation is independent of the programming language used in software implementation and covers certain basic concepts of software design: control flow, data flow and data abstraction. These basic characteristics of a software design are specified using design object descriptive attribute notation (DODAN) and can be translated into an event-flow diagram based on the Petri-net semantics and a data-dependent diagram based on data-flow semantics. The run-time behavior of the software designed can be interpreted on the basis of the timing constraints. The translation and interpretation are done by sets of production rules. As consumers often change their demands, various dependent flow analyses can help software designers reuse previous designs, figure out the impact of the change, and rectify the design.<<ETX>>","PeriodicalId":219766,"journal":{"name":"Proceedings. 1988 International Conference on Computer Languages","volume":"372 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":"124663486","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}
引用次数: 4
首页 上一页 下一页 尾页
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学术官方微信