211 search results - page 4 / 43 » Reflective Programming in the Relational Algebra |
JLP
2008
13 years 10 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
ACMMPC
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
ICAS
2006
IEEE
14 years 4 months ago
2006
IEEE
The trend towards autonomic systems emphasizes the need for implementation frameworks for autonomic features. In this paper we describe a general framework for the development of ...
ACSC
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper describes the use of the reflective journal in a computer programming course at the University of South Australia. We describe rationale for the journal relating it to ...
FUIN
2007
13 years 10 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...