BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Cyprus
1 × Denmark
1 × Hungary
1 × Japan
1 × Spain
2 × United Kingdom
4 × Italy
5 × USA
Collaborated with:
B.Carlson N.Beldiceanu O.Grinchtein J.Pearson R.C.Lozano G.H.Blindell J.Eskilson T.Hallgren M.Grindal H.Nässén K.F.Sagonas P.Kreuger E.Åström G.Ottosson S.Janson D.Diaz K.J.Danhof R.A.Overbeek C.Schulte C.S.0001
Talks about:
constraint (9) implement (4) prolog (4) finit (4) domain (3) stus (3) sic (3) protocol (2) parallel (2) instruct (2)

Person: Mats Carlsson

DBLP DBLP: Carlsson:Mats

Contributed to:

TAP 20152015
LCTES 20142014
SMT 20142014
ESOP 20042004
ICLP 20012001
PPDP 20012001
PADL 19991999
ALP/PLILP 19981998
PLILP 19971997
ICLP 19951995
ILPS 19951995
ICLP 19941994
FPCA 19931993
ICLP 19931993
ICLP/SPL 19881988
ICLP 19871987
SLP 19851985
SLP 19841984
CC 20162016

Wrote 19 papers:

TAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.
LCTES-2014-LozanoCBS #combinator #optimisation
Combinatorial spill code optimization and ultimate coalescing (RCL, MC, GHB, CS), pp. 23–32.
SMT-2014-CarlssonGP #analysis #constraints #programming #protocol
Protocol Log Analysis with Constraint Programming (MC, OG, JP), pp. 17–26.
ESOP-2004-CarlssonB #algorithm #automaton #constraints #finite
From Constraints to Finite Automata to Filtering Algorithms (MC, NB), pp. 94–108.
ICLP-2001-BeldiceanuC #constraints #product line
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family (NB, MC), pp. 59–73.
PPDP-2001-NassenCS #prolog #virtual machine
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
PADL-1999-CarlssonKA #constraints #resource management #scheduling
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing (MC, PK, ), pp. 335–349.
ALP-PLILP-1998-EskilsonC #execution #parallel #prolog #thread
SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
PLILP-1997-CarlssonOC #constraints #finite #theorem proving
An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.
ICLP-1995-CarlsonC #compilation #constraints #finite
Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ILPS-1995-CarlsonCJ #implementation
The implementation of AKL(FD) (BC, MC, SJ), pp. 227–241.
ICLP-1994-CarlsonCD #constraints #finite
Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
FPCA-1993-CarlssonH #functional #lazy evaluation #named #user interface #visual notation
FUDGETS: A Graphical User Interface in a Lazy Functional Language (MC, TH), pp. 321–330.
ICLP-1993-CarlssonG #automation #constraints #using
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.
JICSCP-1988-CarlssonDO88 #approach #implementation
A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment (MC, KJD, RAO), pp. 1565–1577.
ICLP-1987-Carlsson87 #implementation
Freeze, Indexing, and Other Implementation Issues in the WAM (MC), pp. 40–58.
SLP-1985-Carlsson85 #lisp #prolog
A Microcoded Unifier for Lisp Machine Prolog (MC), pp. 162–171.
SLP-1984-Carlsson84 #functional #implementation #on the #programming #prolog
On Implementing Prolog in Functional Programming (MC), pp. 154–159.
CC-2016-LozanoCBS #scheduling
Register allocation and instruction scheduling in Unison (RCL, MC, GHB, CS0), pp. 263–264.

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.