6794 search results - page 1077 / 1359 » Semantics of Visual Languages |
197
Voted
POPL
1994
ACM
15 years 8 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
145
click to vote
SIGCSE
1990
ACM
15 years 8 months ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
167
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
141
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
144
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...