5377 search results - page 572 / 1076 » Programming Languages For Interactive Computing |
161
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...
197
Voted
ASP
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
176
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
236
click to vote
FP
1995
15 years 10 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
183
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
This paper reconsiders the threat posed by Shacham's "return-oriented programming" -- a technique by which WX-style hardware protections are evaded via carefully cr...