10585 search results - page 216 / 2117 » The Orc Programming Language |
180
Voted
PEPM
2011
ACM
14 years 5 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
118
Voted
ACMSE
2006
ACM
15 years 6 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....
116
click to vote
CSUR
2004
15 years 2 months ago
2004
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
135
Voted
APLAS
2011
ACM
14 years 2 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
131
Voted
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...