926 search results - page 61 / 186 » Prolog as the First Programming Language |
121
Voted
ENTCS
2002
15 years 2 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
117
Voted
PST
2008
15 years 4 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
124
Voted
SCCC
1999
IEEE
15 years 6 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
LREC
2010
15 years 4 months ago
2010
This paper describes the Language Technology Resource Center (LTRC), a U.S. Government website for providing information and tools for users of languages (e.g., translators, analy...
101
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...