Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540633983, 9783540695370

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A declarative approach to concurrent programming

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033838 ◽

1997 ◽

pp. 79-93 ◽

Cited By ~ 2

Author(s):

Steve Gregory

Keyword(s):

Concurrent Programming

Download Full-text

Inheritance and selective method dispatching in concurrent Haskell

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033835 ◽

1997 ◽

pp. 33-46

Author(s):

José E. Gallardo ◽

Francisco Gutiérrez ◽

Blas C. Ruiz

Keyword(s):

Selective Method

Download Full-text

Formal translations described by translation grammars with LR(k) input grammars

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033860 ◽

1997 ◽

pp. 421-422

Author(s):

Jan Janoušek ◽

Bofivoj Melichar

Download Full-text

An open-ended finite domain constraint solver

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033845 ◽

1997 ◽

pp. 191-206 ◽

Cited By ~ 128

Author(s):

Mats Carlsson ◽

Greger Ottosson ◽

Björn Carlson

Keyword(s):

Finite Domain ◽

Constraint Solver

Download Full-text

Transformation of divide & conquer to nested parallel loops

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033839 ◽

1997 ◽

pp. 95-109 ◽

Cited By ~ 1

Author(s):

Christoph A. Herrmann ◽

Christian Lengauer

Keyword(s):

Parallel Loops

Download Full-text

Logic implemented functionally

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033855 ◽

1997 ◽

pp. 351-368

Author(s):

Norbert Eisinger ◽

Tim Geisler ◽

Sven Panne

Download Full-text

Introducing the declarative dungeon

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033858 ◽

1997 ◽

pp. 407-417

Author(s):

David De Roure

Download Full-text

Transformations for efficient evaluations in functional programming

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033841 ◽

1997 ◽

pp. 127-141 ◽

Cited By ~ 2

Author(s):

Salvador Lucas

Keyword(s):

Functional Programming

Download Full-text

Higher-order value flow graphs

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033843 ◽

1997 ◽

pp. 159-173 ◽

Cited By ~ 1

Author(s):

Christian Mossin

Keyword(s):

Higher Order ◽

Value Flow ◽

Flow Graphs

Download Full-text

Transforming lazy functions using comportment properties

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs ◽

10.1007/bfb0033840 ◽

1997 ◽

pp. 111-125

Author(s):

Ross Paterson

Download Full-text

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and ProgramsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A declarative approach to concurrent programming

Inheritance and selective method dispatching in concurrent Haskell

Formal translations described by translation grammars with LR(k) input grammars

An open-ended finite domain constraint solver

Transformation of divide & conquer to nested parallel loops

Logic implemented functionally

Introducing the declarative dungeon

Transformations for efficient evaluations in functional programming

Higher-order value flow graphs

Transforming lazy functions using comportment properties

Lecture Notes in Computer Science - Programming Languages: Implementations, Logics, and Programs
Latest Publications