655 search results - page 1 / 131 » On Flat Programs with Lists |
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
LREC
2008
13 years 6 months ago
2008
Building a Linguistic Resource (LR) is a task requiring a huge quantitative of means, human resources and funds. Though finalization of the development phase and assessment of the...
SIGUCCS
2003
ACM
13 years 10 months ago
2003
ACM
IT Training and Communications is a division of Information Technology Services (ITS), which provides computer application training for the faculty and staff at Saint Louis Univer...
JISE
2000
13 years 5 months ago
2000
COLING
2008
13 years 6 months ago
2008
We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated pre...