Inter-language reflection: A conceptual model and its implementation

Gybels, Kris; Wuyts, Roel; Ducasse, Sté́phane; D’Hondt, Maja

doi:10.1016/j.cl.2005.10.003

Cited by 23 publications

(34 citation statements)

References 13 publications

(17 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…3 The AmbientTalk/Java Symbiosis Our model for explaining the AmbientTalk/Java linguistic symbiosis is based on that of Inter-language Reflection [9]. In this model, a linguistic symbiosis consists of:…”

Section: Ambienttalk Actorsmentioning

confidence: 99%

Linguistic symbiosis between actors and threads

Cutsem

Mostinckx

Meuter

2007

Proceedings of the 2007 International Conference on Dynamic Languages: In Conjunction With the 15th International Smalltalk Joi

View full text Add to dashboard Cite

Abstract. We describe a linguistic symbiosis between AmbientTalk, a flexible, domain-specific language for writing distributed programs and Java, a conventional object-oriented language. This symbiosis allows concerns related to distribution (service discovery, asynchronous communication, failure handling) to be handled in the domain-specific language, while still enabling the reuse of existing software components written in a conventional language. The symbiosis is novel in the sense that a mapping is defined between the concurrency models of both languages. AmbientTalk employs an inherently event-driven model based on actors, while conventional object-oriented languages employ a concurrency model based on threads. The contribution of this paper is a linguistic symbiosis which ensures that the invariants of the event-driven concurrency model are not violated by engaging in symbiosis with multithreaded programs.

show abstract

Section: Ambienttalk Actorsmentioning

confidence: 99%

Linguistic symbiosis between actors and threads

Cutsem

Mostinckx

Meuter

2007

Proceedings of the 2007 International Conference on Dynamic Languages: In Conjunction With the 15th International Smalltalk Joi

View full text Add to dashboard Cite

show abstract

“…Some of these are just syntactical, such as that variables are notated with question marks rather than capital letters, the ":-" symbol is written as if, and lists are written between angular (<>) instead of square brackets ([]). More importantly, SOUL is in linguistic symbiosis with the underlying Smalltalk language, allowing Smalltalk objects to be bound to logic variables and the execution of Smalltalk expressions as part of the logic program [15]. The symbiosis mechanism is what allows CARMA to express conditions on dynamic values associated with join points which are actual Smalltalk objects, such as the arguments of a message.…”

Section: Carmamentioning

confidence: 99%

Application-Specific Models and Pointcuts Using a Logic Meta Language

Brichau

Kellens

Gybels

et al. 2007

Advances in Smalltalk

Self Cite

View full text Add to dashboard Cite

In contemporary aspect-oriented languages, pointcuts are usually specified directly in terms of the structure of the source code. The definition of such low-level pointcuts requires aspect developers to have a profound understanding of the entire application's implementation and often leads to complex, fragile, and hard to maintain pointcut definitions. To resolve these issues, we present an aspect-oriented programming system that features a logic-based pointcut language that is open such that it can be extended with application-specific pointcut predicates. These predicates define an application-specific model that serves as a contract that base-program developers provide and aspect developers can depend upon. As a result, pointcuts can be specified in terms of this more high-level model of the application which confines all intricate implementation details that are otherwise exposed in the pointcut definitions themselves.

show abstract

“…SOUL has featured a linguistic symbiosis [16] with Smalltalk since its inception. This symbiosis renders Smalltalk objects firstclass values in the program query language.…”

Section: H2: Exploiting Solutions To Program Queriesmentioning

confidence: 99%

“…• Secondly, the hybrid language characteristic (or more precisely, its symbiosis [16] with Smalltalk) of SOUL enables the CAVA library to forego reifying AST nodes as compound terms. Instead, the reified version of an Eclipse AST node is the AST node itself (i.e., an instance of org.eclipse.jdt.core.dom.ASTNode).…”

Section: Features That Facilitate Exploiting Query Solutionsmentioning

confidence: 99%

See 1 more Smart Citation

The SOUL tool suite for querying programs in symbiosis with Eclipse

Roover

Noguera

Kellens

et al. 2011

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java

View full text Add to dashboard Cite

Program queries can answer important software engineering questions that range from "which expressions are cast to this type?" over "does my program attempt to read from a closed file?" to "does my code follow the prescribed design?". In this paper, we present a comprehensive tool suite for querying Java programs. It consists of the logic program query language SOUL, the CAVA library of predicates for quantifying over an Eclipse workspace and the Eclipse plugin BARISTA for launching queries and inspecting their results. BARISTA allows other Eclipse plugins to peruse program query results which is facilitated by the symbiosis of SOUL with Java -setting SOUL apart from other program query languages. This symbiosis enables the CAVA library to forego the predominant transcription to logic facts of the queried program. Instead, the library queries the actual AST nodes used by Eclipse itself, making it trivial for any Eclipse plugin to find the AST nodes that correspond to a query result. Moreover, such plugins do not have to worry about having queried stale program information. We illustrate the extensibility of our suite by implementing a tool for co-evolving source code and annotations using program queries.

show abstract

Inter-language reflection: A conceptual model and its implementation

Cited by 23 publications

References 13 publications

Linguistic symbiosis between actors and threads

Linguistic symbiosis between actors and threads

Application-Specific Models and Pointcuts Using a Logic Meta Language

The SOUL tool suite for querying programs in symbiosis with Eclipse

Contact Info

Product

Resources

About