499 search results - page 50 / 100 » Raising Programming Abstraction from Objects to Services |
143
click to vote
JELIA
1990
Springer
15 years 8 months 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...
166
click to vote
TSE
1998
15 years 4 months ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...
166
Voted
POPL
2012
ACM
14 years 4 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
149
click to vote
AOSD
2010
ACM
15 years 4 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
145
click to vote
MKWI
2008
15 years 6 months ago
2008
: Language offers human beings the ability to exchange information. Whether the information is understood or not depends on the structure, complexity and knowledge of the language....