1895 search results - page 152 / 379 » Modular Functional Descriptions |
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
OZCHI
2005
ACM
14 years 1 months ago
2005
ACM
Technology is advancing at a rapid pace, automating many everyday chores in the process, changing the way we perform work and providing various forms of entertainment. Makers of t...
KI
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
CD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Component orientation is a current trend for creating modern applications. The concept of a component is broad and includes plugins and other units of modularization. Typ...