1223 search results - page 176 / 245 » Semantic Visualization and Meaning Computation |
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
TGC
2005
Springer
15 years 5 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
ENGL
2008
14 years 12 months ago
2008
Full comprehension of language comes about by understanding the meaning and the emotion behind the communication. Understanding the meaning of language is the goal of natural lang...
117
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
146
click to vote
WCFLP
2005
ACM
15 years 5 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...