3679 search results - page 466 / 736 » Hybrid Semantic Analysis |
186
click to vote
ATVA
2004
Springer
16 years 1 days ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
208
click to vote
MLMI
2004
Springer
16 years 4 hour ago
2004
Springer
This paper presents a shallow dialogue analysis model, aimed at human-human dialogues in the context of staff or business meetings. Four components of the model are defined, and ...
153
click to vote
TSD
2004
Springer
15 years 12 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
185
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
175
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...