Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon, M. A. The FX-87 Reference Manual. MIT/LCS/TR-407, 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
FX-87 Performance Measurements: Dataflow Implementation - Hammel, al. (1988) (7 citations) (Correct)
....that we performed to explore our thesis that the FX 87 effect system permits a compiler to schedule imper ative programs (i.e. programs that may contain side effects) for execution on a parallel computer. We will assume that the reader is familiar with the details of the FX 87 language [Gif87, Luc87] and with dataflow [Arv87a] Our major results are as follows: On programs that do not contain side effects, such as fibonacci and factorial, FX 87 performs just as well as functional languages. Although FX 87 programs can include expressions with side effects, the compiler takes full advantage ....
David K. Gifford, Pierre Jouvelot, John M. Lucassen and Mark A. Sheldon, FX-87 Reference Manual, MIT/LCS/TR-407, September 1987.
Synchronising with First-Class Conditions - Afshartous (Correct)
....In order to enforce restrictions within synchronization conditions we incorporate eoeects into the source static semantics. Eoeects come out of research done at the MIT Laboratory for Computer Science in the late 1980 s [Luc87] JG91] LG91] One product of this research was the The FX language [GJLS87] which applies its eoeect system to perform parallel code generation and stack allocation of temporary data structures. Talpin and Jouvelot subsequently designed an eoeect type system for the core of ML [TJ92] They then applied their framework to make the type generalization associated with let ....
D. Gioeord, P. Jouvelot, J. M. Lucassen, and M. Sheldon. Fx-87 reference manual. Technical Report TR407, MIT-LCS, 1987.
Report on the FX Programming Language - David Gifford Pierre Self-citation (Gifford Jouvelot Sheldon) (Correct)
No context found.
Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon, M. A. The FX-87 Reference Manual. MIT/LCS/TR-407, 1987.
Reasoning about Continuations - With Control Effects Self-citation (Gifford Jouvelot) (Correct)
No context found.
Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon, M. A. The FX-87 Reference Manual. MIT/LCS/TR-407, 1987.
Type Reconstruction with First-Class Polymorphic Values - OToole, Jr., Gifford (1989) (8 citations) Self-citation (Gifford) (Correct)
....retaining the benefits of strongly typed languages, including superior performance, documentation, and safety. However, present systems for type reconstruction, such as the ML type system [Milner78] do not permit the use of firstclass polymorphic values. Explicitly typed languages, such as FX 87 [Gifford87], do permit first class polymorphic values, but they do not provide the programmer with the convenience of implicitly typed languages such as ML. The FX 89 programming language is a revision and extension of FX 87. FX 89 is based on a type reconstruction system that combines the flexibility of ML ....
Gifford, D. K., Jouvelot, P., Lucassen, J. M., Sheldon, M. A., The FX-87 Reference Manual, MIT/LCS/TR-407, October 1987.
Type Abstraction Rules for References: A Comparison of Four.. - O'Toole, Jr. (Correct)
No context found.
Gifford, D. K., Jouvelot, P., Lucassen, J. M., Sheldon, M. A., The FX-87 Reference Manual, MIT/LCS/TR-407, October 1987.
Type Abstraction Rules for References: A Comparison of Four Which.. - Jr (Correct)
No context found.
Gifford,D.K., Jouvel ot, P., Lucassen,J. M., Shel don,M.A., The FX-87 ReferenceManual, MIT/LCS/TR-407, October 1987.
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