5451 search results - page 135 / 1091 » Typed Operational Semantics |
152
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
130
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
152
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
244
Voted
DEBU
2000
15 years 3 months ago
2000
Wide-area distribution raises significant performance problems for traditional query processing techniques as data access becomes less predictable due to link congestion, load imb...
122
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...