Logic Programming and Functional Nets Preliminary version
Download:
|
|
by Alan Mycroft
http://www.cl.cam.ac.uk/~am/papers/wflp00.ps.gz
Add To MetaCart
Abstract:
Abstract. In general, programming languages and paradigms have each been associated with their own underlying calculus. Thus functional programming has -calculus, logic programming has inference systems and concurrent programming has various calculi: Petri nets, -calculus, CCS, theoretical CSP and the like. Odersky recently showed how a development \Functional Nets " of the Join-calculus can express ideas from Functional, Concurrent and Object-Oriented languages within a single framework in a manner which allows constructs from these disparate languages to interact. Here we examine how logic programming concepts t into this framework. 1
Citations
| 52 | Stepwise Development of Operational and Denotational Semantics for PROLOG – Jones, Mycroft - 1984 |
| 32 | Functional nets – Odersky - 2000 |
| 22 | Studies in And/Or Parallelism in Prolog – Shen - 1992 |
| 15 | Coloured Petri Nets: Basic Concepts – Jensen - 1996 |
