3319 search results - page 162 / 664 » Subshifts, Languages and Logic |
122
Voted
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
95
Voted
AC
2002
Springer
15 years 21 days ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
212
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
92
Voted
ICFP
2003
ACM
16 years 23 days ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
110
Voted
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...