7529 search results - page 108 / 1506 » The Modula-3 Type System |
139
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
123
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code speciļ¬es a deadline for each...
116
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type deļ...
134
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
AbstractāResource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
167
click to vote
PLANX
2007
15 years 5 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...