Ichiro Satoh and Mario Tokoro. Semantics for a real-time object-oriented programming language. In Proc. ICCL'94, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....systems is borrowed from these languages. These languages often take the form of extended automata (Timed automata [7] Timed Graphs [7, 20] or process algebras such as Timed CSP [30] A di erent approach is to include a model of the underlying execution resources. This approach is taken in [26] and [33] The resulting semantics includes an abstract model of the execution environment (number of CPU s, scheduler, execution time of assignments etc. The process algebra Communicating Shared Resources (CSR) has been designed with the explicit purpose of modeling resources [14, 15] A ....

Ichiro Satoh and Mario Tokoro. Semantics for a Real-Time ObjectOriented Programming Language. In Int. Conf. on Computer Languages, pages 159-170, Toulouse, France, 1994. IEEE.

....systems are borrowed from these languages. Often, the languages take the form of extended automata (Timed automata [6] Timed Graphs [6, 11] or process algebras such as Timed CSP [16] A different approach is to include a model of the underlying execution resources. This approach is taken in [15] and [19] The resulting semantics includes an abstract model of the execution environment (number of CPU s, scheduler, execution time of assignments etc. The process algebra Communicating Shared Resources (CSR) has been designed with the explicit purpose of modeling resources [8, 9] A process ....

I. Satoh and M. Tokoro. Semantics for a Real-Time ObjectOriented Programming Language. In Int. Conf. on Computer Languages, pages 159--170, Toulouse, France, 1994. IEEE.

....Modal Specifications [9] Timed CSP [15] Although these are intended as specification languages, and not as programming languages per se, they have served as foundation for our semantics, and have been important sources of inspiration. Others have defined semantics for real time languages. In [14] semantics of a real time object oriented language is given by translating programs to RtCCS a version of CCS [10] extended with time using explicit tick transitions. The resulting translation includes an abstract model of the execution environment (number of CPU s, scheduler, execution time) ....

Ichiro Satoh and Mario Tokoro. Semantics for a Real-Time Object-Oriented Programming Language. In Int. Conf. on Computer Languages, pages 159--170, Toulouse, France, 1994. IEEE.

....systems are borrowed from these languages. Often, the languages take the form of extended automata (Timed automata [6] Timed Graphs [6, 17] or process algebras such as Timed CSP [25] A different approach is to include a model of the underlying execution resources. This approach is taken in [21] and [28] The resulting semantics includes an abstract model of the execution environment (number of CPU s, scheduler, execution time of assignments etc. The process algebra Communicating Shared Resources (CSR) has been designed with the explicit purpose of modeling resources [11, 12] A ....

Ichiro Satoh and Mario Tokoro. Semantics for a Real-Time Object-Oriented Programming Language. In Int. Conf. on Computer Languages, pages 159--170, Toulouse, France, 1994. IEEE.

....for describing multiple local clocks in [17] We plan to introduce the method into the framework presented in this paper. We developed some techniques to define semantics for object oriented real time languages with synchronous communication primitives based on a timed extended process calculus in [18]. We believe that the calculus presented here allows us to define semantics of object oriented real time languages with various asynchronous communication mechanisms. Acknowledgments We are grateful to J. Sifakis (VERIMAG) for discussions on the topics treated here. We would like to thank to R. ....

Satoh, I., and Tokoro, M., Semantics for a Real-Time Object-Oriented Programming Language, Proceedings of IEEE International Conference on Computer Languages, p159-170, May, 1994.

....at every stage of the development process of programs for distributed systems. Therefore, we should bridge the gap between our process calculi and real implementation languages. We are fortune in our having a general technique to encode parallel real time languages into RtCCS expressions in [70, 69]. We need to enhance the technique to distributed programs by incorporating the expressive capabilities of the calculi developed in this thesis. Tool Supports. We wish the present calculi to be adopted by industrial users. To do this, it is necessary to support reliable software tools to ....

I. Satoh and M. Tokoro. Semantics for a Real-Time Object-Oriented Programming Language. In Proceedings of IEEE 5th International Conference on Computer Languages (ICCL'94), pages 159--170, May 1994.

....a parallel functional language which is applicable to the verification of compiler correctness. The framework presented in this paper is unique among existing related works in having the ability to quantitatively analyze temporal e#ectiveness of optimizations for parallel programs. The author in [21] proposed a framework to define semantics for parallel programming languages. The framework is characterized by specifying temporal semantics of programs including execution time but can not verify the temporal e#ectiveness of code optimizations for parallel programming languages. Also, the author ....

....techniques that closely depend on computer architecture, task scheduling policy, and machine instruction. We plan to study the formalization of machine specific and resource aware optimizations in future. The calculus presented in this paper consists of only the minimal constructors. The author in [21] developed a technique for defining the functional and temporal semantics of enriched parallel object oriented languages. We plan to introduce that technique into this framework in order to analyze programs written conventional programming languages, for example FORTRAN and C. Moreover, type ....

Satoh, I., and Tokoro, M., Semantics for a Real-Time Object-Oriented Programming Language, Proceedings of IEEE International Conference on Computer Languages, p159-170, May, 1994.

....faster process is always faster then the slower one. We are interested in defining a more pessimistic speed sensitive relation on processes. 9 We have already developed a framework to define semantics for concurrent real time programming languages through a timed extended process calculus in [18]. We plan to investigate semantics definition for distributed real time programming languages by using the calculus presented in this paper. Acknowledgements We would like to thank Professor C. Queinnec and Professor A. Yonezawa for giving the beneficial suggestions in the Sendai workshop. We ....

Satoh, I., and Tokoro, M., Semantics for a Real-Time Object-Oriented Programming Language, Proceedings of IEEE Conference on Computer Languages'94, p159-170, May, 1994.

....at every stage of the development process of programs for distributed systems. Therefore, we should bridge the gap between our process calculi and real implementation languages. We are fortune in our having a general technique to encode parallel real time languages into RtCCS expressions in [70, 69]. We need to enhance the technique to distributed programs by incorporating the expressive capabilities of the calculi developed in this thesis. Tool Supports. We wish the present calculi to be adopted by industrial users. To do this, it is necessary to support reliable software tools to ....

I. Satoh and M. Tokoro. Semantics for a Real-Time Object-Oriented Programming Language. In Proceedings of IEEE 5th International Conference on Computer Languages (ICCL'94), pages 159--170, May 1994.

No context found.

Ichiro Satoh and Mario Tokoro. Semantics for a real-time object-oriented programming language. In Proc. ICCL'94, 1994.

No context found.

Ichiro Satoh and Mario Tokoro. Semantics for a real-time object-oriented programming language. In Proc. ICCL'94, 1994.

No context found.

I. Satoh and M. Tokoro. Semantics for a Real-Time ObjectOriented Programming Language. In Int. Conf. on Computer Languages, pages 159--170, Toulouse, France, 1994. IEEE.

No context found.

I. Satoh and M. Tokoro. Semantics for a real-Time Object-Oriented Programming Language. In Int. Conf. on Computer Languages, Toulous, France, 1994. IEEE.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC