We continue the development of TINYSOL, a minimal object-oriented language based on Solidity, the standard smart-contract language used for the Ethereum platform. We first extend TINYSOL with exceptions and a gas mech...
详细信息
ISBN:
(纸本)9783031737084;9783031737091
We continue the development of TINYSOL, a minimal object-oriented language based on Solidity, the standard smart-contract language used for the Ethereum platform. We first extend TINYSOL with exceptions and a gas mechanism, and equip it with a small-step operational semantics. Introducing the gas mechanism is fundamental for modelling real-life smart contracts in TINYSOL, since this is the way in which termination of Ethereum smart contracts is usually ensured. We then devise a type system for smart contracts guaranteeing that such programs never run out of gas at runtime. This is a desirable property for smart contracts, since a transaction that runs out of gas is aborted, but the price paid to run the code is not returned to the invoker.
object distribution is one of the most important paradigms for distributed processing. ANSA is an Architecture for Open Distributed Processing which provides new ways of thinking about the design and construction of o...
详细信息
object distribution is one of the most important paradigms for distributed processing. ANSA is an Architecture for Open Distributed Processing which provides new ways of thinking about the design and construction of objectoriented client/server distributed systems. The increasing popularity of digital audio and video applications presents new challenges to the traditional object distribution models. The paper aims to discuss the progress of the ANSA phase 3 project to extend ANSA object model for real time and multimedia processing.
The authors present a navel method for developing reconfigurable systems targeted at embedded system applications. The paper shows how an existing objectoriented design method (MOOSE) has been adapted to include reco...
详细信息
The authors present a navel method for developing reconfigurable systems targeted at embedded system applications. The paper shows how an existing objectoriented design method (MOOSE) has been adapted to include reconfigurable hardware (FPGAs). Previous research an reconfigurable computing has concentrated on the efficient mapping of algorithms to FPGAs. It must be realised that reconfigurable hardware usually forms part of much larger embedded systems, which include other hardware components, memories, and processors executing significant software tasks. The work represents a significant advance over current embedded system design methods in that it integrates the use of reconfigurable hardware components with a systematic design method for complete systems including both hardware and software. The development techniques are illustrated by a practical example. Although the enhanced methodology is applicable to some reconfigurable computing systems, further work is planned to extend our design technique to exploit the potential benefits of embedded systems which can be dynamically reconfigured at system fun-time, The final objective is to produce an abject oriented design methodology where system objects can be seamlessly implemented in either software or reconfigurable hardware.
In a recent article it was stated that the move to object-oriented design represents a real change in point of view - a change of paradigm - that brings with it an enormous increase in expressive power. In this paper ...
详细信息
In a recent article it was stated that the move to object-oriented design represents a real change in point of view - a change of paradigm - that brings with it an enormous increase in expressive power. In this paper a background for object-oriented design is presented and related to some ideas about programming languages.
object-oriented modelling and design is a new way of thinking about problems, using models organised around real-world concepts. This paper presents an object-oriented approach to software development, based on modell...
详细信息
object-oriented modelling and design is a new way of thinking about problems, using models organised around real-world concepts. This paper presents an object-oriented approach to software development, based on modelling objects from a fire protection environment. The model is then used to build a language-independent design, organized around those objects. The paper also describes some object modelling techniques used in mapping the object-oriented design into an non-object-orientedprogramming language for constructing the system, a detailed evaluation and review of Microsoft Fortran is presented of this object-oriented application. The advantages of using the object-oriented methodology in the fire protection environment are reviewed, in terms of cost, speed, accuracy and long-term maintenance the software.
Microsoft's net platform provides a runtime environment for code, but its real power comes from tools and support for network and database applications.
Microsoft's net platform provides a runtime environment for code, but its real power comes from tools and support for network and database applications.
The proceedings contains 8 papers. Some of the specific topics discussed are: some experiments in traffic management system design;an objectoriented expert identifier system;and a camera vision process control system...
详细信息
The proceedings contains 8 papers. Some of the specific topics discussed are: some experiments in traffic management system design;an objectoriented expert identifier system;and a camera vision process control system for the manufacture of rivets.
The proceedings contains 7 papers. Some of the specific topics discussed are: object modeling for OSI (open system interconnection) management;object design methods and tools;and system support for future distributed ...
详细信息
The proceedings contains 7 papers. Some of the specific topics discussed are: object modeling for OSI (open system interconnection) management;object design methods and tools;and system support for future distributed object-oriented environments.
暂无评论