Distributed execution of functional programs using the JVM

被引：0
作者：
Du Bois, AR
Costa, ACD
机构：
[1] Univ Fed Rio Grande Sul, Inst Informat, Programa Pos Grad Computac, BR-91501900 Porto Alegre, RS, Brazil
[2] Univ Catolica Pelotas, UCPel, Escola Informat, BR-96010000 Pelotas, RS, Brazil
来源：
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001 | 2001年 / 2178卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present in this paper the implementation, in the Java language, of a distributed environment for running functional programs. The idea is to join Java Virtual Machines (JVMs) running on different computers into a single virtual machine for running functional programs. To test this virtual machine we have implemented a small Haskell like functional language in which parallelism is expressed by some simple combinators.
引用
收藏
页码：570 / 582
页数：13
相关论文
共 50 条
  • [31] Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM
    Mues, Malte
    Rueschoff, Julian
    Ben Hermann
    TESTS AND PROOFS, TAP 2024, 2025, 15153 : 168 - 175
  • [32] Libra: A Library Operating System for a JVM in a Virtualized Execution Environment
    Ammons, Glenn
    Appavoo, Jonathan
    Butrico, Maria
    Da Silva, Dilma
    Grove, David
    Kawachiya, Kiyokuni
    Krieger, Orran
    Rosenburg, Byran
    Van Hensbergen, Eric
    Wisniewski, Robert W.
    VEE'07: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON VIRTUAL EXECUTION ENVIRONMENTS, 2007, : 44 - 54
  • [33] Execution replay and debugging of distributed multi-threaded parallel programs
    de Kergommeaux, JC
    Ronsse, M
    De Bosschere, K
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (06): : 511 - 526
  • [34] Improving Stress Quality for SoC Using Faster-than-At-Speed Execution of Functional Programs
    Bernardi, Paolo
    Bosio, Alberto
    Di Natale, Giorgio
    Guerriero, Andrea
    Sanchez, Ernesto
    Venini, Federico
    VLSI-SOC: SYSTEM-ON-CHIP IN THE NANOSCALE ERA - DESIGN, VERIFICATION AND RELIABILITY, 2017, 508 : 130 - 151
  • [35] VERIFICATION OF PROLOG PROGRAMS USING AN EXTENSION OF EXECUTION
    KANAMORI, T
    SEKI, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 475 - 489
  • [36] Verification of C programs using slicing execution
    Yi, XD
    Wang, J
    Yang, XJ
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 109 - 116
  • [37] Structural analysis and planning of processes of parallel execution of functional programs
    Bazhanov, SE
    Vorontsov, MM
    Kutepov, VP
    Shestakov, DA
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2005, 44 (06) : 942 - 957
  • [38] On the detection of board delay faults through the execution of functional programs
    An, G.
    Cantoro, R.
    Sanchez, E.
    Reorda, M. Sonza
    2017 18TH IEEE LATIN AMERICAN TEST SYMPOSIUM (LATS 2017), 2017,
  • [39] PARTITIONING AND SCHEDULING OF PARALLEL FUNCTIONAL PROGRAMS FOR LARGER GRAIN EXECUTION
    MAHESHWARI, P
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1995, 26 (02) : 151 - 165
  • [40] Improving granularity and locality of data in multiprocessor execution of functional programs
    Maheshwari, P
    PARALLEL COMPUTING, 1996, 22 (10) : 1359 - 1372
12345