1636 search results - page 126 / 328 » Type-Theoretic Functional Semantics |
134
click to vote
SOSYM
2010
14 years 10 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
115
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
135
click to vote
CAAP
1990
15 years 7 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
136
click to vote
FLAIRS
2008
15 years 6 months ago
2008
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
126
click to vote
ACISICIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...