Sciweavers

2604 search results - page 154 / 521
» General constant expressions for system programming language...
Sort
View
114
Voted
HASKELL
2009
ACM
15 years 10 months ago
The architecture of the Utrecht Haskell compiler
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
125
Voted
ESOP
2000
Springer
15 years 7 months ago
Alias Types
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...
Frederick Smith, David Walker, J. Gregory Morriset...
127
Voted
WOSP
2000
ACM
15 years 8 months ago
A UML tool for an automatic generation of simulation programs
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
L. B. Arief, Neil A. Speirs
135
Voted
PLDI
1997
ACM
15 years 7 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
125
Voted
ENTCS
2006
114views more  ENTCS 2006»
15 years 3 months ago
Towards Efficient, Typed LR Parsers
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
François Pottier, Yann Régis-Gianas