Josep Díaz, Fernando Orejas
Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Current Issues in Programming Languages
TAPSOFT, Vol.2: CCIPL, 1989.

@proceedings{CCIPL-1989,
	doi           = "10.1007/3-540-50940-2",
	editor        = "Josep Díaz and Fernando Orejas",
	isbn          = "3-540-50940-2",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Current Issues in Programming Languages}",
	volume        = 352,
	year          = 1989,
}

Contents (20 items)

CCIPL-1989-Bondorf #self #term rewriting

A Self-Applicable Partial Evaluator for Term Rewriting Systems (AB), pp. 81–95.

CCIPL-1989-BossiC #correctness #logic programming #source code #verification

Verifying Correctness of Logic Programs (AB, NC), pp. 96–110.

CCIPL-1989-ClementI #behaviour #specification #using #visual notation

Specifying the Behavior of Graphical Objects Using Esterel (DC, JI), pp. 111–125.

CCIPL-1989-Dietrich #preprocessor #prolog

A Preprocessor Based Module System for Prolog (RD), pp. 126–139.

CCIPL-1989-AntonB #petri net #process #protocol #specification #verification

Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol (MDA, MB), pp. 140–154.

CCIPL-1989-FradetM #compilation #functional #λ-calculus

Compilation of Lambda-Calculus into Functional Machine Code (PF, DLM), pp. 155–166.

CCIPL-1989-FuhM #polymorphism #type inference #type system

Polymorphic Subtype Inference: Closing the Theory-Practice Gap (YCF, PM), pp. 167–183.

CCIPL-1989-GiacaloneMP #concurrent #functional #integration #named #programming #symmetry

FACILE: A Symmetric Integration of Concurrent and Functional Programming (AG, PM, SP), pp. 184–209.

CCIPL-1989-Gribomont #concurrent #development #source code

Development of Concurrent Programs: An Example (EPG), pp. 210–224.

CCIPL-1989-Hanus #horn clause #polymorphism #semantics #source code

Horn Clause Programs with Polymorphic Types: Semantics and Resolution (MH), pp. 225–240.

CCIPL-1989-HarperP #ambiguity #calculus #morphism #polymorphism #type checking

Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft) (RH, RP), pp. 241–256.

CCIPL-1989-InverardiMM #question #type checking

Is Type Checking Practical for System Configuration? (PI, SM, CM), pp. 257–271.

CCIPL-1989-MauwV

An Introduction to PSFd (SM, GJV), pp. 272–285.

CCIPL-1989-Meira #process

Processes and Functions (SRdLM), pp. 286–297.

CCIPL-1989-Mogensen #analysis #higher-order

Binding Time Analysis for Polymorphically Typed Higher Order Languages (TÆM), pp. 298–312.

CCIPL-1989-Papadopoulos #implementation #parallel

A Fine Grain Parallel Implementation of PARLOG (GAP), pp. 313–327.

CCIPL-1989-PenaA #data type #specification #verification

Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types (RP, LMA), pp. 328–344.

CCIPL-1989-PfenningL #morphism #named #polymorphism

LEAP: A Language with Eval And Polymorphism (FP, PL), pp. 345–359.

CCIPL-1989-RepsY #integration #semantics #slicing

The Semantics of Program Slicing and Program Integration (TWR, WY), pp. 360–374.

CCIPL-1989-SannellaT #development #ml #source code #towards

Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) (DS, AT), pp. 375–389.