4722 search results - page 46 / 945 » Encoding Program Executions |
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
133
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
101
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
114
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
126
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....