2604 search results - page 110 / 521 » General constant expressions for system programming language... |
134
Voted
COLING
1992
15 years 4 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
131
Voted
JCS
2007
15 years 3 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
116
Voted
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
128
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
119
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...