Programming Languages

The problem of decomposing domains into sensible factors is addressed and solved for the case of dI-domains. A decomposition theorem is proved which allows the represention of a l...

Achim Jung, Leonid Libkin, Hermann Puhlmann

claim paper

Read More »

50

click to vote

KR
1991
Springer

162views Automated Reasoning» more KR 1991»

Meta-Reasoning in Executable Temporal Logic

14 years 3 months ago

Download www.dcs.kcl.ac.uk

Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...

Howard Barringer, Michael Fisher, Dov M. Gabbay, A...

claim paper

Read More »

34

click to vote

IFIP
1992
Springer

138views Programming Languages» more IFIP 1992»

Conceptual Design

14 years 3 months ago

Download marie.sourceforge.net

Gilbert Cockton

claim paper

Read More »

36

click to vote

ICCL
1994
IEEE

124views Programming Languages» more ICCL 1994»

Semantics for a Real-Time Object-Oriented Programming Language

14 years 3 months ago

Download research.nii.ac.jp

This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...

Ichiro Satoh, Mario Tokoro

claim paper

Read More »

32

click to vote

IFIP
1992
Springer

114views Programming Languages» more IFIP 1992»

Human Factors In Computer Security

14 years 3 months ago

Download www-inst.eecs.berkeley.edu

Ibibia Dabipi, Husam Yaghi, Issam Qasem

claim paper