589 search results - page 50 / 118 » Io: a small programming language |
102
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
196
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
102
click to vote
FMICS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
198
Voted
POPL
2009
ACM
16 years 15 days ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...