Program Semantics Research Papers - Academia.edu (original) (raw)

International Journal on Foundations of Computer Science & Technology (IJFCST) is a Bi-monthly peer-reviewed and refereed open access journal that publishes articles which contribute new results in all areas of the Foundations of Computer Science & Technology. Over the last decade, there has been an explosion in the field of computer science to solve various problems from mathematics to engineering. This journal aims to provide a platform for exchanging ideas in new emerging trends that needs more focus and exposure and will attempt to publish proposals that strengthen our goals. Topics of interest include, but are not limited to the following:

10th International Conference on Foundations of Computer Science & Technology (FCST 2022) will act as a major forum for the presentation of innovative ideas, approaches, developments, and research projects in the areas of Foundations of Computer Science & Technology. It will also serve to facilitate the exchange of information between researchers and industry professionals to discuss the latest issues and
advancement in the area of advances.

International Journal of Computational Science and Information Technology (IJCSITY) focuses on Complex systems, information and computation using mathematics and engineering techniques. This is an open access peer-reviewed journal will act as a major forum for the presentation of innovative ideas, approaches, developments, and research projects in the area of Computation theory and applications. It will also serve to facilitate the exchange of information between researchers and industry professionals to discuss the latest issues and advancement in the area of advanced Computation and its applications The topics suggested by this journal can be discussed in term of concepts, surveys, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal. Topics of interest include but are not limited to, the following  Algorithms and data structures

Aloe barbadensis (aloe-vera) also famous as a first aid plant is a valuable natural medicine. Its leaves have parallel venation that contains a soothing thick gel inside it and is useful for treatment and curing of wounds and diseases. In this paper, investigations were carried out to study the effect of dc and ac resistances of the aloe barbadensis leaves. The resistance of the leaf measured shows a proportional change with the change in the length of the leaf. The resistance of the leaf tissue increases with the increased distance between the electrodes due to circumvent current path. Both, fresh and the dry leaf of a aloe barbadensis plant was taken for the investigations. For fresh leaf, the dc resistance increases steeply along the length of a leaf while ac resistance comparatively shows a very slow increase in resistance, where as the results verified some fascinating changes in resistance as the leaf dried up.

11 th International Conference on Software Engineering and Applications (SEAPP 2022) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Software Engineering and Applications. The goal of this Conference is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts and establishing new collaborations in these areas. Authors are solicited to contribute to the Conference by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the areas of software engineering & applications.

8th International Conference on Foundations of Computer Science & Technology (FCST 2020) will act as a major forum for the presentation of innovative ideas, approaches, developments, and research projects in the areas of Foundations of Computer Science & Technology. It will also serve to facilitate the exchange of information between researchers and industry professionals to discuss the latest issues and advancement in the area of advances.
Authors are solicited to contribute to the conference by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in Computer Science & Information Technology.

8th International Conference on Computational Science and Engineering (CSE 2020)
focuses on Complex systems, information and computation using mathematics and
engineering techniques. This conference will act as a major forum for the presentation of
innovative ideas, approaches, developments, and research projects in the area of Computation
theory and applications. It will also serve to facilitate the exchange of information between
researchers and industry professionals to discuss the latest issues and advancement in the area
of advanced Computation and its applications will be covered during the conference.
We expect that the conference and its publications will be a trigger for further related
research and technology improvements in this important subject. The topics suggested by this
conference can be discussed in term of concepts, surveys, state of the art, research, standards,
implementations, running experiments, applications and industrial case studies. Authors are
invited to submit complete unpublished papers, which are not under review in any other
conference or journal in the following, but not limited to.

9 th International Conference on Foundations of Computer Science & Technology (CST 2022) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Computer Science & Technology. The goal of this Conference is to bring together researchers and practitioners from academia and industry to focus on understanding Modern Computer Science & Technology concepts and establishing new collaborations in these areas. Authors are solicited to contribute to the Conference by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the areas of Computer Science & Technology.

Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these features. We have proposed a language, which integrates probability with time and shared-variable concurrency. We also explored its operational semantics, where a set of algebraic laws has been investigated via bisimulation. In this paper, we consider the inverse work, the derivation of operational semantics from algebraic semantics for our probabilistic language. This approach can be understood as the soundness investigation of operational semantics from the viewpoint of algebraic semantics. Firstly we present the algebraic laws for our probabilistic language. Every program can be expressed as either a guarded choice, or the summation of a set of processes which are deterministic initially. This can model the execution of a program. Secondly we investigate the derivation of an operational semantics from its algebraic semantics. A set of transition rules are derived from the given derivation strategy. Thirdly we explore the equivalence of the derived transition system and the derivation strategy. This indicates the completeness of our operational semantics from the viewpoint of algebraic semantics. Meanwhile, we also investigate the observation-oriented semantic model and its derivation from algebraic semantics.

- by Jonathan Bowen
- •
- Algebra, Probability Theory, Computer Science, Concurrency Theory

Underwater detector network is one amongst the foremost difficult and fascinating analysis arenas that open the door of pleasing plenty of researchers during this field of study. In several under water based sensor applications, nodes are square measured and through this the energy is affected. Thus, the mobility of each sensor nodes are measured through the water atmosphere from the water flow for sensor based protocol formations. Researchers have developed many routing protocols. However, those lost their charm with the time. This can be the demand of the age to supply associate degree upon energy-efficient and ascendable strong routing protocol for under water actuator networks. During this work, the authors tend to propose a customary routing protocol named level primarily based routing protocol (LBRP), reaching to offer strong, ascendable and energy economical routing. LBRP conjointly guarantees the most effective use of total energy consumption and ensures packet transmission which redirects as an additional reliability in compare to different routing protocols. In this work, the authors have used the level of forwarding node, residual energy and distance from the forwarding node to the causing node as a proof in multicasting technique comparisons. Throughout this work, the authors have got a recognition result concerning about 86.35% on the average in node multicasting performances. Simulation has been experienced each in a wheezy and quiet atmosphere which represents the endorsement of higher performance for the planned protocol.

An overview of the activities of the European collaborative ESPRIT
ProCoS-WG Working Group(no. 8694) on “Provably Correct Systems” which ran from 1993 to 1997 is presented. This was afollow-on to the ESPRIT BRA ProCoS I project (no. 3104, 1989–1991) and ProCoS II project (no.7071, 1992–1995), overlapping with the latter. A selected bibliography of publications, especially those involving the original project sites and collaboration between member sites, is included.

Complex sfotware systems typically involve features like time, concurrency and probability, and probabilistic computations are playing an increasing role. However it is currently challenging to formalize languages incorporating all those features. Recently the language PTSC has been proposed to integrate probability and time with shared-variable concurrency , where the operational semantics has been explored and a set of algebraic laws has been investigated via bisimulation. This paper investigates the link between the operational and algebraic semantics of PTSC, highlighting both its theoretical and practical aspects.

- by Shengchao Qin
- •
- Algebra, Probability Theory, Computer Science, Parallel Computing

Abstract
We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.