7139 search results - page 930 / 1428 » Language Engineering in Practice |
247
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
195
Voted
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
169
click to vote
ICITA
2005
IEEE
16 years 20 days ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
164
click to vote
ICTAI
2005
IEEE
16 years 20 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
213
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...