280 search results - page 10 / 56 » Equivalence of Two Formal Semantics for Functional Logic Pro... |
149
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
122
Voted
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
144
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
230
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
259
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...