Sciweavers

4099 search results - page 1 / 820
» First Class Patterns
Sort
View
PADL
2000
Springer
14 years 2 months ago
First Class Patterns
Mark Tullsen
ICSE
1993
IEEE-ACM
14 years 2 months ago
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
Mary Shaw
PODS
2004
ACM
98views Database» more  PODS 2004»
14 years 10 months ago
Processing First-Order Queries under Limited Access Patterns
We study the problem of answering queries over sources with limited access patterns. Given a first-order query Q, the problem is to decide whether there is an equivalent query whi...
Alan Nash, Bertram Ludäscher
APLAS
2007
ACM
14 years 2 months ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
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...
Burak Emir, Qin Ma 0002, Martin Odersky
LATA
2010
Springer
14 years 8 months ago
Untestable Properties Expressible with Four First-Order Quantifiers
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
Charles Jordan and Thomas Zeugmann