2604 search results - page 110 / 521 » General constant expressions for system programming language... |
COLING
1992
13 years 10 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
JCS
2007
13 years 9 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...
PASTE
2005
ACM
14 years 2 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...
GECCO
2005
Springer
14 years 2 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...
EUROMICRO
1998
IEEE
14 years 1 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...