6740 search results - page 763 / 1348 » Using Classification as a Programming Language |
199
click to vote
KBSE
2005
IEEE
16 years 28 days ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
221
click to vote
ENTCS
2002
15 years 7 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
175
Voted
CASSIS
2004
Springer
16 years 22 days ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
212
click to vote
XSYM
2004
Springer
16 years 20 days ago
2004
Springer
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
175
click to vote
LICS
2002
IEEE
16 years 8 days ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...