640 search results - page 61 / 128 » Logical types for untyped languages |
RTA
2010
Springer
14 years 28 days ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
LACL
2001
Springer
14 years 1 months ago
2001
Springer
In categorial systems with a ļ¬xed structural component, the learning problem comes down to ļ¬nding the solution for a set of typeassignment equations. A hard-wired structural co...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
CSFW
2007
IEEE
14 years 29 days ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
WADT
2004
Springer
14 years 2 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a speciļ¬cation formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...