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

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540222538, 9783540248361

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Pruning in the Extended Andorra Model

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

10.1007/978-3-540-24836-1_9 ◽

2004 ◽

pp. 120-134 ◽

Author(s):

Ricardo Lopes ◽

Vítor Santos Costa ◽

Fernando Silva

Download Full-text

An Implementation of Session Types

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

10.1007/978-3-540-24836-1_5 ◽

2004 ◽

pp. 56-70 ◽

Author(s):

Matthias Neubauer ◽

Peter Thiemann

Keyword(s):

Download Full-text

A Typeful Approach to Object-Oriented Programming with Multiple Inheritance

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

10.1007/978-3-540-24836-1_3 ◽

2004 ◽

pp. 23-38 ◽

Author(s):

Chiyan Chen ◽

Rui Shi ◽

Hongwei Xi

Keyword(s):

Object Oriented ◽

Object Oriented Programming ◽

Multiple Inheritance

Download Full-text

Improved Compilation of Prolog to C Using Moded Types and Determinism Information

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

10.1007/978-3-540-24836-1_7 ◽

2004 ◽

pp. 86-103 ◽

Author(s):

J. Morales ◽

Manuel Carro ◽

Manuel Hermenegildo

Download Full-text

Symbolic Execution of Behavioral Requirements

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

10.1007/978-3-540-24836-1_13 ◽

2004 ◽

pp. 178-192 ◽

Author(s):

Tao Wang ◽

Abhik Roychoudhury ◽

Roland H. C. Yap ◽

S. C. Choudhary

Keyword(s):

Symbolic Execution ◽

Behavioral Requirements

Download Full-text

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell

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

10.1007/978-3-540-24836-1_17 ◽

2004 ◽

pp. 239-254 ◽

Author(s):

Chiyan Chen ◽

Dengping Zhu ◽

Hongwei Xi

Keyword(s):

Cut Elimination ◽

Dependent Types

Download Full-text

Supporting Decisions in Complex, Uncertain Domains with Declarative Languages

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

10.1007/978-3-540-24836-1_2 ◽

2004 ◽

pp. 16-22

Author(s):

Andrew Fall

Keyword(s):

Declarative Languages

Download Full-text

Typing XHTML Web Applications in ML

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

10.1007/978-3-540-24836-1_16 ◽

2004 ◽

pp. 224-238 ◽

Author(s):

Martin Elsman ◽

Ken Friis Larsen

Keyword(s):

Web Applications

Download Full-text

Compositional Model-Views with Generic Graphical User Interfaces

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

10.1007/978-3-540-24836-1_4 ◽

2004 ◽

pp. 39-55 ◽

Author(s):

Peter Achten ◽

Marko van Eekelen ◽

Rinus Plasmeijer

Keyword(s):

User Interfaces ◽

Graphical User Interfaces ◽

Compositional Model

Download Full-text

Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions

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

10.1007/978-3-540-24836-1_15 ◽

2004 ◽

pp. 209-223 ◽

Author(s):

Martin Erwig ◽

Zhe Fu

Keyword(s):

Program Generator

Download Full-text