86 search results - page 3 / 18 » A Multi-Word Term Extraction Program for Arabic Language |
INFSOF
2000
13 years 5 months ago
2000
An important issue in a component-based software development process is the supply source of mature, reliable, adaptable, and maintainable components. We define as component minin...
TLDI
2009
ACM
14 years 2 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
SIGADA
2005
Springer
13 years 11 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
POPL
2006
ACM
14 years 6 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...