3546 search results - page 471 / 710 » A Causal Logic of Logic Programming |
100
click to vote
POPL
1998
ACM
15 years 3 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 ...
PLSA
1994
15 years 3 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
120
click to vote
PPDP
2010
Springer
14 years 9 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
103
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
195
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...