Sage Journals: Discover world-class research

Retricted access

Research article

First published 1997-2

Program analysis and visualisation: towards a declarative approach

Diana Sidarkevičiūtė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2010-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018-5-17

Programming and verifying a declarative first-order prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2008-2

Debugging techniques for declarative languages: Profiling,program slicing and algorithmic debugging

Josep Silva

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1993-3

Fostering Thinking with Declarative Programming and Story Telling: A Microworld of Space Travel and Robots

Antonio M. Lopez

Journal of Educational Technology Systems

Retricted access

Research article

First published 2010-3

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

Federico Chesani, Paola Mello, Marco Montali [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2020

Combining Static and Dynamic Contract Checking for Curry

Michael Hanus

Fundamenta Informaticae

Retricted access

Research article

First published 2010-7

SAT as a Programming Environment for Linear Algebra

Marian Srebrny, Lidia Stepień

Fundamenta Informaticae

Retricted access

Research article

First published 1996-1

SYNTACTIC ELEMENTS OF DECLARATIVE PROGRAMMING: SYMBOLIC LINEAR EQUATIONS

Andrés Bujosa, Regino Criado

Fundamenta Informaticae

Retricted access

Research article

First published 1993-9

Appendix I: Vienna Declaration and Programme of Action

Netherlands Quarterly of Human Rights

Search results