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 × Italy
1 × USA
2 × France
Collaborated with:
M.Cadoli M.Lenzerini K.R.Apt L.Palopoli D.Vasile F.M.Donini D.Nardi W.Nutt
Talks about:
problem (2) languag (2) specif (2) search (2) local (2) framework (1) algorithm (1) program (1) epistem (1) concept (1)

Person: Andrea Schaerf

DBLP DBLP: Schaerf:Andrea

Contributed to:

ESOP 20012001
PADL 19991999
TOOLS Europe 19991999
POPL 19971997
KR 19921992

Wrote 5 papers:

ESOP-2001-CadoliS #compilation #problem #satisfiability #specification
Compiling Problem Specifications into SAT (MC, AS), pp. 387–401.
PADL-1999-CadoliPSV #execution #named #problem #specification
NP-SPEC: An Executable Specification Language for Solving All Problems in NP (MC, LP, AS, DV), pp. 16–30.
TOOLS-EUROPE-1999-SchaerfLC #algorithm #c++ #framework
LOCAL++: A C++ Framework for Local Search Algorithms (AS, ML, MC), pp. 152–161.
POPL-1997-AptS #imperative #programming
Search and Imperative Programming (KRA, AS), pp. 67–79.
KR-1992-DoniniLNSN #concept
Adding Epistemic Operators to Concept Languages (FMD, ML, DN, AS, WN), pp. 342–353.

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.