Hugh Glaser, Pieter H. Hartel, Michael Leuschel, Andrew Martin  @ NUS Home/Search
Context Related
| dsse.ecs.soton.ac....setr20001.ps.gz Cached: PS.gz PS PDF Image Update Help From: dsse.ecs.soton.ac.uk/tec...20001 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article we will consider this particular area (Update)
Context of citations to this paper: More
...C at the Universities of Southampton and Bristol. 1 Introduction At many universities students are taught declarative programming [2, 3] as a first language. The reasons behind this are not only to show students a di#erent programming language, but often to change the way...
Cited by: More
The Functional "C" Experience - Hartel, Muller, Glaser (2002) (Correct)
Active bibliography (related documents): More All
1.1: Paradigms and laboratories in the core computer science.. - Hartel, Hertzberger (1995) (Correct)
1.0: Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
0.6: Programming by Numbers: A programming method for novices - Glaser, Hartel, Garratt (1998) (Correct)
Similar documents based on text: More All
0.5: Visualising the structure of an IC-card security architecture - Glaser, Hartel, Frz (1996) (Correct)
0.4: The Resource Constrained Shortest Path Problem Implemented in .. - Hartel, Glaser (1993) (Correct)
0.4: Programming by Numbers - A programming method for complete.. - Glaser, Hartel (1998) (Correct)
BibTeX entry: (Update)
H. Glaser, P. H. Hartel, M. Leuschel, and A. Martin. Declarative Languages in Education. In Encyclopaedia of Microcomputers, Vol 27, pp 79--102. Marcel Dekker Inc, New York, 2001. http://citeseer.comp.nus.edu.sg/701536.html More
@misc{ glaser01declarative,
author = "H. Glaser and P. Hartel and M. Leuschel and A. Martin",
title = "Declarative Languages in Education",
text = "H. Glaser, P. H. Hartel, M. Leuschel, and A. Martin. Declarative Languages
in Education. In Encyclopaedia of Microcomputers, Vol 27, pp 79--102. Marcel
Dekker Inc, New York, 2001.",
year = "2001",
url = "citeseer.comp.nus.edu.sg/701536.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and concurrency (context) - Milner - 1989
1838 Foundations of Logic Programming (context) - Lloyd - 1987
1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
689 Systematic Software Development Using VDM - Jones - 1990
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
470 Design and Validation of Computer Protocols (context) - Holzmann - 1991
430 Structure and interpretation of computer programs (context) - Abelson, Sussman - 1985
388 Inductive Logic Programming - Muggleton - 1992
363 Programming in Prolog (context) - Clocksin, Mellish - 1987
362 ML for the working programmer (context) - Paulson - 1991
359 The implementation of functional programming languages (context) - Jones - 1987
333 Introduction to functional programming (context) - Bird, Wadler - 1988
322 First-Order Logic and Automated Theorem Proving (context) - Fitting - 1990
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990
210 its syntax and semantics (context) - Barendregt, calculus - 1984
185 de nition of Standard ML (context) - Milner, Tofte et al. - 1990
183 Report on the programming language Haskell { a non-strict pu.. (context) - Hudak, Jones et al. - 1992
182 Logic for Problem Solving (context) - Kowalski - 1979
180 Logic programming and negation: A survey - Apt, Bol - 1994
159 Predicate logic as a programming language (context) - Kowalski - 1974
146 Introduction to logic programming (context) - Apt - 1990
138 Abstract Interpretation of Declarative Languages (context) - Abramsky, Hankin - 1987
130 From Logic Programming to Prolog (context) - Apt - 1997
106 Purely Functional Data structures - Okasaki - 1998
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
82 Algebraic Semantics of Imperative Programs (context) - Goguen, Malcolm - 1996
67 Foundations of Deductive Databases and Logic Programming (context) - Minker - 1987
63 Semantics with applications: A formal introduction (context) - Nielson, Nielson - 1991
61 Logic and Databases (context) - Gallaire, Minker - 1978
53 From Logic to Logic Programming (context) - Doets - 1994
52 Programming from Speci cations (context) - Morgan - 1994
38 odel Programming Language (context) - Hill, Lloyd - 1994
36 Concurrency: state models & Java programs (context) - Magee, Kramer - 1999
32 Inductive Logic Programming: From Machine Learning to Softwa.. (context) - Bergadano, Gunettie - 1995
31 Practical Programming with Formal Methods (context) - Jacky, of - 1997
31 Elements of Set Theory (context) - Enderton - 1977
30 Programming and Prolog (context) - Nilsson, luszy et al. - 1990
28 Prolog Programming in Depth (context) - Covington, Nute et al. - 1996
28 An introduction to functional programming systems (context) - Davie - 1992
26 The Craft of Prolog (context) - O'Keefe - 1990
26 Knowledge Representation and Reasoning in Incomplete Logic P.. (context) - Denecker - 1993
23 Interactive Theory Revision: An Inductive Logic Programming .. (context) - De Raedt - 1992
20 The Functional approach to programming (context) - Cousineau, Mauny - 1998
17 Prentice Hall International (context) - Bird, de Moor et al. - 1997
16 Simply Logical: Intelligent Reasoning by Example (context) - Flach - 1994
15 Prentice Hall International Series in Computer Science (context) - Hayes, cation et al. - 1993
14 Functional programming with Miranda (context) - Holyer - 1991
14 Prolog Programming for Arti cial Intelligence (context) - Bratko - 1990
13 Meta-logics and Logic Programming (context) - Apt, Turini - 1995
13 Uber formal unentscheidbare Satze der Principia Mathematica.. (context) - odel - 1931
11 An Introduction to Formal Speci cation and Z (context) - Potter, Sinclair et al. - 1996
10 Kluwer Academic Publishers (context) - Chomicki, Saake et al. - 1998
9 BCS Practitioner Series (context) - Barden, Stepney et al. - 1994
9 Investigations in proof theory (context) - Herbrand - 1967
9 Deductive Databases and Logic Programming (context) - Das - 1992
9 ISETL: A programming language for learning mathematics (context) - Dubinsky - 1995
7 Speci cations are not (context) - Hayes, Jones - 1989
7 Abstract data types in Standard ML (context) - Harrison - 1993
6 Algebra and Databases (context) - Gray - 1984
6 A declarative laboratory approach for discrete structures (context) - Hein - 1993
6 From transistors to computer architecture: Teaching function.. (context) - O'Donnell - 1995
5 Partial Evaluation: Practice and Theory (context) - Hatcli, Mogensen et al. - 1999
5 The central role of mathematical logic in computer science (context) - Myers - 1990
5 their environments and system software interfaces { Vienna D.. (context) - Technology, languages - 1996
4 The Little Schemer (context) - Friedman, Felleisen et al. - 1996
4 Modern compiler implementation in ML { basic techniques (context) - Appel - 1997
3 Constructing Logic Programs (context) - Jacquet - 1993
3 Introduction to Discrete Mathematics with ISETL (context) - Fenton, Dubinsky - 1996
3 Knowledge Systems Through Prolog (context) - Kim - 1992
2 Executing formal speci cations need not be harmful (context) - Gravell, Henderson - 1996
2 Using Prolog to present abstract machines (context) - Crookes - 1988
2 An Introduction to Natural Language Processing Through Prolo.. (context) - Matthews - 1998
2 Arti cial Intelligence: Structures and Strategies for Comple.. (context) - Luger, eld - 1997
2 Mathematical Logic for Computer Science (context) - Ben-Ari - 1993
2 Reference Manual (context) - Derensart, Ed-Dbali et al. - 1996
2 Logic And Declarative Language (context) - Downward - 1998
2 erences between VDM and Z (context) - Hayes, Jones et al. - 1993
2 Abstract machines in Miranda (context) - Piotrowski - 1989
1 A functional programming approach (context) - Rabhi, Lapalme
1 Education: The need for education in useful formal logic (context) - Gries - 1996
1 The Btechnologies: a system for computer aided programming - Neilson, rensen - 1994
1 Prolog and Expert Systems (context) - Bowen - 1991
1 ISO Committee Draft; CD (context) - Nicholls, Notation et al. - 1995
1 From Prolog and Zelda to ToonTalk - Kahn - 1999
1 Natural Language Processing for Prolog Programmers (context) - Cavington - 1993
1 Solving Problems in Scienti c Computing Using Maple and MATL.. (context) - Gander, Hrebicek - 1997
1 Clause and E ect (context) - Clocksin - 1997
1 Deductive Program Design (context) - Broy - 1996
1 The completeness of the axioms of the functional calculus of.. (context) - odel - 1967
1 An introduction ro data base systems (context) - Date - 1995
1 Programming language semantics (context) - Kirkerud - 1997
1 Teaching logic as a computer language in schools (context) - Ennals - 1983
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.