1313 search results - page 30 / 263 » Generic Universe Types |
ESOP
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
CORR
2000
Springer
13 years 8 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
JUCS
2008
13 years 8 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...