1835 search results - page 38 / 367 » Functional Programming of Behavior-Based Systems |
107
Voted
ICFP
2007
ACM
16 years 22 days ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
123
Voted
SFP
2003
15 years 2 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
94
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
87
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
104
Voted
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
The locomotor controller for walking, running, swimming, and flying animals is based on a Central Pattern Generator (CPG). Models of CPGs as systems of coupled non-linear oscillato...