650 search results - page 35 / 130 » Logical Bisimulations and Functional Languages |
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
86
Voted
IFIP
2009
Springer
15 years 5 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
94
Voted
TPHOL
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
85
Voted
AAAI
2007
15 years 1 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
80
Voted
ENTCS
2000
14 years 10 months ago
2000
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...