850 search results - page 107 / 170 » A Logic Programming Language Based on Binding Algebras |
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
122
click to vote
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
115
click to vote
CEFP
2005
Springer
15 years 7 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
111
click to vote
ICFP
2007
ACM
16 years 1 months 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...
115
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...