17983 search results - page 88 / 3597 » Set Types and Applications |
102
Voted
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
123
Voted
IEEEIAS
2008
IEEE
15 years 9 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
103
click to vote
ASPDAC
2000
ACM
15 years 6 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
125
click to vote
ADBIS
2000
Springer
15 years 6 months ago
2000
Springer
Data collected in many applications have a form of sequences of events. One of the popular data mining problems is discovery of frequently occurring episodes in such sequences. Eff...
115
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...