973 search results - page 140 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
RSFDGRC
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...
CN
1999
13 years 7 months ago
1999
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
ENTCS
2006
13 years 7 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...