Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997
DBLP:	db/conf/alc/alc1997.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 16  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Klaus Achatz, Helmuth Partsch. A powerful transformation rule, its applications and variants.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Juan Bicarregui, Kevin Lano, T. S. E. Maibaum. Towards a compositional interpretation of object diagrams.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Sharon Curtis. Dynamic programming: a different perspective.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum. Synthesising interconnections.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Marc Frappier, Ali Mili, Jules Desharnais. Defining and detecting feature interactions.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Deepak Goyal, Robert Paige. The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Yanhong A. Liu. Principled strength reduction.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Bernhard Möller. Calculating with pointer structures.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Theodore S. Norvell. Predicative semantics of loops.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997
	Conference paper Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi. A calculational fusion system HYLO.	Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France 1997	(0)	1997

Your query returned 16 matches in the database.