Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, et al. Maple reference manual. Symbolic Computation Group, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, March 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Learning from Components: Fitting AOP for System Software - Gal, Franz, Beuche (Correct)
....Application.NeedLocking void before( aquire lock void after( release lock ; Figure 5: Defining advice code in Lagoona 4. RELATED WORK A number of powerful aspect oriented languages exists today, including AspectJ [6] AspectC [12] and more recently AspectC# [8]. Unfortunately, none of them is geared to accommodate component oriented programming and aspectoriented programming at the same time. AOP has been successfully applied in the operating systems domain by a number of projects. The PURE family of operating systems uses AspectC to implement ....
H. Kim. AspectC#: An AOSD implementation for C#. Master's thesis, Department of Computer Science, Trinity College Dublin, Sept. 2002.
Sound Polymorphic Type Inference for Objects - Eifrig, Smith, Trifonov (1995) (67 citations) (Correct)
....19] The multi method approach has the advantage of avoiding the tradeoff between inheritance and subtyping. One advantage of our rich type language is Ingalls solution [13] can be used to encode multiple dispatch in our single dispatch framework. A fuller discussion of these topics is found in [4]. ....
Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Technical Report TR95-08, Department of Computer Science, Iowa State University, Ames, Iowa 50011-1040 USA. ftp://ftp.cs.iastate.edu/ pub/techreports/TR95-08/TR.ps.Z, 1995.
Distributed Smalltalk: Inheritance and Reactiveness in.. - Bennett (1988) (1 citation) Self-citation (Thesis) (Correct)
....considerable aid in dealing with these complexities, several attempts have been made over the last decade to extend object oriented semantics to distributed systems. Examples include Eden [Lazowska 81] and Emerald [Black 86] The development of efficient mechanisms for remote procedure call [Nelson 81, Spector 82] has made distributed computing an attractive alternative to timesharing on large, general purpose mainframes. A parallel development in distributed system design was fault tolerance. Several distributed, object oriented systems have been developed that provide mechanisms for the ....
Bruce Jay Nelson. Remote Procedure Call. PhD thesis, Department of Computer Science, Carnegie Mellon University, May 1981.
A Theory of Primitive Objects - Second-Order Systems - Abadi, Cardelli (34 citations) Self-citation (Cardelli) (Correct)
....of moving the origin point. In light of these properties, we consider that this treatment of movable points is satisfactory. We take advantage of this example to comment on the so called binary methods, as an aside. In object oriented programming, binary methods have proven generally problematic [7]. As we will see, we do not have much to contribute on this subject. A typical example of a binary method is an equality method in a point object: P 1eq V(Self) x:Int, mv x:IntSelf, eq:SelfBool] origin 1eq V(Self=P 1eq ) x=0, mv x= eq = V(s:P 1eq Self) l(p:Self) s.x = Int p.x] Binary ....
Bruce, K.B., L. Cardelli, G. Castagna, The Hopkins Objects Group, G.T. Leavens, and B. Pierce, On binary methods. TR95-08. Department of Computer Science, Iowa State University. 1995.
Parallelizing Algorithms for Symbolic Computation using MAPLE - Siegl (1993) (18 citations) Self-citation (Symbolic) (Correct)
....supports functional as well procedural programming styles in a Pascal like syntax. Maple has a Kernel written in C which can be linked as a subroutine to C programs. Input and output may be handled via strings representing Maple expressions. Further information may be found in [Char et al. 1983, Char et al. 1988] 2.3 kMAPLEk Kernel The main task for the Kernel of the system was to find a minimal set of interface routines combining the syntactic and Strand Parallel Programming System IO Interface Maple IO Interface IO Interface Maple Maple : Processor 1 Processor 2 : Processor N Figure 1: ....
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan, and Stephen M. Watt. MAPLE --- Reference Manual. Symbolic Computation Group, Department of Computer Science, University of Waterloo, Ontario, Canada, 5th edition, March 1988.
Typechecking and Modules for Multi-Methods - Chambers, Leavens (1995) (32 citations) Self-citation (Leavens) (Correct)
....arguments. Moreover, we present a typechecking algorithm, argue for its correctness, and analyze its complexity. Other researchers have developed more theoretical accounts of multi method based languages [Rouaix 90, Leavens Weihl 90, Ghelli 91, Castagna et al. 92, Pierce Turner 92, Bruce et al. 95] These papers are more concerned with specifying the semantics of multi methods and with defining type systems than with algorithms for typechecking. As a result, they ignore many of the language features specifically addressed by our work. Most other work on type systems for object oriented ....
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On Binary Methods. Technical report #95-08, Department of Computer Science, Iowa State University, May, 1995.
The Implementation of a System Description Language and its.. - van Reeuwijk (1991) (Correct)
No context found.
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, et al. Maple reference manual. Symbolic Computation Group, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, March 1988.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC