Sciweavers

4178 search results - page 43 / 836
» Similarity Patterns in Language
Sort
View
APSEC
2007
IEEE
14 years 2 months ago
1st International Workshop on Software Patterns and Quality (SPAQu'07)
Although numbers of software pattern catalogues and languages have been published, little is known about quality of patterns, quality by patterns and quality aspects of pattern ac...
Hironori Washizaki, Nobukazu Yoshioka
CORR
2006
Springer
89views Education» more  CORR 2006»
13 years 8 months ago
Reuse of Specification Patterns with the B Method
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
Sandrine Blazy, Frédéric Gervais, R&...
IFIP
2004
Springer
14 years 1 months ago
Regular Tree Language Recognition with Static Information
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...
Alain Frisch
FCT
2001
Springer
14 years 1 months ago
Prediction-Preserving Reducibility with Membership Queries on Formal Languages
This paper presents the prediction-preserving reducibility with membership queries (pwm-reducibility) on formal languages, in particular, simple CFGs and finite unions of regular ...
Kouichi Hirata, Hiroshi Sakamoto
TOOLS
1997
IEEE
14 years 21 days ago
Callback Implementations in C++
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
P. Jakubik