13734 search results - page 23 / 2747 » Abstractions of data types |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 8 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
POS
1990
Springer
14 years 23 days ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
ESOP
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
TLDI
2003
ACM
14 years 1 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...