1671 search results - page 53 / 335 » Language Constructs for Multi-agent Programming |
105
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
140
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
128
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
129
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
115
Voted
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...