3516 search results - page 123 / 704 » Programming Languages: Application and Interpretation |
125
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
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...
253
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
127
click to vote
ASM
2000
ASM
15 years 9 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
147
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
155
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...