Loading...
Please wait, while we are loading the content...
Similar Documents
Implementing Constraint Imperative Languages with Higher-order Functions
| Content Provider | Semantic Scholar |
|---|---|
| Author | Grabmüller, Martin |
| Copyright Year | 2003 |
| Abstract | Constraint imperative programming languages combine declarative constraints and imperative language features into an integrated programming language. The language Turtle supports these programming paradigms and additionally integrates functional programming with higher-order functions and algebraic data types. This paper describes the implementation of Turtle, consisting of a compiler, a run-time system including constraint solvers and an extensive library of supporting mod- |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://uebb.cs.tu-berlin.de/~magr/pub/MultiCPL03.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |