3516 search results - page 206 / 704 » Programming Languages: Application and Interpretation |
195
click to vote
LFP
1990
15 years 7 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
166
click to vote
TPLP
2002
15 years 6 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
178
click to vote
CSL
2005
Springer
16 years 2 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
165
click to vote
FMCO
2007
Springer
16 years 21 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
187
click to vote
QSIC
2006
IEEE
16 years 16 days ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...