Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540430926, 9783540455875

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Functional Approach to Texture Generation

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_15 ◽

2001 ◽

pp. 225-242 ◽

Author(s):

Jerzy Karczmarczuk

Keyword(s):

Functional Approach ◽

Texture Generation

Download Full-text

Modeling Engineering Structures with Constrained Objects

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_4 ◽

2001 ◽

pp. 28-46 ◽

Author(s):

Bharat Jayaraman ◽

Pallavi Tambay

Keyword(s):

Engineering Structures

Download Full-text

Compiler Construction in Higher Order Logic Programming

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_5 ◽

2001 ◽

pp. 47-63 ◽

Author(s):

Chuck C. Liang

Keyword(s):

Logic Programming ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Compiler Construction

Download Full-text

WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_13 ◽

2001 ◽

pp. 192-208 ◽

Author(s):

Peter Thiemann

Keyword(s):

Download Full-text

A High-Level Generic Interface to External Programming Languages for ECLiPSe

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_17 ◽

2001 ◽

pp. 262-279 ◽

Author(s):

Kish Shen ◽

Joachim Schimpf ◽

Stefano Novello ◽

Josh Singer

Keyword(s):

Programming Languages ◽

Download Full-text

Exploiting E.cient Control and Data Structures in Logic Programs

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_20 ◽

2001 ◽

pp. 318-331

Author(s):

Rong Yang ◽

Steve Gregory

Keyword(s):

Data Structures ◽

Download Full-text

Compiling Embedded Programs to Byte Code

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_9 ◽

2001 ◽

pp. 120-136 ◽

Author(s):

Morten Rhiger

Download Full-text

Event-Driven FRP

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_11 ◽

2001 ◽

pp. 155-172 ◽

Author(s):

Zhanyong Wan ◽

Walid Taha ◽

Paul Hudak

Keyword(s):

Download Full-text

Semantics-Based Filtering: Logic Programming’s Killer App

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_7 ◽

2001 ◽

pp. 82-100 ◽

Author(s):

Gopal Gupta ◽

Hai-Feng Guo ◽

Arthur I. Karshmer ◽

Enrico Pontelli ◽

Juan Raymundo Iglesias ◽

...

Download Full-text

Using a Declarative Language to Build an Experimental Analysis Tool

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-45587-6_1 ◽

2001 ◽

pp. 1-2

Author(s):

Catherine Meadows

Keyword(s):

Experimental Analysis ◽

Analysis Tool ◽

Declarative Language

Download Full-text