1805 search results - page 188 / 361 » Functional programming with structured graphs |
163
click to vote
DIMACS
1996
15 years 2 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
107
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Speciļ¬c Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
115
click to vote
CAISE
1995
Springer
15 years 5 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
117
click to vote
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...