Sciweavers

6583 search results - page 94 / 1317
» Semantic Analysis Patterns
Sort
View
APLAS
2006
ACM
15 years 9 months ago
Reading, Writing and Relations
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
Nick Benton, Andrew Kennedy, Martin Hofmann, Lenna...
108
Voted
DIS
2005
Springer
15 years 8 months ago
Movement Analysis of Medaka (Oryzias Latipes) for an Insecticide Using Decision Tree
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
Sengtai Lee, Jeehoon Kim, Jae-Yeon Baek, Man-Wi Ha...
EDOC
2004
IEEE
15 years 6 months ago
QoS Aggregation for Web Service Composition using Workflow Patterns
Contributions in the field of Web services have identified that (a) finding matches between semantic descriptions of advertised and requested services and (b) non-functional chara...
Michael C. Jaeger, Gregor Rojec-Goldmann, Gero M&u...
JFP
2007
103views more  JFP 2007»
15 years 2 months ago
Warnings for pattern matching
We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, ...
Luc Maranget