Greg Michaelson
Heriot-Watt University, Computer Science, Department Member
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests: Data Processing and Cobol
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Abstract Language definition techniques may be applied to the specification of a wide range of problems. Language implementation techniques may then be used to construct interpreter prototypes. The use of an interpreter-interpreter... more
Abstract Language definition techniques may be applied to the specification of a wide range of problems. Language implementation techniques may then be used to construct interpreter prototypes. The use of an interpreter-interpreter language for the implementation of interpreter prototypes circumvents some of the disadvantages of contemporary programming languages and software tools.
Research Interests:
Research Interests:
Denotational semantics is now used widely for the formal definition of programming languages but there is a lack ofappropriate tools to support language development. General purpose language implementation systems are oriented tosyntax... more
Denotational semantics is now used widely for the formal definition of programming languages but there is a lack ofappropriate tools to support language development. General purpose language implementation systems are oriented tosyntax with poor support for semantics. Specialised denotational semantics based systems correspond closely to theformalism but are rendered inflexible for language experimentation by their monolithic multiple stagesExploratory language development
Research Interests:
Research Interests:
The box calculus is a formalism for reasoning about the properties of multi-process systems which enables account to be taken of pragmatic as well as computational concerns. It was developed for the programming language Hume which... more
The box calculus is a formalism for reasoning about the properties of multi-process systems which enables account to be taken of pragmatic as well as computational concerns. It was developed for the programming language Hume which explicitly distinguishes between coordination, based on concurrent boxes linked by wires, and expressions, based on polymorphic recursive functions. This chapter introduces Hume expressions and surveys classic techniques for reasoning about functional programs. It then explores Hume ...
... 20269-6. Author, Peter Bishop, Peter Bishop Associates, Richmond, Surrey, UK. Bibliometrics, Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 0. ... more... Collaborative Colleagues: Peter Bishop: colleagues. The... more
... 20269-6. Author, Peter Bishop, Peter Bishop Associates, Richmond, Surrey, UK. Bibliometrics, Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 0. ... more... Collaborative Colleagues: Peter Bishop: colleagues. The ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
@inproceedings{TUW-139892, author = {Pohl, Margit and Michaelson, Greg}, title = {''I know that's not the topic we're on, but it is all linked isn't... more
@inproceedings{TUW-139892, author = {Pohl, Margit and Michaelson, Greg}, title = {''I know that's not the topic we're on, but it is all linked isn't it?'': Gender and Interaction in Email List Cooperation}, booktitle = {The Gender Politics of ICT}, year = {2005}, pages = {179--190}, publisher = {Middlesex University Press}, address = {Middlesex}, isbn = {190475046x}, note = {Vortrag: 6th International Women into Computing Conference, London; 2005-07-14 -- 2005-07-16} } Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.
Abstract. An experiment to investigate gender differences in email mediated co-operative working is presented, involving Austrian/Scottish pairs acting as domain experts for each other's tasks. While gender and culture are not... more
Abstract. An experiment to investigate gender differences in email mediated co-operative working is presented, involving Austrian/Scottish pairs acting as domain experts for each other's tasks. While gender and culture are not overall predictors of the effort a subject expends on their own and their partner's task, classic gender stereotypes are found in individuals' co-operation strategies.
In the 1970s and 1980s, the question whether there are gender differences in face-to-face communication played an important role in feminist discussions. A considerable number of studies (for an overview see, for example, Trömel-Plötz... more
In the 1970s and 1980s, the question whether there are gender differences in face-to-face communication played an important role in feminist discussions. A considerable number of studies (for an overview see, for example, Trömel-Plötz 1984; Gräßel 1991; Tannen 1991) showed conclusively that such gender differences exist. In particular: men talk more than women, men tend to interrupt women more often and women encourage and support each other's topics more often than men. It is an open question whether similar phenomena can ...
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references. ... {2} L. Birkedal, N. Rothwell, M. Tofte, and DN... more
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references. ... {2} L. Birkedal, N. Rothwell, M. Tofte, and DN Turner. The ml kit Version 1. Technical Report 93/14, Department of Computer Science, University of Copenhagen, 1993. ... {3} T. Bratvold. Determing useful parallelism in higher order functions. In Proceedings of 4th International Workshop on the Parallel Implementation of Functional Languages, Aachen, Germany, pages ...
Research Interests:
Cost analysis of conventional imperative/object-oriented languages, such as C or Java, is both undecidable in theory and highly restricted in practice. In contrast, since the novel Hume language is based on strong formal foundations, it... more
Cost analysis of conventional imperative/object-oriented languages, such as C or Java, is both undecidable in theory and highly restricted in practice. In contrast, since the novel Hume language is based on strong formal foundations, it allows close alignment between implementations and cost analyses, so providing high-quality static cost analysis. In this paper, we present a formal translation from a C subset (miniC) to Hume, explore the scope for applying Hume cost analyses to such a translation, and discuss the efficacy of applying Hume worst-case execution time (WCET) analysis to translated miniC exemplars.
Research Interests:
Abstract requested is temporarily unavailable. Try again later.
Research Interests:
Program synthesis is one of those deceptively simple propositions: say what you want some program to do, turn the handle and out pops the program. The problem, of course, is to determine what the handle drives, if not a skilled human... more
Program synthesis is one of those deceptively simple propositions: say what you want some program to do, turn the handle and out pops the program. The problem, of course, is to determine what the handle drives, if not a skilled human being. Deductive synthesis, with which JFP readers will be most familiar, concerns the generation of programs using rigorous techniques that ensure that that they satisfy initial specifications. This approach received an enormous boost when declarative programming emerged from the labs in the late 1970s, ...
Research Interests:
Research Interests:
Abstract Low and intermediate image processing produce a description of a visual scene in terms of constituent features and their interrelationships. We have developed both parallel imperative and functional forms of an algorithm for the... more
Abstract Low and intermediate image processing produce a description of a visual scene in terms of constituent features and their interrelationships. We have developed both parallel imperative and functional forms of an algorithm for the interpretation of segmented scene data, which effectively match a dynamic data structure representing the scene against a database of preformed models. These models represent components which may exist within the scene, either in complete view or partially obscured. For evaluation and comparison of ...