1636 search results - page 41 / 328 » Type-Theoretic Functional Semantics |
CADE
1994
Springer
15 years 4 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
113
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 years 11 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
114
click to vote
INFORMATICALT
1998
14 years 11 months ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
WISE
2008
Springer
15 years 6 months ago
2008
Springer
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....