Sciweavers

10575 search results - page 348 / 2115
» Programming Languages
Sort
View
211
Voted
ESOP
1992
Springer
15 years 10 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
ECOOP
2007
Springer
16 years 26 days ago
Characteristics of Runtime Program Evolution
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...
Mario Pukall, Martin Kuhlemann
SIGCSE
1995
ACM
187views Education» more  SIGCSE 1995»
15 years 10 months ago
A visual simulator for a simple machine and assembly language
We present a package which provides a visually oriented simulation of the execution of machine and assembly language programs on a simple computer. The programs am written for Hyp...
B. Lewis Barnett III
ERSHOV
2003
Springer
15 years 12 months ago
Intersecting Classes and Prototypes
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker
PPDP
2010
Springer
15 years 5 months ago
HSS: a compiler for cascading style sheets
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
Manuel Serrano