367 search results - page 25 / 74 » Relating Full Abstraction Results for Different Programming ... |
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
KI
2006
Springer
13 years 8 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
APSEC
1999
IEEE
14 years 1 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
JASIS
2008
13 years 8 months ago
2008
The old Asian legend about the blind men and the elephant comes to mind when looking at how different authors of scientific papers describe a piece of related prior work. It turns...
LREC
2010
13 years 10 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...