TAPSOFT '89 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540509400, 9783540461180
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Processes and functions

1989 ◽  
pp. 286-297 ◽  
Author(s):  
Silvio Lemos Meira

scholarly journals Verifying correctness of logic programs

1989 ◽  
pp. 96-110 ◽  
Author(s):  
A. Bossi ◽  
N. Cocco
Keyword(s):  
Logic Programs

scholarly journals A preprocessor based module system for Prolog

1989 ◽  
pp. 126-139 ◽  
Author(s):  
Roland Dietrich
Keyword(s):  
Module System

scholarly journals Horn clause programs with polymorphic types: Semantics and resolution

1989 ◽  
pp. 225-240 ◽  
Author(s):  
Michael Hanus
Keyword(s):  
Horn Clause

scholarly journals Polymorphic subtype inference: Closing the theory-practice gap

1989 ◽  
pp. 167-183 ◽  
Author(s):  
You-Chin Fuh ◽  
Prateek Mishra
Keyword(s):  
Practice Gap ◽  
Theory Practice Gap

scholarly journals Is type checking practical for system configuration?

1989 ◽  
pp. 257-271 ◽  
Author(s):  
P. Inverardi ◽  
S. Martini ◽  
C. Montangero
Keyword(s):  
System Configuration ◽  
Type Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document