851 search results - page 146 / 171 » Associative definition of programming languages |
170
click to vote
OOPSLA
1995
Springer
15 years 5 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
143
click to vote
DLS
2005
15 years 3 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
122
click to vote
AAAI
1990
15 years 3 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
136
click to vote
SCP
2010
15 years 7 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
140
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...