2944 search results - page 134 / 589 » On Well Quasi-orders on Languages |
101
Voted
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
94
Voted
EUROMICRO
1998
IEEE
15 years 5 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...
101
Voted
LREC
2008
15 years 2 months ago
2008
Some big languages like English are spoken by a lot of people whose mother tongues are different from. Their second languages often have not only distinct accent but also differen...
141
Voted
TSD
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a systematic comparison of preprocessing techniques for two language pairs: English-Czech and English-Hindi. The two target languages, although both belonging ...
86
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...