Programming Languages: Implementations, Logics, and Programs
This volume presents 25 revised papers from the ninth International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '97. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in constructing real programs. Topics covered include: implementation of declarative concepts; integration of paradigms; program analysis and transformation; programming environments; executable specifications; and reasoning about language constructs.SICStus Prolog Usera#39;s Manual. SICS Research Report, Swedish Institute of Computer Science, 1995. URL: http://www.sics.se/isl/sicstus.html. 12. Micha Meier et al. ECLiPSe user manual. ECRC Research Report ECRC-93-6, Europeananbsp;...
| Title | : | Programming Languages: Implementations, Logics, and Programs |
| Author | : | Hugh Glaser, Peter Hartel, Herbert Kuchen |
| Publisher | : | Springer Science & Business Media - 1997-08-13 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
