1194 search results - page 47 / 239 » A Calculus for Predicative Programming |
115
Voted
MPC
1995
Springer
15 years 5 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
142
Voted
PLILP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
109
Voted
ENTCS
2007
15 years 1 months ago
2007
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
106
click to vote
FMOODS
2008
15 years 3 months ago
2008
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
124
click to vote
AAAI
2008
15 years 4 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...