376 search results - page 40 / 76 » A Controlled Language for the Specification of Contracts |
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
140
click to vote
CINQ
2004
Springer
15 years 3 months ago
2004
Springer
Spatial data mining is a process used to discover interesting but not explicitly available, highly usable patterns embedded in both spatial and nonspatial data, which are possibly ...
TSE
1998
14 years 9 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
BMCBI
2007
14 years 10 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
CCS
2008
ACM
14 years 12 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...