311 search results - page 44 / 63 » A Bialgebraic Approach to Automata and Formal Language Theor... |
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
JELIA
1990
Springer
14 years 19 days ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...