10585 search results - page 662 / 2117 » The Orc Programming Language |
204
Voted
PEPM
2004
ACM
16 years 19 days ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
181
Voted
TPHOL
1994
IEEE
15 years 11 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
170
Voted
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
199
click to vote
ACL
1998
15 years 8 months ago
1998
We describe an on-going project whose primary aim is to establish the technology of producing closed captions for TV news programs efficiently using natural language processing an...
217
Voted
ENTCS
2002
15 years 7 months ago
2002
In this paper, we consider ANSI C program slicing using XML (Extensible Markup Language). Our goal is to build a flexible, useful and uniform data interchange format for CASE tool...