95 search results - page 5 / 19 » An Implementation of Subtyping Among Regular Expression Type... |
BMCBI
2010
13 years 7 months ago
2010
Background: While in principle a seemingly infinite variety of combinations of mutations could result in tumor development, in practice it appears that most human cancers fall int...
SIGSOFT
2000
ACM
13 years 11 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
CC
2005
Springer
13 years 9 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...