BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Finland
1 × France
1 × Germany
1 × Spain
1 × United Kingdom
2 × Israel
3 × Italy
3 × USA
Collaborated with:
S.Brand A.Schaerf M.Gabbrielli A.Pellegrini M.Bezem H.A.Blair J.Pugin C.Delporte G.D.Plotkin J.W.d.Bakker E.Marchiori C.Palamidessi N.Francez S.Katz
Talks about:
program (6) constraint (2) stratifi (2) theori (2) semant (2) prolog (2) declar (2) order (2) logic (2) first (2)

Person: Krzysztof R. Apt

DBLP DBLP: Apt:Krzysztof_R=

Facilitated 1 volumes:


Contributed to:

SAC 20032003
CL 20002000
ICALP 19971997
POPL 19971997
ICLP 19941994
ILPS 19931993
ALP 19921992
PLILP 19921992
ICLP 19901990
ICLP/SPL 19881988
PODS 19871987
POPL 19871987
ICALP 19831983
ICALP 19811981
ICALP 19771977

Wrote 15 papers:

SAC-2003-AptB #constraints #programming #rule-based
Schedulers for Rule-Based Constraint Programming (KRA, SB), pp. 14–21.
CL-2000-Apt #first-order #logic #semantics
A Denotational Semantics for First-Order Logic (KRA), pp. 53–69.
ICALP-1997-Apt #constraints
From Chaotic Iteration to Constraint Propagation (KRA), pp. 36–55.
POPL-1997-AptS #imperative #programming
Search and Imperative Programming (KRA, AS), pp. 67–79.
ICLP-1994-AptG #declarative
Declarative Interpretations Reconsidered (KRA, MG), pp. 74–89.
ILPS-1993-Apt #declarative #programming #prolog
Declarative Programming in Prolog (KRA), pp. 12–35.
ALP-1992-AptMP #first-order #formal method #prolog
A Theory of First-Order Built-in’s of Prolog (KRA, EM, CP), pp. 69–83.
PLILP-1992-AptP #problem #why
Why the Occur-Check is Not a Problem (KRA, AP), pp. 69–86.
CLP-1990-AptB90 #source code
Acyclic Programs (KRA, MB), pp. 617–633.
JICSCP-1988-AptB88 #classification #modelling #source code
Arithmetic Classification of Perfect Models of Stratified Programs (KRA, HAB), pp. 765–779.
PODS-1987-AptP #database #maintenance
Maintenance of Stratified Databases Viewed as a Belief Revision System (KRA, JMP), pp. 136–145.
POPL-1987-AptFK #distributed #programming
Appraising Fairness in Languages for Distributed Programming (KRA, NF, SK), pp. 189–198.
ICALP-1983-AptD #axiom #logic #using
An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (KRA, CD), pp. 15–27.
ICALP-1981-AptP #nondeterminism
A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.
ICALP-1977-AptB #pascal #proving #semantics
Semantics and Proof Theory of Pascal Procedures (KRA, JWdB), pp. 30–44.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.