2514 search results - page 264 / 503 » The use of industrial-strength formal methods |
172
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
157
click to vote
GIR
2006
ACM
16 years 17 days ago
2006
ACM
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...
188
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
166
click to vote
IFL
2005
Springer
16 years 3 days ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
182
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...