scholarly journals MetaBETA: Model and Implementation

1996 ◽  
Vol 25 (506) ◽  
Author(s):  
Rene Wenzel Schmidt
Keyword(s):  
Programming Languages ◽  
Virtual Machine ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
The Other ◽  
Central Component ◽  
Runtime System ◽  
Programming Methodology ◽  
Execution Model ◽  
Object Oriented Languages

<p>Object-oriented programming languages are excellent for expressing abstractions in many application domains. The object-oriented programming methodology allows real-world concepts to modelled in an easy and direct fashion and it supports refinement of concepts. However, many object-oriented languages and their implementations fall short in two areas: dynamic extensibility and reflection.</p><p>Dynamic extensibility is the ability to incorporate new classes into an application at runtime. Reflection makes it possible for a language to extend its own domain, e.g., to build type-orthogonal functionality. MetaBETA is an extension of the BETA language that supports dynamic extensibility and reflection. MetaBETA has a metalevel interface that provides access to the state of a running application and to the default implementation of language primities.</p><p>This report presents the model behind MetaBETA. In particular, we discuss the execution model of a MetaBETA program and how type- orthogonal abstractions can be built. This includes precentation of dynamic slots, a mechanism that makes is possible ectend objects at runtime. The other main area covered in this report is the implementation of MetaBETA. The central component of the architecture is a runtime system, which is viewed as a virtual machine whose baselevel interface implements the functionality needed by the programming language.</p>

scholarly journals Multiple Dispatch in Practice

2021 ◽  
Author(s):  
◽  
Radu Muschevici
Keyword(s):  
Empirical Study ◽  
Programming Languages ◽  
Virtual Machine ◽  
Object Oriented ◽  
Run Time ◽  
Multiple Dispatch ◽  
Object Oriented Languages

<p>Multiple dispatch uses the run time types of more than one argument to a method call to determine which method body to run. While several languages over the last 20 years have provided multiple dispatch, most object-oriented languages still support only single dispatch - forcing programmers to implement multiple dispatch manually when required. This thesis presents an empirical study of the use of multiple dispatch in practice, considering six languages that support multiple dispatch. We hope that this study will help programmers understand the uses and abuses of multiple dispatch; virtual machine implementors optimise multiple dispatch; and language designers to evaluate the choice of providing multiple dispatch in new programming languages.</p>

scholarly journals Dynamic Reflection for a Statically Typed Language

1996 ◽  
Vol 25 (505) ◽  
Author(s):  
Søren Brandt ◽  
Rene Wenzel Schmidt
Keyword(s):  
Conceptual Model ◽  
Virtual Machine ◽  
Programming Language ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Runtime System ◽  
Type Checking ◽  
Basic Language ◽  
Language Construct ◽  
Oriented Programming Language

We present a runtime metalevel interface for BETA. BETA is a compiled and statically typed object-oriented programming language. The metalevel interface preserves the type safe properties of the language and supports static type checking. This is achieved through a novel language construct, the <em>attribute reference</em>, on top of which the metalevel interfacer is built. The metalevel interface is based on a simple conceptual model that reifies a few basic language primitives. For the implementation, a metalevel architecture based on a virtual machine view of the runtime system is introduced. In this model, an open implementation of compiled language is achieved by providening the runtime virtual machine with a metalevel interface supporting runtime reflection.

scholarly journals Multiple Dispatch in Practice

2021 ◽  
Author(s):  
◽  
Radu Muschevici
Keyword(s):  
Empirical Study ◽  
Programming Languages ◽  
Virtual Machine ◽  
Object Oriented ◽  
Run Time ◽  
Multiple Dispatch ◽  
Object Oriented Languages

<p>Multiple dispatch uses the run time types of more than one argument to a method call to determine which method body to run. While several languages over the last 20 years have provided multiple dispatch, most object-oriented languages still support only single dispatch - forcing programmers to implement multiple dispatch manually when required. This thesis presents an empirical study of the use of multiple dispatch in practice, considering six languages that support multiple dispatch. We hope that this study will help programmers understand the uses and abuses of multiple dispatch; virtual machine implementors optimise multiple dispatch; and language designers to evaluate the choice of providing multiple dispatch in new programming languages.</p>

A DISTRIBUTED AND ANONYMOUS KNOWLEDGE SHARING APPROACH TO SOFTWARE INTEROPERATION

1995 ◽  
Vol 04 (04) ◽  
pp. 339-367 ◽  
Author(s):  
NARINDER SINGH ◽  
MICHAEL GENESERETH ◽  
MUSTAFA SYED
Keyword(s):  
Knowledge Sharing ◽  
Programming Languages ◽  
Distinctive Feature ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
The Other ◽  
Software Components ◽  
Programming Environment ◽  
Agent Based ◽  
Novel Approach

The support for automatic interoperation of software components can reduce cost and provide greater functionality. This paper describes a novel approach to software interoperation based on specification sharing. Software components, called agents, provide machine processable descriptions of their capabilities and needs. Agents can be realized in different programming languages, and they can run in different processes on different machines. In addition, agents can be dynamic — at run time agents can join the system or leave. The system uses the declarative agent specifications to automatically coordinate their interoperation. The architecture supports anonymous interoperation of agents, where each agent has the illusion that the capabilities of all the other agents are provided directly by the system. The distinctive feature of this approach is the expressiveness of the declarative specification language, which enables sophisticated agent interoperation, e.g. decomposing complex requests into a collection of simpler requests, and translating between the interface of a requesting agent and the interface of an agent that can service the request. The agent-based interoperation scheme relies on a shared vocabulary, and it is our thesis that more effective software interoperation is made possible by agreeing to a shared declarative vocabulary, than by agreeing to procedural interface specifications that do not address the semantics of the software component (e.g. object interface specifications in an object-oriented programming environment).

Mutation Testing Applied to Object-Oriented Languages

2018 ◽  
pp. 7459-7469
Author(s):  
Pedro Delgado-Pérez ◽  
Inmaculada Medina-Bulo ◽  
Juan José Domínguez-Jiménez
Keyword(s):  
Programming Languages ◽  
Object Oriented ◽  
Mutation Testing ◽  
Object Oriented Programming ◽  
Mutation Operators ◽  
Current State ◽  
Suitable Technique ◽  
Test Suites ◽  
Object Oriented Languages

Mutation testing is a suitable technique to determine the quality of test suites designed for a certain program. The set of mutation operators and the overall technique should be developed around each programming language in particular. The structures related to the object-oriented paradigm require a tailored analysis addressing them. However, class mutation operators for these languages have not been analyzed at the same extent as traditional operators for procedural languages in the literature. The purpose of the chapter is to look in depth at the development and the current state of mutation testing, and more specifically, with regard to object-oriented programming languages.

Mutation Testing Applied to Object-Oriented Languages

2019 ◽  
pp. 1426-1438
Author(s):  
Pedro Delgado-Pérez ◽  
Inmaculada Medina-Bulo ◽  
Juan José Domínguez-Jiménez
Keyword(s):  
Programming Languages ◽  
Object Oriented ◽  
Mutation Testing ◽  
Object Oriented Programming ◽  
Mutation Operators ◽  
Current State ◽  
Suitable Technique ◽  
Test Suites ◽  
Object Oriented Languages

Mutation testing is a suitable technique to determine the quality of test suites designed for a certain program. The set of mutation operators and the overall technique should be developed around each programming language in particular. The structures related to the object-oriented paradigm require a tailored analysis addressing them. However, class mutation operators for these languages have not been analyzed at the same extent as traditional operators for procedural languages in the literature. The purpose of the chapter is to look in depth at the development and the current state of mutation testing, and more specifically, with regard to object-oriented programming languages.

scholarly journals TRIZ Evolution of the Object-Oriented Programming Languages

2015 ◽  
Vol 131 ◽  
pp. 333-342 ◽  
Author(s):  
Victor Berdonosov ◽  
Alena Zhivotova ◽  
Tatiana Sycheva
Keyword(s):  
Programming Languages ◽  
Object Oriented ◽  
Object Oriented Programming

A specification logic for concurrent object-oriented programming

1999 ◽  
Vol 9 (3) ◽  
pp. 253-286 ◽  
Author(s):  
G. DELZANNO ◽  
D. GALMICHE ◽  
M. MARTELLI
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Linear Logic ◽  
Operational Semantics ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Higher Order Logic ◽  
Specification Logic ◽  
Theoretic Characterization

This paper focuses on the use of linear logic as a specification language for the operational semantics of advanced concepts of programming such as concurrency and object-orientation. Our approach is based on a refinement of linear logic sequent calculi based on the proof-theoretic characterization of logic programming. A well-founded combination of higher-order logic programming and linear logic will be used to give an accurate encoding of the traditional features of concurrent object-oriented programming languages, whose corner-stone is the notion of encapsulation.

Sign in / Sign up

Export Citation Format

Share Document