Reflective facilities in Smalltalk-80

Foote, Brian; Johnson, Ralph E.

doi:10.1145/74878.74911

Cited by 40 publications

(25 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Its most peculiar feature consists in the integration of C++ and Python programming languages; this augments the platform with the concept of reflection [4], allowing full observability and control of every C++ or SystemC element (variable, method, etc.) specified in any component model.…”

Section: Proposed Methodologymentioning

confidence: 99%

Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design

Beltrame

Fossati

Sciuto

2008

Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis

View full text Add to dashboard Cite

This paper presents a novel technique for the modeling and the simulation of parallel applications for Multi-Processor Systems-on-Chip (MPSoCs). This technique consists of an application-transparent emulation of OS primitives, including task creation, scheduling, synchronization etc.; this emulation guarantees compatibility with any program compiled against the standard POSIX library, independently of the target OS. This methodology can be used to perform initial HW/SW partitioning and concurrent engineering of a given application, as it allows any software routine to be transparently emulated with SystemC modules. The proposed approach has been verified on a large set of multi-threaded benchmarks, with both POSIX Threads and OpenMP programming styles. Results show that our methodology enables (a) fast simulation of POSIX applications, (b) accurate analysis of multi-threaded applications, and (c) co-design and fast preliminary hardware-software partitioning.

show abstract

Section: Proposed Methodologymentioning

confidence: 99%

Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design

Beltrame

Fossati

Sciuto

2008

Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis

View full text Add to dashboard Cite

show abstract

“…As Smalltalk is an inherently reflective programming language, virtually all Smalltalk programs use reflection [18]. The Refactoring Browser thus follows a test-driven approach in which test cases are used to assure the program's correctness after refactoring.…”

Section: Refactoring For Reflective Programsmentioning

confidence: 99%

“…Our approach draws inspiration from the refactoring support for the highly reflective programming language Smalltalk [18]. In this setting, because Smalltalk programs typically use reflection extensively [15], tools like the Refactoring Browser use regression testing to assure that refactorings indeed do not alter the program's behavior [28].…”

Section: Introductionmentioning

confidence: 99%

RefaFlex: safer refactorings for reflective Java programs

Thies

Bodden

2012

Proceedings of the 2012 International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

If programs access types and members through reflection, refactoring tools cannot guarantee that refactorings on those programs are behavior preserving. Refactoring approaches for highly reflective languages like Smalltalk therefore check behavior preservation using regression testing.In this paper we propose RefaFlex, a novel and more defensive approach towards the refactoring of reflective (Java) programs. RefaFlex uses a dynamic program analysis to log reflective calls during test runs and then uses this information to proactively prevent the programmer from executing refactorings that could otherwise alter the program's behavior. This makes re-running test cases obsolete: when a refactoring is permitted, tests passing originally are guaranteed to pass for the refactored program as well. In some cases, we further re-write reflective calls, permitting refactorings that would otherwise have to be rejected.We have implemented RefaFlex as an open source Eclipse plugin and offer extensions for six Eclipse refactoring tools addressing naming, typing, and accessibility issues. Our evaluation with 21,524 refactoring runs on three open source programs shows that our tool successfully prevents 1,358 non-behaviour-preserving refactorings which the plain Eclipse refactorings would have incorrectly permitted.

show abstract

“…While possible, this would require a way of controlling the dispatch process "up-front" [Foote 1989], and would greatly reduce portability. Given that performance of our multidispatch scheme is as quick as standard Smalltalk, we consider that the complexity of changing the virtual machine is not justified by the potential increase in dispatching performance.…”

Section: Multidispatchmentioning

confidence: 99%

Efficient Multimethods in a Single Dispatch Language

Foote

Johnson

Noble

2005

ECOOP 2005 - Object-Oriented Programming

View full text Add to dashboard Cite

Abstract. Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages that support multimethods dispatch messages using all their arguments. While Smalltalk does not support multimethods, Smalltalk's reflective facilities allow programmers to efficiently add them to the language. This paper explores several ways in which this can be done, and the relative efficiency of each. Moreover, this paper can be seen as a lens through which the design issues raised by multimethods, as well as by using metaobjects to build them, can be more closely examined.

show abstract

Reflective facilities in Smalltalk-80

Cited by 40 publications

References 22 publications

Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design

Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design

RefaFlex: safer refactorings for reflective Java programs

Efficient Multimethods in a Single Dispatch Language

Contact Info

Product

Resources

About