Sciweavers

3056 search results - page 280 / 612
» Compiling Embedded Languages
Sort
View
SIGADA
2004
Springer
15 years 4 months ago
Teaching graphics using Ada
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
C. Wayne Brown
OOPSLA
2001
Springer
15 years 3 months ago
The Java Syntactic Extender
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
Jonathan Bachrach, Keith Playford
TACS
1997
Springer
15 years 2 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
ENTCS
2002
107views more  ENTCS 2002»
14 years 11 months ago
Declarative Debugging for Encapsulated Search
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
Rafael Caballero, Wolfgang Lux
LISP
2002
81views more  LISP 2002»
14 years 10 months ago
Secure Information Flow via Linear Continuations
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
Steve Zdancewic, Andrew C. Myers