4743 search results - page 372 / 949 » The PlusCal Algorithm Language |
121
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
138
click to vote
AI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Term extraction is an important problem in natural language processing. In this paper, we propose a language independent statistical corpus-based term extraction algorith...
248
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
141
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
182
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...