Abstract | ||
---|---|---|
The main issue of this paper is to study the problem of formal translation of programs from an imperative language to a declarative one. To that end, we define a simple imperative language, denoted by L"1, that supports the basic types of statements that can be found in imperative paradigm such as assignment, looping, and selection or conditional branching. We also define a declarative language, denoted by L"2, where a program is a set of independent variable definitions that may involve some special arithmetic expressions (conditional expression or recursive expression). For instance, x=5+if(a |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.knosys.2005.10.003 | Knowl.-Based Syst. |
Keywords | Field | DocType |
denotational semantics,imperative language,main issue,special arithmetic expression,simple imperative language,recursive expression,basic type,transaltion,imperative program,declarative language,independent variable definition,conditional expression,formal translation | Denotational semantics of the Actor model,Operational semantics,Programming language,Branch,Computer science,Denotational semantics,Action semantics,Imperative programming,Declarative programming,Semantics | Journal |
Volume | Issue | ISSN |
19 | 2 | Knowledge-Based Systems |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohamed Mbarki | 1 | 41 | 6.85 |
Mohamed Mejri | 2 | 171 | 31.93 |
Béchir Ktari | 3 | 75 | 11.90 |