Sciweavers

4959 search results - page 31 / 992
» Imperative Functional Programming
Sort
View
CC
1999
Springer
157views System Software» more  CC 1999»
15 years 4 days ago
Tool Support for Language Design and Prototyping with Montages
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...
ICLP
1999
Springer
15 years 4 months ago
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
Yves Caseau, François-Xavier Josset, Fran&c...
103
Voted
DAC
2000
ACM
16 years 1 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
HCW
1998
IEEE
15 years 4 months ago
On the Interaction between Mobile Processes and Objects
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
Suresh Jagannathan, Richard Kelsey
ISCI
2007
135views more  ISCI 2007»
15 years 11 days ago
Generalising the array split obfuscation
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...
Stephen Drape