2226 search results - page 7 / 446 » Pdk: The System and Its Language |
93
Voted
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
LREC
2008
14 years 11 months ago
2008
Some big languages like English are spoken by a lot of people whose mother tongues are different from. Their second languages often have not only distinct accent but also differen...
CL
2006
Springer
14 years 9 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
70
Voted
ACL
2012
12 years 12 months ago
2012
Social media language contains huge amount and wide variety of nonstandard tokens, created both intentionally and unintentionally by the users. It is of crucial importance to norm...
GPEM
2002
14 years 9 months ago
2002
Push is a programming language designed for the expression of evolving programs within an evolutionary computation system. This article describes Push and illustrates some of the o...