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

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

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

Fri, 13 December 2013 07:07

Eclipse User

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

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

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jul 04 20:38:51 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter