Block Diagrams as a Syntactic Extension to Haskell

Mar 14th 2011, 00:37

Read Online

Download

Download: 0

View: 182 times

Bookmark

Rating:

Recent Feedback

Be the first to comment

You must login to add comments

Related Suggestion :

erahs_oduc
8 subscriber
subscribe

Send Message

Description

Abstract. Often, the semantics of languages are deﬁned by the products that support their usage. The semantics are then determined by
the source code of those products, which often is a general-purpose programming language. This may lead to complications in deﬁning a clean
semantics, for example because imperative notions slip into a declarative language. It is illustrated how block diagrams can be translated into
Haskell to deﬁne the semantics of a graphical language in terms of a textual programming language. This also allows the use of block diagrams
as a syntactic extension to Haskell and the use of Haskell as an action
language in block diagrams. Imperative notions can then be included
from the declarative perspective of Haskell, which is more constrained
and less prone to resulting in complicated semantics of interaction and
combination of the imperative and declarative.