1636 search results - page 59 / 328 » Type-Theoretic Functional Semantics |
130
Voted
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
129
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
246
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
122
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
97
Voted
KI
2002
Springer
15 years 3 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...