Reflective computation in concurrent object-based languages A transformational approach

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D40970/82 / BLDSC - British Library ...

Abstract Reflective programming in the relational algebra (extended abstract)

Jan Van
Bussche Dirk
Van Guchtt
Gottfried Vossen

April 2008

In reflective programming languages it is possi-ble for a program to generate code that is inte-grat...

On developing and verifying design abstractions for reliable concurrent programming in Ada

Koelmans, A. (and others)
Wellings, A.
Burns, A.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Available from British Library Document Supply Centre-DSC:8724.920(no CS-TR-706) / BLDSC - British L...

RbCl: A Reflective Object-Oriented Concurrent Language without a Run-time Kernel

Yuuji Ichisugi
Satoshi Matsuoka
Akinori Yonezawa

January 1992

We propose a reflective object-oriented concurrent language RbCl which has no run-time kernel. That ...

Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming

Satoshi Matsuoka
Takuo Watanabe
Akinori Yonezawa

January 1991

The benefits of computational reflection are the abilities to reason and alter the dynamic behavior ...

A Reflective Object-Oriented Concurrent Language for Distributed Environments

Ichisugi, Yuuji

March 1993

報告番号: 甲09830 ; 学位授与年月日: 1993-03-29 ; 学位の種別: 課程博士 ; 学位の種類: 博士(理学) ; 学位記番号: 博理第2579号 ; 研究科・専攻: 理学系研究科情...

Study On A Reflective Architecture To Provide Efficient Dynamic Resource Management For Highly-Parallel Object-Oriented Applications

Hidehiko Masuhara

January 1994

Recent progress in implementations of object-oriented concurrent programming languages on highly-par...

A concurrent visual language based on Petri nets

Usher, M.M.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN045674 / BLDSC - British Library D...

A concurrent object calculus Reduction and typing

Gordon, A.D.
Hankin, P.D.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(457) / BLDSC - British Libra...

Reasoning-conscious Meta-object Design of a Reflective Concurrent Language

Hidehiko Masuhara
Akinori Yonezawa

January 1997

Computational reflection gives programming languages high flexibility, which is useful for parallel/...

A generic reification technique for object-oriented reflective languages

Douence, Rémi
Südholt, Mario

January 2001

Computational reflection is gaining interest in practical applications as witnessed by the use of re...

A Classification of Various Approaches for Object-Based Parallel and Distributed Programming

Jean-pierre Briot
Rachid GUERRAOUI

January 1996

This paper aims at classifying and discussing the various ways along which the object paradigm is us...

Optimizing Reflective Languages by Using Partial Evaluation

Hidehiko Masuhara
Yuuya Sugita
Akinori Yonezawa

November 2007

We present techniques of compiling a reflective concurrent object-oriented language, ABCL/R3, by usi...

Metalevel Solution to Inheritance Anomaly in Concurrent Object-Oriented Languages (Extended Abstract)

Satoshi Matsuoka
Akinori Yonezawa

January 1990

Satoshi Matsuoka y Akinori Yonezawa Department of Information Science The University of Tokyo Augus...

Reflective architectures for damage tolerant autonomous systems

Kennedy, C.M.
Sloman, A.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(02-1) / BLDSC - British Lib...

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D40970/82 / BLDSC - British Library ...

Abstract Reflective programming in the relational algebra (extended abstract)

Jan Van
Bussche Dirk
Van Guchtt
Gottfried Vossen

April 2008

In reflective programming languages it is possi-ble for a program to generate code that is inte-grat...

On developing and verifying design abstractions for reliable concurrent programming in Ada

Koelmans, A. (and others)
Wellings, A.
Burns, A.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Available from British Library Document Supply Centre-DSC:8724.920(no CS-TR-706) / BLDSC - British L...

RbCl: A Reflective Object-Oriented Concurrent Language without a Run-time Kernel

Yuuji Ichisugi
Satoshi Matsuoka
Akinori Yonezawa

January 1992

We propose a reflective object-oriented concurrent language RbCl which has no run-time kernel. That ...

Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming

Satoshi Matsuoka
Takuo Watanabe
Akinori Yonezawa

January 1991

The benefits of computational reflection are the abilities to reason and alter the dynamic behavior ...

A Reflective Object-Oriented Concurrent Language for Distributed Environments

Ichisugi, Yuuji

March 1993

報告番号: 甲09830 ; 学位授与年月日: 1993-03-29 ; 学位の種別: 課程博士 ; 学位の種類: 博士(理学) ; 学位記番号: 博理第2579号 ; 研究科・専攻: 理学系研究科情...

Study On A Reflective Architecture To Provide Efficient Dynamic Resource Management For Highly-Parallel Object-Oriented Applications

Hidehiko Masuhara

January 1994

Recent progress in implementations of object-oriented concurrent programming languages on highly-par...

A concurrent visual language based on Petri nets

Usher, M.M.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN045674 / BLDSC - British Library D...

A concurrent object calculus Reduction and typing

Gordon, A.D.
Hankin, P.D.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(457) / BLDSC - British Libra...

Reasoning-conscious Meta-object Design of a Reflective Concurrent Language

Hidehiko Masuhara
Akinori Yonezawa

January 1997

Computational reflection gives programming languages high flexibility, which is useful for parallel/...

A generic reification technique for object-oriented reflective languages

Douence, Rémi
Südholt, Mario

January 2001

Computational reflection is gaining interest in practical applications as witnessed by the use of re...

A Classification of Various Approaches for Object-Based Parallel and Distributed Programming

Jean-pierre Briot
Rachid GUERRAOUI

January 1996

This paper aims at classifying and discussing the various ways along which the object paradigm is us...

Optimizing Reflective Languages by Using Partial Evaluation

Hidehiko Masuhara
Yuuya Sugita
Akinori Yonezawa

November 2007

We present techniques of compiling a reflective concurrent object-oriented language, ABCL/R3, by usi...

Metalevel Solution to Inheritance Anomaly in Concurrent Object-Oriented Languages (Extended Abstract)

Satoshi Matsuoka
Akinori Yonezawa

January 1990

Satoshi Matsuoka y Akinori Yonezawa Department of Information Science The University of Tokyo Augus...

Reflective architectures for damage tolerant autonomous systems

Kennedy, C.M.
Sloman, A.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(02-1) / BLDSC - British Lib...

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

SIGLEAvailable from British Library Document Supply Centre- DSC:D40970/82 / BLDSC - British Library ...

Abstract Reflective programming in the relational algebra (extended abstract)

Jan Van
Bussche Dirk
Van Guchtt
Gottfried Vossen

April 2008

In reflective programming languages it is possi-ble for a program to generate code that is inte-grat...

On developing and verifying design abstractions for reliable concurrent programming in Ada

Koelmans, A. (and others)
Wellings, A.
Burns, A.
Newcastle upon Tyne Univ. (United Kingdom). Computing Science

January 2001

Available from British Library Document Supply Centre-DSC:8724.920(no CS-TR-706) / BLDSC - British L...

Reflective computation in concurrent object-based languages A transformational approach

Abstract

Extracted data

Reflective computation in concurrent object-based languages A transformational approach

Abstract

Extracted data

Related items

Related items