215 search results - page 3 / 43 » Pattern Matching in Order-Sorted Languages |
RIAO
2000
14 years 7 days ago
2000
The presence of XML in many recent hypermedia management tools and methods (W3I3, SMIL, etc.) shows better than ever that both structural and textual criteria will continue to pla...
ECBS
1996
IEEE
14 years 3 months ago
1996
IEEE
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
VL
1994
IEEE
14 years 3 months ago
1994
IEEE
Dotplot is a technique for visualizing patterns of string matches in millions of lines of text and code. Patterns may be explored interactively or detected automatically. Applicat...
AMAST
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...