314 search results - page 36 / 63 » An Imperative Object Calculus |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
The objective of this paper is to introduce dependability as an optimization criterion in the system-level design process of embedded systems. Given the pervasiveness of embedded ...
ESOP
1999
Springer
14 years 1 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
ESOP
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
COLING
1994
13 years 10 months ago
1994
This I)aper presents an implemented multi-tal)e twolevel model capable of describing Semitie non-linear morphology. The computational fl'arnework behind the ettrrcnt work is ...
SIGCSE
2008
ACM
13 years 9 months ago
2008
ACM
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...