Showing
1 - 6
results of
6
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Smeltzer, Karl
Search Results - Smeltzer, Karl
Showing
1 - 6
results of
6
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
What is a visual language?
by
Erwig, Martin
,
Smeltzer, Karl
,
Wang, Xiangyu
Published in
Journal of visual languages and computing
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Exploiting diversity in type checkers for better error messages
by
Chen, Sheng
,
Erwig, Martin
,
Smeltzer, Karl
Published in
Journal of visual languages and computing
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
A type system for extracting functional specifications from memory-safe imperative programs
by
He, Paul
,
Westbrook, Eddy
,
Carmer, Brent
,
Phifer, Chris
,
Robert, Valentin
,
Smeltzer, Karl
,
Ştefănescu, Andrei
,
Tomb, Aaron
,
Wick, Adam
,
Yacavone, Matthew
,
Zdancewic, Steve
Published in
Proceedings of ACM on programming languages
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
A language for visualization variation and transformation
by
Smeltzer, Karl
Request full text
Conference Proceeding
Save to List
Saved in:
5
Loading…
Let's hear both sides: On combining type-error reporting tools
by
Sheng Chen
,
Erwig, Martin
,
Smeltzer, Karl
Request full text
Conference Proceeding
Save to List
Saved in:
6
Loading…
A notation for non-linear program edits
by
Erwig, Martin
,
Smeltzer, Karl
,
Keying Xu
Request full text
Conference Proceeding
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
3 results
3
Full Text
6 results
6
Format
Articles
3 results
3
Conference Proceedings
3 results
3
Journal Title
Journal Of Visual Languages And Computing
2 results
2
Proceedings Of Acm On Programming Languages
1 results
1
Proceedings Of The Acm On Programming Languages
1 results
1
Subjects
Computer Science
6 results
6
Computer Science, Software Engineering
6 results
6
Science & Technology
6 results
6
Technology
6 results
6
Educational Institutions
2 results
2
Helium
2 results
2
Programming
2 results
2
Analytical Models
1 results
1
Cognition
1 results
1
Context
1 results
1
Data Analysis
1 results
1
Data Visualization
1 results
1
Diversity Reception
1 results
1
Dsl
1 results
1
Fallstudie
1 results
1
Fault Location
1 results
1
Fehlermeldung
1 results
1
Funktionale Sprache
1 results
1
History
1 results
1
Image Color Analysis
1 results
1
Year of Publication
From:
To:
Source
Ieee Electronic Library (Iel) Conference Proceedings
3 results
3
Ieee Xplore All Conference Series
3 results
3
Sciencedirect
2 results
2
Elsevier
2 results
2
Science Citation Index Expanded (Web Of Science)
2 results
2
Sciencedirect Journals
2 results
2
Acm Digital Library Complete
1 results
1
Road: Directory Of Open Access Scholarly Resources
1 results
1
Ezb Electronic Journals Library
1 results
1