10585 search results - page 706 / 2117 » The Orc Programming Language |
189
click to vote
UIST
2005
ACM
16 years 1 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
192
click to vote
ICDT
2005
ACM
16 years 29 days ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
181
click to vote
OOPSLA
2005
Springer
16 years 28 days ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
218
click to vote
PPDP
2004
Springer
16 years 24 days ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
204
click to vote
FASE
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...