Sciweavers

3516 search results - page 10 / 704
» Programming Languages: Application and Interpretation
Sort
View
TOPLAS
2008
138views more  TOPLAS 2008»
14 years 9 months ago
Decomposing bytecode verification by abstract interpretation
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...
83
Voted
ICFP
2002
ACM
15 years 9 months ago
Tagless staged interpreters for typed languages
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
Emir Pasalic, Walid Taha, Tim Sheard
SIGCSE
2008
ACM
134views Education» more  SIGCSE 2008»
14 years 9 months ago
Language design and implementation using ruby and the interpreter pattern
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...
Ariel Ortiz
ESOP
2005
Springer
15 years 3 months ago
Analysis of Modular Arithmetic
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
Markus Müller-Olm, Helmut Seidl
ARTMED
2010
119views more  ARTMED 2010»
14 years 9 months ago
Fuzzy Arden Syntax: A fuzzy programming language for medicine
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
Thomas Vetterlein, Harald Mandl, Klaus-Peter Adlas...