3344 search results - page 2 / 669 » Formalizing Type Operations Using the |
COORDINATION
2006
Springer
13 years 10 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
BIRTHDAY
2004
Springer
14 years 13 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
ECOWS
2006
Springer
13 years 10 months ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
INLG
2010
Springer
13 years 5 months ago
2010
Springer
We present a framework for reformulating sentences by applying transfer rules on a typed dependency representation. We specify a list of operations that the framework needs to sup...
ICFP
1999
ACM
13 years 11 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...