Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Hits 1 – 14 of 14

1	The Design of Monty: a Programming/Scripting Language
	David A. Watt
	In: http://www.informatik.uni-bremen.de/~hof/Monty/Monty-Watt.pdf (2005)
	BASE
	Show details

2	Deriving Compilers from Monadic Semantics
	William L. Harrison; Samuel N. Kamin
	In: http://www-sal.cs.uiuc.edu/~harrison/pubs/research/compile-Monadic.ps.Z (1997)
	BASE
	Show details

3	Responsibilities: Support for Contract Based Distributed Programming
	Henry Detmold; Michael J. Oudshoorn
	In: http://www.cs.adelaide.edu.au/~michael/papers/Contract.ps (1996)
	BASE
	Show details

4	Bosschere. The Power of Partial Translation: an Experiment with the C-ification of Binary Prolog
	Paul Tarau; Bart Demsen; Koen De Bosschere...
	In: http://www.cs.kuleuven.ac.be/~dtai/publications/files/18222.pdf (1995)
	BASE
	Show details

5	Origin Tracking in Primitive Recursive Schemes
	Arie van Deursen
	In: http://www.cwi.nl/ftp/CWIreports/AP/CS-R9401.ps.Z (1993)
	BASE
	Show details

6	Miniford: a Kernel for a Manifold-like Coordination Language
	E. P. B. M. Rutten
	In: http://www.cwi.nl/ftp/CWIreports/IS/CS-R9252.ps.Z (1992)
	BASE
	Show details

7	Definitional interpreters for higher-order programming languages
	John C. Reynolds
	In: http://eecs.harvard.edu/~nr/cs252r/archive/john-reynolds/defintho.pdf (1972)
	BASE
	Show details

8	A flexible Prolog Interpreter in Python
	Carl Friedrich Bolz; Michael Leuschel; Lehrstuhl Softwaretechnik
	In: http://codespeak.net/svn/user/cfbolz/hack/prolog/paper/esop.pdf
	BASE
	Show details

9	LabVIEW Electrocardiogram Event and Beat Dection
	Mihaela Lascu; Dan Lascu
	In: http://www.wseas.us/e-library/transactions/research/2008/25-210.pdf
	BASE
	Show details

10	Capturing Pointer Semantics and Scoping Rules
	Rahma Ben Ayed; Hafedh Mili; Ali Mili
	In: http://www.isr.wvu.edu/products/cps.ps
	BASE
	Show details

11	v27 n1371 Student Perceptions of Instructional Tools in Programming Logic: A Comparison of Traditional versus Alice Teaching Environments
	Leah Schultz
	In: http://proc.isecon.org/2010/pdf/1371.pdf
	BASE
	Show details

12	The Mob Core Language and Abstract Machine
	Hervé Paulino; Luís Lopes
	In: http://www.dcc.fc.up.pt/Pubs/TR05/dcc-2005-05.pdf
	BASE
	Show details

13	A.: Operational Semantics for Declarative Networking
	Juan A. Navarro; Andrey Rybalchenko
	In: http://www.mpi-sws.org/~jnavarro/papers/padl09.pdf
	BASE
	Show details

14	Operational Semantics for Declarative Networking
	Juan A. Navarro; Andrey Rybalchenko
	In: http://www7.in.tum.de/~rybal/papers/padl09-opeartional-semantics-for-declarative-networking.pdf
	BASE
	Show details

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern