Efficient Translation of Haskell to Java Master’s Thesis Proposal

نویسنده

  • Brian Alliet
چکیده

The Java Virtual Machine [LY99] is an abstract machine designed to support object oriented languages. The strong security guarantees enforced by the JVM and it‘s portability make it a desirable target for distributing mobile code. Haskell [JHA99] is non-strict, higherorder functional language. Mapping non-strict higher order languages to any stock machine poses many unique challenges [Jon92]. Mapping these languages to strongly typed secure virtual machines such as the JVM leads to further challenges. First we discuss the the general issues involved in implemented non-struct functional language on Von Neumann style architectures. Next we discuss previous attempts at implementing these languages on general purpose secure virtual machines [Tul96, CiLH01, Ste02]. Finally we present our plan for efficiently mapping non-strict, higherorder functional languages (specifically Haskell) to the Java Virtual Machine.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Master’s Thesis Research Proposal

This is a proposal for the research I wish to do for my Master’s thesis. It is an attempt to categorize what I know, what I don’t know, what I need to do, and where I need help. It also consists of my attempt to completely survey the literature.

متن کامل

JMTk: A Portable Memory Management Toolkit

JMTk is a memory management toolkit written in Java for the JikesRVM Java Virtual Machine. JMTk provides reusable components for the development of allocation and garbage collection algorithms, and an efficient implementation of a rapidly growing number of memory management schemes, and is a significant enabler for memory management research. A portable version of JMTk would allow the growing b...

متن کامل

Thesis for the Degree of Licentiate of Philosophy

This thesis describes a number of practical experiments rather than theoretical investigations in the area of natural language processing. The basis for the work presented is Grammatical Framework (GF). It is a very complex system, which comprises among other things a grammar formalism based on type theory and its implementation written in Haskell. GF is intended for high-quality machine transl...

متن کامل

Syntax-based Statistical Machine Translation using Tree Automata and Tree Transducers

In this paper I present a Master’s thesis proposal in syntax-based Statistical Machine Translation. I propose to build discriminative SMT models using both tree-to-string and tree-to-tree approaches. Translation and language models will be represented mainly through the use of Tree Automata and Tree Transducers. These formalisms have important representational properties that makes them well-su...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007