2226 search results - page 36 / 446 » Pdk: The System and Its Language |
110
click to vote
LISP
2002
15 years 1 months ago
2002
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...
116
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
129
click to vote
JISBD
2000
15 years 3 months ago
2000
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
107
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
108
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...