713 search results - page 108 / 143 » Syntax and Semantics of Babel-17 |
122
Voted
DCC
2002
IEEE
16 years 3 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
126
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
170
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
The Semantic Web community, until now, has used traditional database systems for the storage and querying of RDF data. The SPARQL query language also closely follows SQL syntax. A...
129
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
133
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...