The Ζ-Semantics: A Comprehensive Semantics for Functional Programs

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1997-313404
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Fine-Grained Semantics for Probabilistic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

A Memoizing Semantics for Functional Logic Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Novel WCET Semantics of Synchronous Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Declarative Semantics for Contradictory Modular Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Functional Semantics for Non-Prenex QBF

2014English

A Statistical Learning Method for Logic Programs With Distribution Semantics

1995English

On the Semantics of Logic Programs With Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
2007English

Revisiting the Semantics of Interval Probabilistic Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Well-Founded Semantics for Description Logic Programs in the Semantic Web

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy