Towards the Abstract Use of Associations in Java Programs
نویسنده
چکیده
A A b s t r a c b s t r a c b s t r a c b s t r a c t t
منابع مشابه
Towards Verification of Software Product Lines: The JBook Case Study
Scaling verification to large programs is a long-standing problem. There is a growing community of researchers that believe verification must be intimately integrated with software design and modularity for scaling to occur; verification of programs should not be an after-thought. In this presentation, we explore an approach that suggests how feature modularization can scale verification to pro...
متن کاملTowards Language-Agnostic Mobile Code
The Java Virtual Machine is primarily designed for transporting Java programs. As a consequence, when JVM bytecodes are used to transport programs in other languages, the result becomes less acceptable the more the source language diverges from Java. Microsoft’s .NET transport format fares better in this respect because it has a more flexible type system and instruction set, but it is not exten...
متن کاملDifference Effectiveness of Progressive Muscle Relaxation Therapy and Endorphin Massage Therapy towards Reducing Menstrual Pain Intensity in Adolescents
Background: Problems that arise during menstruation include pain before or during menstruation. Progressive Muscle Relaxation (PMR) techniques and Endorphin Massage (EM) therapy have been shown to be effective in controlling menstrual pain. The purpose of this study was to determine the difference in the effectiveness of pain intensity carried out by PMR therapy and EM therapy. Methods: Quasi...
متن کاملTowards Verification of Java Bytecode using Logic Programming Tools
State of the art analyzers in the (Constraint) Logic Programming paradigm (or (C)LP for short) are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, run-time error freeness, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis tools for LP to the analysis and verificatio...
متن کاملA Refinement Method for Java Programs
We present a refinement method for Java programs which is motivated by the challenge of verifying security protocol implementations. The method can be used for stepwise refinement of abstract specifications down to the level of code running in the real application. The approach is based on a calculus for the verification of Java programs for the concrete level and Abstract State Machines for th...
متن کامل