H ? « ‹ ← → › »

Language peer sets for Forum:
Japan↑
Japan/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

Forum(ID:5031/for074)

alternate simple view
Country: Japan
Designed 1997

Linear Logic specification language

"Forum is a presentation of all of higher-order linear logic that makes it into a logic programming language"
References:
  • Miller, D. (1994) Miller, D. "A multiple-conclusion meta-logic"
          in Abramsky, S. (1994) Abramsky, S. editor, Ninth Annual Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press.
  • Chirimar, J. (1995) Chirimar, J. Proof Theoretic Approach to Specification Languages. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1995.
          in Abramsky, S. (1994) Abramsky, S. editor, Ninth Annual Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press.
  • Miller, D. (1996) Miller, D. A Multiple-Conclusion Meta-Logic. Theoretical Computer Science 165(1): 201-232 (1996).
          in Abramsky, S. (1994) Abramsky, S. editor, Ninth Annual Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press.
  • Christian Urban (1997) Christian Urban "Forum and its Implementation" MPhil thesis St. Andrews 1997 Abstract
          in Abramsky, S. (1994) Abramsky, S. editor, Ninth Annual Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder