Home
Catalogue search
Refine your search:
Keyword:
programming language semantics (5)
Declarative networking (2)
distributed (2)
programming language (2)
Algebraic specifications (1)
Alice programming language (1)
Bin WAM (1)
Compilation (1)
Compilation of binary Prolog (1)
Compilers (1)
more
Creator / Publisher:
The Pennsylvania State University CiteSeerX Archives (14)
Andrey Rybalchenko (2)
Juan A. Navarro (2)
Ali Mili (1)
Arie van Deursen (1)
Bart Demsen (1)
Carl Friedrich Bolz (1)
Dan Lascu (1)
David A. Watt (1)
E. P. B. M. Rutten (1)
more
Year:
2005 (1)
1997 (1)
1996 (1)
1995 (1)
1993 (1)
1992 (1)
1972 (1)
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
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
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
14
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern