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 × Germany
2 × USA
2 × United Kingdom
Collaborated with:
S.Roach M.R.Lowry R.Fikes P.Robinson T.Pressburger J.Whittle J.Schumann J.Penix P.Oh G.P.Brat
Talks about:
synthesi (5) procedur (3) deduct (3) softwar (2) amphion (2) system (2) specif (2) domain (2) represent (1) construct (1)

Person: Jeffrey Van Baalen

DBLP DBLP: Baalen:Jeffrey_Van

Contributed to:

ASE 20022002
ASE 20012001
ASE 19981998
LOPSTR 19981998
KBSE 19951995
KR 19941994
KR 19911991

Wrote 7 papers:

ASE-2002-RoachB #automation #case study #deduction #experience #synthesis
Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.
ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
Explaining Synthesized Software (JVB, PR, MRL, TP), pp. 240–248.
LOPSTR-1998-BaalenR #deduction #synthesis #using
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.
KBSE-1995-LowryB #domain-specific language #named #performance #synthesis
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.
KR-1994-BaalenF #representation
The Role of Reversible Grammars in Translating Between Representation Languages (JVB, RF), pp. 562–571.
KR-1991-Baalen #automation #design #satisfiability
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures (JVB), pp. 514–525.

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.