95 search results - page 2 / 19 » Minding the (semantic) gap: engineering programming language... |
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
SCAM
2003
IEEE
14 years 26 days ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
FOSSACS
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...