655 search results - page 1 / 131 » On Flat Programs with Lists |
104
Voted
VMCAI
2007
Springer
15 years 5 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
15 years 1 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...
98
Voted
SIGUCCS
2003
ACM
15 years 4 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
14 years 11 months ago
2000
COLING
2008
15 years 1 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...