1229 search results - page 85 / 246 » Reflections on the Design of a Specification language |
247
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
147
click to vote
ADBIS
2007
Springer
16 years 11 days ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
219
click to vote
CEFP
2009
Springer
15 years 4 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
178
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
164
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...