Publications
134 results found
Broda KB, Eisenbach S, 1994, Teaching Program Reasoning in the First Year, NSF Teaching Formal Methods Workshop, New York
Magee JN, Eisenbach S, Kramer J, 1994, Modelling Darwin in the ?-calculus, International Workshop, International Workshop on Theory and Practice in Distributed Systems, Publisher: Springer Verlag, Pages: 133-152
Spinellis D, Eisenbach S, Drossopoulou S, 1994, Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming, \tProgramming Languages and System Architectures, Publisher: Springer-Verlag, Pages: 191-207
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions and quantitative theories applicable to the execution of compiled programs. Although the two entities are usually treated independently, object-oriented technology can be used to obtain a unifying framework. Specifically, inheritance can be used to model both programming languages as extensions to the assembly language executed by the target architecture, and system architectures as the root class of those paradigms. We describe how these principles can be used to model, structure and implement real multiparadigm systems in a portable and extendable way.
Eisenbach S, Kramer J, Magee JN, 1994, Regis-Darwin specified in the p-Calculus, Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Publisher: IEEE
Spinellis D, Drossopoulou S, Eisenbach S, 1994, Multiparadigm Programming through Paradigm Classes, International Conference on Programming Languages and System Architectures Zurich, Publisher: Springer Verlag
Magee JN, Eisenbach S, Kramer J, 1994, Modelling Darwin in the Pi-calculus, International Workshop on Theory and Practice in Distributed Systems, Publisher: Springer-Verlag
Paterson R, Eisenbach S, 1993, Pi-calculus semantics for the concurrent configuration language Darwin, 26th Hawaii International Conference on System Sciences, Publisher: IEEE, Pages: 456-462
Darwin is a configuration language for distributed and parallel programs, providing a hierarchical structure of components with dynamic binding. In order to specify precisely the behaviour of Darwin programs, we sketch a translation of the features of the language into the pi-calculus, a formalism for modelling concurrent processes. The match between underlying models for Darwin and pi-calculus is good. Examples done in the calculus are clean abstractions of the same solutions in other concurrent languages.
FINKELSTEIN A, KRAMER J, ABRAMSKY S, et al., 1993, AN INTEGRATED ENGINEERING STUDY SCHEME IN COMPUTING, COMPUTER JOURNAL, Vol: 36, Pages: 320-334, ISSN: 0010-4620
- Author Web Link
- Cite
- Citations: 2
Drossopoulou S, Paterson R, Eisenbach S, 1991, Parameterized Interfaces are Interfaces - AIAS., Publisher: Springer, Pages: 133-147
Eisenbach S, Sadler C, 1989, Program Design with Modula-2, Publisher: Addison-Wesley
Uses data flow design to develop Modula-2 programs.
EISENBACH S, SADLER C, 1988, PARALLEL ARCHITECTURE FOR FUNCTIONAL PROGRAMMING, INFORMATION AND SOFTWARE TECHNOLOGY, Vol: 30, Pages: 355-364, ISSN: 0950-5849
, 1987, Functional Programming: Languages, Tools, and Architectures, Publisher: Ellis Horwood
This is a series of articles on functional programming by members of the Department of Computing, Imperial College London
EISENBACH S, SADLER C, 1985, DECLARATIVE LANGUAGES - AN OVERVIEW, BYTE, Vol: 10, Pages: 181-&, ISSN: 0360-5280
- Author Web Link
- Cite
- Citations: 3
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.