请输入您要查询的百科知识:

 

词条 FX-87
释义

  1. References

{{Orphan|date=February 2009}}FX-87 is a polymorphic typed functional language based on a system for static program analysis in which every expression has two static properties: a type and an effect.[1] In a study done by MIT, FX-87 yields similar performance results as functional languages on programs that do not contain side effects (Fibonacci, Factorial). FX-87 did yield a great performance increase when matching DNA sequences.[2]

KFX is the kernel language of FX-87. It was described in 'Polymorphic Effect Systems', J.M. Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL, ACM 1988, pp. 47–57.

References

1. ^{{cite journal|last=Jouvelot|first=P.|author2=Gifford, D.K.|title=The FX-87 Interpreter|journal=IEEE|date=9 October 1988|pages=65–72|doi=10.1109/ICCL.1988.13044|url=http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=13044&abstractAccess=no&userType=inst|accessdate=8 October 2013|isbn=978-0-8186-0874-2}}
2. ^{{cite journal|last=Hammel|first=Todd|author2=David K. Gifford|title=FX-87 Performance Measurements: Dataflow Implementation|journal=Laboratory for Computer Science, Massachusetts Institute of Technology|date=September 1988|url=http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-421.pdf|accessdate=8 October 2013}}
{{FOLDOC}}{{compu-lang-stub}}

2 : Programming languages|Academic programming languages

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/11 23:16:55