2226 search results - page 36 / 446 » Pdk: The System and Its Language |
147
click to vote
LISP
2002
15 years 5 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...
162
click to vote
OOPSLA
2010
Springer
15 years 4 months 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 ...
181
click to vote
JISBD
2000
15 years 7 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 ...
155
click to vote
ACMSE
2006
ACM
15 years 9 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....
158
click to vote
MODELS
2009
Springer
16 years 18 days 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...