3595 search results - page 504 / 719 » Roles of Program Extension |
134
click to vote
TPHOL
2007
IEEE
16 years 5 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
126
click to vote
FMCO
2007
Springer
16 years 2 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
158
click to vote
GPCE
2007
Springer
16 years 2 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
126
click to vote
SEMWEB
2007
Springer
16 years 17 hour ago
2007
Springer
As more and more reusable structured data appears on the Web, casual users will want to take into their own hands the task of mashing up data rather than wait for mash-up sites to ...
163
click to vote
ISSRE
2006
IEEE
15 years 12 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...