Programming Language Implementation and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer-Verlag

354053010x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An approach to verifiable compiling specification and prototyping

2005 ◽  
pp. 45-59 ◽  
Author(s):  
Jonathan Bowen ◽  
He Jifeng ◽  
Paritosh Pandya

Implementing parallel rewriting

2005 ◽  
pp. 1-15 ◽  
Author(s):  
Claude Kirchner ◽  
Patrick Viry

Elementary logic programs

2005 ◽  
pp. 159-173 ◽  
Author(s):  
Paul Tarau ◽  
Michel Boyer
Keyword(s):  
Logic Programs

scholarly journals The vienna abstract machine

2005 ◽  
pp. 121-135 ◽  
Author(s):  
Andreas Krall ◽  
Ulrich Neumerkel
Keyword(s):  
Abstract Machine

Towards a characterization of termination of logic programs

2005 ◽  
pp. 204-221 ◽  
Author(s):  
B. Wang ◽  
R. K. Shyamasundar
Keyword(s):  
Logic Programs

Reasoning about programs with effects

2005 ◽  
pp. 189-203 ◽  
Author(s):  
Ian Mason ◽  
Carolyn Talcott
Load More ...
Sign in / Sign up

Export Citation Format

Share Document