2685 search results - page 166 / 537 » A Formal Semantics for SPKI |
177
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
156
Voted
INTEROP
1999
Springer
15 years 11 months ago
1999
Springer
This work investigates the practical issue of mapping existing GIS to the OpenGIS standards. We describe the data models used in three systems (MGE, ARC/INFO and SPRING) and analys...
156
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
208
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
168
click to vote
ACL
1989
15 years 8 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...