Eclipse Community Forums: TMF (Xtext) » Question: Lambda Cube, Pattern Calculus, Process Calculus and Targets

Help

Home

Home » Modeling » TMF (Xtext) » Question: Lambda Cube, Pattern Calculus, Process Calculus and Targets

Show: Today's Messages :: Show Polls :: Message Navigator

Question: Lambda Cube, Pattern Calculus, Process Calculus and Targets [message #1220755]

Fri, 13 December 2013 12:07

Suminda Sirinath Salpitikorala Dharmasena

Messages: 13
Registered: July 2009

Junior Member

I am looking to see if some of the features below are supported and if not what is the road map to support them.

Does Rascal support:

1) All bases of the lambda cube
1.1) Ability to support different type systems
2) Pattern calculus
3) Process calculus

with interaction between the 1, 2 and 3

Also what the targets are. Can it target:
1) JVM
2) CLI
3) LLVM

Report message to a moderator

Previous Topic:	[SOLVED] Strange EOpposite proxy resolving issue
Next Topic:	How does this compare with other frameworks?

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sun Jul 12 20:02:50 GMT 2020

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter