95 search results - page 2 / 19 » Minding the (semantic) gap: engineering programming language... |
122
click to vote
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...
160
Voted
POPL
2008
ACM
15 years 10 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...
170
click to vote
POPL
2005
ACM
15 years 10 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
15 years 2 months 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...
112
click to vote
FOSSACS
1998
Springer
15 years 1 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...