Programming Languages: Implementations, Logics, and Programs

Programming Languages: Implementations, Logics, and Programs

4.11 - 1251 ratings - Source



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
ISBN-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.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA